Manos Koukoutos

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 4

Top Topics

Relational Model

Transitive Closure

Functional Programs

Relational Algebra

Top Venues

Publications

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ (2018)
Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak
On Repair with Probabilistic Attribute Grammars. CoRR (2017)
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak
An Update on Deductive Synthesis and Repair in the Leon Tool. SYNT@CAV (2016)
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
Deductive Program Repair. CAV (2) (2015)