Etienne Kneuss

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 4

Top Topics

Constraint Solvers

Recursive Functions

Attribute Grammars

Program Synthesis

Top Venues

Publications

Manos Koukoutos, Mukund Raghothaman, Etienne Kneuss, Viktor Kuncak
On Repair with Probabilistic Attribute Grammars. CoRR (2017)
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak
An Update on Deductive Synthesis and Repair in the Leon Tool. SYNT@CAV (2016)
Nicolas Voirol, Etienne Kneuss, Viktor Kuncak
Counter-example complete verification for higher-order functions. Scala@PLDI (2015)
Etienne Kneuss, Manos Koukoutos, Viktor Kuncak
Deductive Program Repair. CAV (2) (2015)
Viktor Kuncak, Etienne Kneuss, Philippe Suter
Executing Specifications Using Synthesis and Constraint Solving. RV (2013)
Etienne Kneuss, Viktor Kuncak, Philippe Suter
Effect Analysis for Programs with Callbacks. VSTTE (2013)
Régis Blanc, Viktor Kuncak, Etienne Kneuss, Philippe Suter
An overview of the Leon verification system: verification by translation to recursive functions. SCALA@ECOOP (2013)
Etienne Kneuss, Viktor Kuncak, Ivan Kuraj, Philippe Suter
On Integrating Deductive Synthesis and Verification Systems CoRR (2013)
Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter
Synthesis modulo recursive functions. OOPSLA (2013)
Etienne Kneuss, Philippe Suter, Viktor Kuncak
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. RV (2010)
Etienne Kneuss, Philippe Suter, Viktor Kuncak
Phantm: PHP analyzer for type mismatch. SIGSOFT FSE (2010)