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
1052013
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
752013
Deductive program repair
E Kneuss, M Koukoutos, V Kuncak
International Conference on Computer Aided Verification, 217-233, 2015
532015
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
282010
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
212015
Runtime instrumentation for precise flow-sensitive type analysis
E Kneuss, P Suter, V Kuncak
International Conference on Runtime Verification, 300-314, 2010
182010
An update on deductive synthesis and repair in the leon tool
M Koukoutos, E Kneuss, V Kuncak
arXiv preprint arXiv:1611.07625, 2016
122016
Executing specifications using synthesis and constraint solving
V Kuncak, E Kneuss, P Suter
International Conference on Runtime Verification, 1-20, 2013
112013
On integrating deductive synthesis and verification systems
E Kneuss, V Kuncak, I Kuraj, P Suter
arXiv preprint arXiv:1304.5661, 2013
92013
On repair with probabilistic attribute grammars
M Koukoutos, M Raghothaman, E Kneuss, V Kuncak
arXiv preprint arXiv:1707.04148, 2017
82017
Effect analysis for programs with callbacks
E Kneuss, V Kuncak, P Suter
Working Conference on Verified Software: Theories, Tools, and Experiments, 48-67, 2013
42013
Deductive Synthesis and Repair
E Kneuss
EPFL, 2016
32016
On deductive program repair in Leon
E Kneuss, M Koukoutos, V Kuncak
22015
On Verification by Translation to Recursive Functions
RW Blanc, E Kneuss, V Kuncak, P Suter
22013
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 (CONF), 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
Normas para publicação
NP PUBLICAÇÃO
REVISTA DO HOSPITAL DE CLÍNICAS DE PORTO ALEGRE E FACULDADE DE MEDICINA DA …, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–20