LARA - Laboratory for Automated Reasoning and Analysis

Search 222 records for:

Search Tips :: Advanced Search

Latest additions:

2018-06-28 12:47	PDF Deductive Program Repair, Computer Aided Verification Kneuss, Etienne ; Koukoutos, Manos ; Kuncak, Viktor Lecture Notes in Computer Science, 9207, 217-233 (2015) 14 July 2015 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:44	PDF Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification Reynolds, Andrew ; Deters, Morgan ; Kuncak, Viktor ; Tinelli, Cesare[...] Proceedings of the International Conference on Computer Aided Verification, 9207, 198-216 (2015) 14 July 2015 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:39	PDF An Update on Deductive Synthesis and Repair in the Leon Tool Koukoutos, Manos ; Kneuss, Etienne ; Kuncak, Viktor Electronic Proceedings in Theoretical Computer Science, 229, 100-111 (2017) 03 May 2017 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:31	PDF Translating Scala Programs to Isabelle/HOL, Automated Reasoning Hupel, Lars ; Kuncak, Viktor Lecture Notes in Computer Science, 9706, 568-577 (2016) 12 June 2016 \| Conference Papers \| Detailed record - Similar records
2018-06-28 12:25	PDF Towards a Compiler for Reals Darulova, Eva ; Kuncak, Viktor ACM Transactions on Programming Languages and Systems, 39 (2), 1-28 (2017) 2017-05 \| Journal Articles \| Detailed record - Similar records
2018-06-28 12:20	PDF Solving quantified linear arithmetic by counterexample-guided instantiation Reynolds, Andrew Joseph ; King, Tim ; Kuncak, Viktor Formal Methods in System Design, 51 (3), 500–532 (2017) 03 August 2017 \| Journal Articles \| Detailed record - Similar records
2018-06-21 16:31	Monotonic Prefix Consistency in Distributed Systems Girault, Alain ; Gössler, Gregor ; Guerraoui, Rachid ; Hamza, Jad[...] 30 May 2018 \| Conference Papers \| Detailed record - Similar records
2017-11-13 08:17	PDF Algorithmic Resource Verification Kandhadai Madhavan, Ravichandhran ; Kuncak, Viktor 2017 \| Theses \| Detailed record - Similar records
2017-09-29 11:25	Multiple Files Programmation Interactive par l'Exemple Mayer, Mikaël 2017 \| Talks \| Detailed record - Similar records
2017-09-20 11:20	PDF Interactive Programming by Example Mayer, Mikaël ; Kuncak, Viktor 2017 \| Theses \| Detailed record - Similar records

[>> more]