6 citations · 16 across the 3 of their papers we have counts for
3 papers
On Repair with Probabilistic Attribute Grammars
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss +1
Program synthesis and repair have emerged as an exciting area of research, driven by the potential for revolutionary advances in programmer productivity. Among most promising ideas…
An Update on Deductive Synthesis and Repair in the Leon Tool
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak
We report our progress in scaling deductive synthesis and repair of recursive functional Scala programs in the Leon tool. We describe new techniques, including a more precise mecha…
On Integrating Deductive Synthesis and Verification Systems
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj +1
We describe techniques for synthesis and verification of recursive functional programs over unbounded domains. Our techniques build on top of an algorithm for satisfiability modulo…