| Synthesis modulo recursive functions E Kneuss, I Kuraj, V Kuncak, P Suter Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 148 | 2013 |
| 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 | 108 | 2013 |
| Deductive program repair E Kneuss, M Koukoutos, V Kuncak International Conference on Computer Aided Verification, 217-233, 2015 | 67 | 2015 |
| Phantm: PHP analyzer for type mismatch E Kneuss, P Suter, V Kuncak Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 30 | 2010 |
| 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 | 25 | 2015 |
| Runtime instrumentation for precise flow-sensitive type analysis E Kneuss, P Suter, V Kuncak International Conference on Runtime Verification, 300-314, 2010 | 20 | 2010 |
| An update on deductive synthesis and repair in the leon tool M Koukoutos, E Kneuss, V Kuncak arXiv preprint arXiv:1611.07625, 2016 | 16 | 2016 |
| Executing specifications using synthesis and constraint solving V Kuncak, E Kneuss, P Suter International Conference on Runtime Verification, 1-20, 2013 | 12 | 2013 |
| On repair with probabilistic attribute grammars M Koukoutos, M Raghothaman, E Kneuss, V Kuncak arXiv preprint arXiv:1707.04148, 2017 | 10 | 2017 |
| On integrating deductive synthesis and verification systems E Kneuss, V Kuncak, I Kuraj, P Suter arXiv preprint arXiv:1304.5661, 2013 | 9 | 2013 |
| Effect analysis for programs with callbacks E Kneuss, V Kuncak, P Suter Working Conference on Verified Software: Theories, Tools, and Experiments, 48-67, 2013 | 4 | 2013 |
| Deductive Synthesis and Repair. E Kneuss EPFL, Switzerland, 2016 | 3 | 2016 |
| On Verification by Translation to Recursive Functions RW Blanc, E Kneuss, V Kuncak, P Suter Scala Workshop, 2013 | 3 | 2013 |
| On the Complexity of Convex and Reverse Convex Prequadratic Constraints. R Raya, J Hamza, V Kuncak LPAR, 350-368, 2023 | 2 | 2023 |
| On deductive program repair in Leon E Kneuss, M Koukoutos, V Kuncak Technical Report EPFL-REPORT-205054, EPFL, 2014 | 2 | 2014 |
| Toward interprocedural pointer and effect analysis for scala E Kneuss Technical report, EPFL, 2011 | 1 | 2011 |
| Static Analysis for the PHP Language E Kneuss | 1 | 2010 |
| On using static analysis to detect type errors in PHP applications E Kneuss, P Suter, V Kuncak Technical report, Ecole polytechnique fédérale de Lausanne, 2010 | 1 | 2010 |
| Automatic Program Verification and Hardening E Kneuss | | |
| Precise and Scalable Analysis of Programs with Callbacks E Kneuss | | |
