Follow
Etienne Kneuss
Etienne Kneuss
Verified email at epfl.ch
Title
Cited by
Cited by
Year
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1342013
An overview of the Leon verification system: Verification by translation to recursive functions
R Blanc, V Kuncak, E Kneuss, P Suter
Proceedings of the 4th Workshop on Scala, 1-10, 2013
1012013
Deductive program repair
E Kneuss, M Koukoutos, V Kuncak
International Conference on Computer Aided Verification, 217-233, 2015
662015
Counter-example complete verification for higher-order functions
N Voirol, E Kneuss, V Kuncak
Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 18-29, 2015
312015
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
312010
Runtime instrumentation for precise flow-sensitive type analysis
E Kneuss, P Suter, V Kuncak
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
212010
An update on deductive synthesis and repair in the leon tool
M Koukoutos, E Kneuss, V Kuncak
arXiv preprint arXiv:1611.07625, 2016
162016
Executing specifications using synthesis and constraint solving
V Kuncak, E Kneuss, P Suter
International Conference on Runtime Verification, 1-20, 2013
122013
On repair with probabilistic attribute grammars
M Koukoutos, M Raghothaman, E Kneuss, V Kuncak
arXiv preprint arXiv:1707.04148, 2017
92017
On integrating deductive synthesis and verification systems
E Kneuss, V Kuncak, I Kuraj, P Suter
arXiv preprint arXiv:1304.5661, 2013
92013
Effect analysis for programs with callbacks
E Kneuss, V Kuncak, P Suter
Verified Software: Theories, Tools, Experiments: 5th International …, 2014
42014
Deductive Synthesis and Repair
E Kneuss
EPFL, 2016
32016
On Verification by Translation to Recursive Functions
RW Blanc, E Kneuss, V Kuncak, P Suter
32013
On the Complexity of Convex and Reverse Convex Prequadratic Constraints.
R Raya, J Hamza, V Kuncak
LPAR, 350-368, 2023
22023
On deductive program repair in Leon
E Kneuss, M Koukoutos, V Kuncak
22015
Toward interprocedural pointer and effect analysis for scala
E Kneuss
12011
Static Analysis for the PHP Language
E Kneuss
12010
Synthesizing Functions from Relations in Leon
V Kuncak, E Kneuss, E Koukoutos
Logic-Based Program Synthesis And Transformation (Lopstr 2014) 8981, 2015
2015
Conscious motor awareness
E KNEUSS, A DIXON, H MOTTAZ, T NGUYEN
2010
On Using Static Analysis to Detect Type Errors in PHP Applications
E Kneuss, P Suter, V Kuncak
2010
The system can't perform the operation now. Try again later.
Articles 1–20