Etienne Kneuss

Etienne Kneuss

École Polytechnique Fédérale de Lausanne - Lausanne / Switzerland
Engineering & Technology / Computer Science
AD Scientific Index ID: 1104584
Eidgenössische Technische Hochschule Lausanne
person_outline Etienne Kneuss's MOST POPULAR ARTICLES
1-) Synthesis modulo recursive functionsE Kneuss, I Kuraj, V Kuncak, P SuterProceedings of the 2013 ACM SIGPLAN international conference on Object …, 20131142013
2-) An overview of the Leon verification system: Verification by translation to recursive functionsR Blanc, V Kuncak, E Kneuss, P SuterProceedings of the 4th Workshop on Scala, 1-10, 2013902013
3-) Deductive program repairE Kneuss, M Koukoutos, V KuncakInternational Conference on Computer Aided Verification, 217-233, 2015562015
4-) Counter-example complete verification for higher-order functionsN Voirol, E Kneuss, V KuncakProceedings of the 6th ACM SIGPLAN Symposium on Scala, 18-29, 2015312015
5-) Phantm: PHP analyzer for type mismatchE Kneuss, P Suter, V KuncakProceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010312010