Search 222 records for:
	Any fieldAuthorTitleyearunitcollectionjournalsummarykeywordissnDOI
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 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]