Travelled to:1 × Ireland
1 × Norway
1 × Singapore
1 × United Kingdom
2 × USA
Collaborated with:C.A.Furia J.Tschannen B.Meyer I.Sergey I.Ciupa I.Kuraj A.Solar-Lezama M.Nordio Tristan Knoth D.Wang J.H.0002 Y.Pei Y.Wei Zheng Guo M.James David Justo Jiaxiao Zhou Ziteng Wang R.Jhala V.Klebanov P.Müller N.Shankar G.T.Leavens V.Wüstholz E.Alkassar R.Arthan D.Bronish R.Chapman E.Cohen M.A.Hillebrand B.Jacobs K.R.M.Leino R.Monahan F.Piessens T.Ridge J.Smans S.Tobies T.Tuerk M.Ulbrich B.Weiß
Talks about:program (5) synthesi (4) verifi (2) refin (2) type (2) guid (2) auto (2) polymorph (1) structur (1) programm (1)
Person: Nadia Polikarpova
DBLP: Polikarpova:Nadia
Contributed to:
2015
20152014
20132011
2009
20162019
20192020Wrote 10 papers:
- FM-2015-PolikarpovaTF #library
- A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
- TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification
- AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
- FM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics
- Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
- ICSE-2013-PolikarpovaF0WM #question #specification #what
- What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
- FM-2011-KlebanovMSLWAABCCHJLMPPRSTTUW #case study #contest #experience
- The 1st Verified Software Competition: Experience Report (VK, PM, NS, GTL, VW, EA, RA, DB, RC, EC, MAH, BJ, KRML, RM, FP, NP, TR, JS, ST, TT, MU, BW), pp. 154–168.
- ISSTA-2009-PolikarpovaCM #automation #case study #comparative #contract
- A comparative study of programmer-written and automatically inferred contracts (NP, IC, BM), pp. 93–104.
- PLDI-2016-PolikarpovaKS #polymorphism #refinement #synthesis
- Program synthesis from polymorphic refinement types (NP, IK, ASL), pp. 522–538.
- PLDI-2019-KnothWP0 #synthesis
- Resource-guided program synthesis (TK, DW, NP, JH0), pp. 253–268.
- POPL-2019-PolikarpovaS #source code #synthesis
- Structuring the synthesis of heap-manipulating programs (NP, IS), p. 30.
- POPL-2020-GuoJJZWJP #abstraction #refinement #synthesis
- Program synthesis by type-guided abstraction refinement (ZG, MJ, DJ, JZ, ZW, RJ, NP), p. 28.