====== LARA NEWS (Partial List) ====== See also the [[:publications]]. include 'http://actu.epfl.ch/webservice?channel=262&lang=en&template=10&sticker=no'; ----- ===== 2012 ===== * [[:impro|Implicit Programming]] project funded with a Starting ERC Grant * The second Rich Model Toolkit meeting of 2012 took place in [[http://richmodels.epfl.ch/manchester12|Manchester]] * [[http://people.epfl.ch/cgi-bin/people?id=200254&op=bio&lang=en&cvlang=en|Andrej Spielmann]] presents [[http://lara.epfl.ch/~kuncak/papers/SpielmannKuncak12SynthesisUnboundedBitvectorArithmetic.html|Synthesis for Unbounded Bitvector Arithmetic]] at IJCAR 2012 * [[http://people.epfl.ch/cgi-bin/people?id=179339&op=bio&lang=en&cvlang=en|Giuliano Losa]] presents [[http://lara.epfl.ch/~kuncak/papers/GuerraouiETAL12SpeculativeLinearizability.html|Speculative Linearizability]] at PLDI 2012 * The first Rich Model Toolkit meeting of 2012 took place in [[http://richmodels.epfl.ch/tallinn12|Tallinn]] * A [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL12FunctionalSynthesisLinearArithmeticSets.html|journal version of synthesis procedures for integer linear arithmetic]] appears in the Software Tools for Technology Transfer journal by Springer * [[http://lara.epfl.ch/vmcai2012/|VMCAI 2012]] is a success! Thanks to all PC members and reviewers, keynote speakers, authors, and participants! Many thanks to [[http://www7.in.tum.de/~rybal/|Andrey Rybalchenko]] for being a great co-chair! * [[http://cs.nyu.edu/wies/|Thomas Wies]] presents [[http://lara.epfl.ch/~kuncak/papers/WiesETAL12DecidingFunctionalListswithSublistSets.html|Deciding Functional Lists with Sublist Sets]] at VSTTE 2012 * Milena Vujosevic-Janicic presents [[http://lara.epfl.ch/~kuncak/papers/VujosevicJanicicKuncak12DevelopmentandEvaluationofLAV.html|Development and Evaluation of LAV: an SMT-Based Error Finding Platform]] at VSTTE 2012 * The [[http://lara.epfl.ch/~kuncak/papers/KoeksalETAL12ConstraintsControl.html|Constraints as Control]] paper published. Philippe Suter presents it at POPL 2012 ===== 2011 ===== See some of these [[http://www.dblp.org/search/index.php?query=year:2011%20author:viktor_kuncak:#query=year:2011%20author:viktor_kuncak:&qp=H1.7:W1.1:F1.4:F2.4:F3.1:F4.1|publications]]. * Viktor gives a keynote at SMT 2012 ===== 2010 ===== * The paper [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL10CompleteFunctionalSynthesis.html|Complete Functional Synthesis]] is invited to Communications of ACM Research Highlights * The paper [[http://lara.epfl.ch/~kuncak/papers/GligoricETAL10TestGenerationthroughProgramminginUDITA.html|Test Generation through Programming in UDITA]] receives ACM Distinguished Paper Award * [[http://icwww.epfl.ch/~piskac/|Ruzica Piskac]] receives [[http://www.google.com/anitaborg/|Google Anita Borg Memorial Scholarship]] * Invited tutorial [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL10Building.html|Building a Calculus of Data Structures]] * Invited talk [[http://lara.epfl.ch/~kuncak/papers/KuncakETAL10OrderedSetsinCalculusofDataStructures.html|Ordered Sets in the Calculus of Data Structures]]