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
1152016
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
902009
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
812015
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
672011
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
502013
Verified calculations
KRM Leino, N Polikarpova
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2013
372013
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
352011
Specifying reusable components
N Polikarpova, CA Furia, B Meyer
International Conference on Verified Software: Theories, Tools, and …, 2010
342010
A fully verified container library
N Polikarpova, J Tschannen, CA Furia
Formal Aspects of Computing 30 (5), 495-523, 2018
332018
Flexible invariants through semantic collaboration
N Polikarpova, J Tschannen, CA Furia, B Meyer
International Symposium on Formal Methods, 514-530, 2014
322014
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
212013
Enforcing Information Flow Policies with Type-Targeted Program Synthesis
N Polikarpova, J Yang, S Itzhaky, T Hance, A Solar-Lezama
arXiv preprint arXiv:1607.03445, 2016
12*2016
Verifying implementations of security protocols by refinement
N Polikarpova, M Moskal
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
122012
Specified and verified reusable components
N Polikarpova
ETH Zurich, 2014
102014
AutoProof: auto-active functional verification of object-oriented programs
CA Furia, M Nordio, N Polikarpova, J Tschannen
International Journal on Software Tools for Technology Transfer 19 (6), 697-716, 2017
82017
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
82017
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
72019
Structuring the synthesis of heap-manipulating programs
N Polikarpova, I Sergey
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
62019
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
12019
Automatic synchronization for gpu kernels
S Anand, N Polikarpova
2018 Formal Methods in Computer Aided Design (FMCAD), 1-9, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20