BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Polikarpova:Nadia

Contributed to:

FM 20152015
TACAS 20152015
FM 20142014
ICSE 20132013
FM 20112011
ISSTA 20092009
PLDI 20162016
PLDI 20192019
POPL 20192019
POPL 20202020

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.