AutoProof: Auto-Active Functional Verification of Object-Oriented Programs

Martin Nordio , Nadia Polikarpova , Julian Tschannen , Carlo A. Furia
tools and algorithms for construction and analysis of systems 19 ( 6) 566 -580

118
2015
What good are strong specifications

Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer , Yi Wei
international conference on software engineering 262 -271

27
2013
Program Synthesis by Type-Guided Abstraction Refinement.

Nadia Polikarpova , Ranjit Jhala , Ziteng Wang , Jiaxiao Zhou
arXiv: Programming Languages

2019
Perfect Is the Enemy of Good: Best-Effort Program Synthesis

Nadia Polikarpova , Hila Peleg
european conference on object-oriented programming 30

6
2020
Verifying implementations of security protocols by refinement

Nadia Polikarpova , Michał Moskal
verified software theories tools experiments 50 -65

9
2012
To Run What No One Has Run Before: Executing an Intermediate Verification Language

Nadia Polikarpova , Carlo A. Furia , Scott West
runtime verification 251 -268

12
2013
A fully verified container library

Nadia Polikarpova , Julian Tschannen , Carlo A. Furia
Formal Aspects of Computing 30 ( 5) 495 -523

6
2018
Small-Step Live Programming by Example

Kasra Ferdowsifard , Allen Ordookhanians , Hila Peleg , Sorin Lerner
user interface software and technology 614 -626

21
2020
The COST IC0701 Verification Competition 2011

Vladimir Klebanov , Claude Marché , Rosemary Monahan , Wojciech Mostowski
Formal Verification of Object-Oriented Software 7421 3 -21

24
2012
Synthesis of Recursive ADT Transformations from Reusable Templates

Jeevana Priya Inala , Nadia Polikarpova , Xiaokang Qiu , Benjamin S. Lerner
tools and algorithms for construction and analysis of systems 10205 247 -263

8
2017
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers

Andreea Costea , Amy Zhu , Nadia Polikarpova , Ilya Sergey
european symposium on programming 141 -168

1
2020
Liquid resource types

Tristan Knoth , Di Wang , Adam Reynolds , Jan Hoffmann
Proceedings of the ACM on Programming Languages 4 1 -29

3
2020
Liquid information flow control

Nadia Polikarpova , Deian Stefan , Jean Yang , Shachar Itzhaky
Proceedings of the ACM on Programming Languages 4 1 -30

3
2020
Constraint-based Learning of Phonological Processes

Shraddha Barke , Rose Kunkel , Nadia Polikarpova , Eric Meinhardt
empirical methods in natural language processing 6175 -6185

2019
Automatic Synchronization for GPU Kernels

Sourav Anand , Nadia Polikarpova
formal methods in computer-aided design 1 -9

3
2018
A comparative study of programmer-written and automatically inferred contracts

Nadia Polikarpova , Ilinca Ciupa , Bertrand Meyer
Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 93 -104

80
2009
Digging for fold: synthesis-aided API discovery for Haskell

Michael B. James , Zheng Guo , Ziteng Wang , Shivani Doshi
Proceedings of the ACM on Programming Languages 4 1 -27

2
2020
Just-in-time learning for bottom-up enumerative synthesis

Shraddha Barke , Hila Peleg , Nadia Polikarpova
Proceedings of the ACM on Programming Languages 4 1 -29

2
2020
Resource-guided program synthesis

Tristan Knoth , Di Wang , Nadia Polikarpova , Jan Hoffmann
programming language design and implementation 253 -268

44
2019
Specifying reusable components

Nadia Polikarpova , Carlo A. Furia , Bertrand Meyer
verified software: theories, tools, experiments 127 -141

21
2010