This is an old revision of the document!
LARA NEWS (Partial List)
News Laboratory for Automated Reasoning and Analysis
See also the publications as well as http://richmodels.org
2012
- Implicit Programming project funded with a Starting ERC Grant
- The second Rich Model Toolkit meeting of 2012 took place in Manchester
- Andrej Spielmann presents Synthesis for Unbounded Bitvector Arithmetic at IJCAR 2012
- Giuliano Losa presents Speculative Linearizability at PLDI 2012
- The first Rich Model Toolkit meeting of 2012 took place in Tallinn
- A journal version of synthesis procedures for integer linear arithmetic appears in the Software Tools for Technology Transfer journal by Springer
- VMCAI 2012 is a success! Thanks to all PC members and reviewers, keynote speakers, authors, and participants! Many thanks to Andrey Rybalchenko for being a great co-chair!
- Thomas Wies presents Deciding Functional Lists with Sublist Sets at VSTTE 2012
- Milena Vujosevic-Janicic presents Development and Evaluation of LAV: an SMT-Based Error Finding Platform at VSTTE 2012
- The Constraints as Control paper published. Philippe Suter presents it at POPL 2012
2011
See some of these publications.
- Viktor gives a keynote at SMT 2012
2010
- The paper Complete Functional Synthesis is invited to Communications of ACM Research Highlights
- The paper Test Generation through Programming in UDITA receives ACM Distinguished Paper Award
- Invited tutorial Building a Calculus of Data Structures
- Invited talk Ordered Sets in the Calculus of Data Structures