Folgen
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
1282013
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
992013
Deductive program repair
E Kneuss, M Koukoutos, V Kuncak
International Conference on Computer Aided Verification, 217-233, 2015
642015
Phantm: PHP analyzer for type mismatch
E Kneuss, P Suter, V Kuncak
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
312010
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
302015
Runtime instrumentation for precise flow-sensitive type analysis
E Kneuss, P Suter, V Kuncak
Runtime Verification: First International Conference, RV 2010, St. Julians …, 2010
202010
An update on deductive synthesis and repair in the leon tool
M Koukoutos, E Kneuss, V Kuncak
arXiv preprint arXiv:1611.07625, 2016
152016
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 Kunčak
EPiC Series in Computing 94, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20