6 citations · 10 across the 2 of their papers we have counts for
2 papers
cs.PL2017★ 4 cited
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…
cs.LO2016★ 6 cited
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…