Program synthesis from polymorphic refinement types N Polikarpova, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 522-538, 2016 | 153 | 2016 |
Autoproof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova International conference on tools and algorithms for the construction and …, 2015 | 104* | 2015 |
A comparative study of programmer-written and automatically inferred contracts N Polikarpova, I Ciupa, B Meyer Proceedings of the eighteenth international symposium on Software testing …, 2009 | 101 | 2009 |
The 1st verified software competition: Experience report V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ... International Symposium on Formal Methods, 154-168, 2011 | 74 | 2011 |
What good are strong specifications? N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer 2013 35th International Conference on Software Engineering (ICSE), 262-271, 2013 | 55 | 2013 |
Verified calculations KRM Leino, N Polikarpova Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013 | 38 | 2013 |
The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... International Conference on Formal Verification of Object-Oriented Software …, 2011 | 38 | 2011 |
A fully verified container library N Polikarpova, J Tschannen, CA Furia International Symposium on Formal Methods, 414-434, 2015 | 37 | 2015 |
Flexible invariants through semantic collaboration N Polikarpova, J Tschannen, CA Furia, B Meyer International Symposium on Formal Methods, 514-530, 2014 | 37 | 2014 |
Specifying reusable components N Polikarpova, CA Furia, B Meyer International Conference on Verified Software: Theories, Tools, and …, 2010 | 36 | 2010 |
To run what no one has run before: Executing an intermediate verification language N Polikarpova, CA Furia, S West International Conference on Runtime Verification, 251-268, 2013 | 25 | 2013 |
Structuring the synthesis of heap-manipulating programs N Polikarpova, I Sergey Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 19 | 2019 |
Liquid information flow control N Polikarpova, D Stefan, J Yang, S Itzhaky, T Hance, A Solar-Lezama Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020 | 17* | 2020 |
Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 15 | 2019 |
Verifying implementations of security protocols by refinement N Polikarpova, M Moskal International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 13 | 2012 |
Program synthesis by type-guided abstraction refinement Z Guo, M James, D Justo, J Zhou, Z Wang, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019 | 12 | 2019 |
Synthesis of recursive ADT transformations from reusable templates JP Inala, N Polikarpova, X Qiu, BS Lerner, A Solar-Lezama International Conference on Tools and Algorithms for the Construction and …, 2017 | 11 | 2017 |
Specified and verified reusable components N Polikarpova ETH Zurich, 2014 | 11 | 2014 |
Liquid resource types T Knoth, D Wang, A Reynolds, J Hoffmann, N Polikarpova arXiv preprint arXiv:2006.16233, 2020 | 4 | 2020 |
Perfect is the Enemy of Good: Best-Effort Program Synthesis H Peleg, N Polikarpova 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 4 | 2020 |