Etienne Kneuss
Etienne Kneuss
Bestätigte E-Mail-Adresse bei epfl.ch
Titel
Zitiert von
Zitiert von
Jahr
Synthesis modulo recursive functions
E Kneuss, I Kuraj, V Kuncak, P Suter
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
912013
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
662013
Deductive program repair
E Kneuss, M Koukoutos, V Kuncak
International Conference on Computer Aided Verification, 217-233, 2015
462015
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
232010
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
182015
Runtime instrumentation for precise flow-sensitive type analysis
E Kneuss, P Suter, V Kuncak
International Conference on Runtime Verification, 300-314, 2010
162010
An update on deductive synthesis and repair in the leon tool
M Koukoutos, E Kneuss, V Kuncak
arXiv preprint arXiv:1611.07625, 2016
102016
Executing specifications using synthesis and constraint solving
V Kuncak, E Kneuss, P Suter
International Conference on Runtime Verification, 1-20, 2013
102013
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
72017
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20