| Program synthesis from polymorphic refinement types N Polikarpova, I Kuraj, A Solar-Lezama ACM SIGPLAN Notices 51 (6), 522-538, 2016 | 324 | 2016 |
| Grounded copilot: How programmers interact with code-generating models S Barke, MB James, N Polikarpova Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 85-111, 2023 | 307 | 2023 |
| Autoproof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 140* | 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 | 122 | 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 | 83 | 2011 |
| 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 | 70 | 2019 |
| Structuring the synthesis of heap-manipulating programs N Polikarpova, I Sergey Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019 | 69 | 2019 |
| Resource-guided program synthesis T Knoth, D Wang, N Polikarpova, J Hoffmann Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 62 | 2019 |
| Verified calculations KRM Leino, N Polikarpova Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013 | 60 | 2013 |
| 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 | 58 | 2013 |
| 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 | 51* | 2020 |
| Just-in-time learning for bottom-up enumerative synthesis S Barke, H Peleg, N Polikarpova Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020 | 48 | 2020 |
| Small-step live programming by example K Ferdowsifard, A Ordookhanians, H Peleg, S Lerner, N Polikarpova Proceedings of the 33rd Annual ACM Symposium on User Interface Software and …, 2020 | 48 | 2020 |
| The COST IC0701 verification competition 2011 T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ... Formal Verification of Object-Oriented Software: International Conference …, 2012 | 46 | 2012 |
| Flexible invariants through semantic collaboration N Polikarpova, J Tschannen, CA Furia, B Meyer FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 45 | 2014 |
| Babble: Learning better abstractions with e-graphs and anti-unification D Cao, R Kunkel, C Nandi, M Willsey, Z Tatlock, N Polikarpova Proceedings of the ACM on Programming Languages 7 (POPL), 396-424, 2023 | 41 | 2023 |
| A fully verified container library N Polikarpova, J Tschannen, CA Furia International Symposium on Formal Methods, 414-434, 2015 | 41 | 2015 |
| Specifying reusable components N Polikarpova, CA Furia, B Meyer Verified Software: Theories, Tools, Experiments: Third International …, 2010 | 35 | 2010 |
| Digging for fold: synthesis-aided API discovery for Haskell MB James, Z Guo, Z Wang, S Doshi, H Peleg, R Jhala, N Polikarpova Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020 | 33 | 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 | 32 | 2020 |
Armando Solar-LezamaMITVerified email at csail.mit.edu
