Follow
Nadia Polikarpova
Nadia Polikarpova
Verified email at eng.ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Program synthesis from polymorphic refinement types
N Polikarpova, I Kuraj, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 522-538, 2016
3152016
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
2782023
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
1222009
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
812011
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
682019
Structuring the synthesis of heap-manipulating programs
N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
662019
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
582019
Verified calculations
KRM Leino, N Polikarpova
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
582013
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
572013
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
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
472020
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
462012
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
452014
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
422020
A fully verified container library
N Polikarpova, J Tschannen, CA Furia
International Symposium on Formal Methods, 414-434, 2015
412015
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
372023
Specifying reusable components
N Polikarpova, CA Furia, B Meyer
Verified Software: Theories, Tools, Experiments: Third International …, 2010
352010
Perfect is the enemy of good: Best-effort program synthesis
H Peleg, N Polikarpova
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
312020
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
302020
The system can't perform the operation now. Try again later.
Articles 1–20