Etienne Kneuss

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