Manos Koukoutos

According to our database, Manos Koukoutos authored at least 4 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Systematic Generation of Non-equivalent Expressions for Relational Algebra.

Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

On Repair with Probabilistic Attribute Grammars.

Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak

CoRR, 2017

2016

An Update on Deductive Synthesis and Repair in the Leon Tool.

Manos Koukoutos, Etienne Kneuss, Viktor Kuncak

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2015

Deductive Program Repair.

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak

Proceedings of the Computer Aided Verification - 27th International Conference, 2015