Etienne Kneuss

According to our database, Etienne Kneuss authored at least 12 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

On Repair with Probabilistic Attribute Grammars.

Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak

CoRR, 2017

2016

Deductive Synthesis and Repair.

Etienne Kneuss

PhD thesis, 2016

An Update on Deductive Synthesis and Repair in the Leon Tool.

Manos Koukoutos, Etienne Kneuss, Viktor Kuncak

Proceedings of the Proceedings Fifth Workshop on Synthesis, 2016

2015

Counter-example complete verification for higher-order functions.

Nicolas Voirol, Etienne Kneuss, Viktor Kuncak

Proceedings of the 6th ACM SIGPLAN Symposium on Scala, 2015

Deductive Program Repair.

Etienne Kneuss, Manos Koukoutos, Viktor Kuncak

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2013

On Integrating Deductive Synthesis and Verification Systems

Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter

CoRR, 2013

Effect Analysis for Programs with Callbacks.

Etienne Kneuss, Viktor Kuncak, Philippe Suter

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Executing Specifications Using Synthesis and Constraint Solving.

Viktor Kuncak, Etienne Kneuss, Philippe Suter

Proceedings of the Runtime Verification - 4th International Conference, 2013

Synthesis modulo recursive functions.

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

An overview of the Leon verification system: verification by translation to recursive functions.

Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter

Proceedings of the 4th Workshop on Scala, 2013

2010

Phantm: PHP analyzer for type mismatch.

Etienne Kneuss, Philippe Suter, Viktor Kuncak

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Runtime Instrumentation for Precise Flow-Sensitive Type Analysis.

Etienne Kneuss, Philippe Suter, Viktor Kuncak

Proceedings of the Runtime Verification - First International Conference, 2010