Follow
Εμμανουήλ Κουκουτός
Εμμανουήλ Κουκουτός
Software Engineer, Google
Verified email at google.com
Title
Cited by
Cited by
Year
Deductive program repair
E Kneuss, M Koukoutos, V Kuncak
International Conference on Computer Aided Verification, 217-233, 2015
552015
Checking data structure properties orders of magnitude faster
E Koukoutos, V Kuncak
International Conference on Runtime Verification, 263-268, 2014
172014
An update on deductive synthesis and repair in the leon tool
M Koukoutos, E Kneuss, V Kuncak
arXiv preprint arXiv:1611.07625, 2016
132016
Systematic generation of non-equivalent expressions for relational algebra
K Wang, A Sullivan, M Koukoutos, D Marinov, S Khurshid
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
122018
On repair with probabilistic attribute grammars
M Koukoutos, M Raghothaman, E Kneuss, V Kuncak
arXiv preprint arXiv:1707.04148, 2017
82017
On deductive program repair in Leon
E Kneuss, M Koukoutos, V Kuncak
22015
Synthesizing Functions from Relations in Leon
V Kuncak, E Kneuss, E Koukoutos
Logic-Based Program Synthesis And Transformation (Lopstr 2014) 8981 (CONF), 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–7