Sotabase

Career

· Associate Professor, CSE, UC San Diego2017–
· Postdoctoral Researcher, MIT CSAIL2014–2017
· PhD Student, ETH Zurich2008–2014
· Master's Degree in Applied Mathematics and Informatics, Saint Petersburg State University of Information Technologies, Mechanics and Optics2002–2008
· UCSD

Publications (119)

Grounded Copilot: How Programmers Interact with Code-Generating Models
Proc. ACM Program. Lang. · 2022
465
cited
Program synthesis from polymorphic refinement types
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
267
cited
AutoProof: auto-active functional verification of object-oriented programs
International Journal on Software Tools for Technology Transfer (STTT) · 2015
115
cited
The 1st Verified Software Competition: Experience Report
World Congress on Formal Methods · 2011
94
cited
A comparative study of programmer-written and automatically inferred contracts
International Symposium on Software Testing and Analysis · 2009
91
cited
babble: Learning Better Abstractions with E-Graphs and Anti-unification
Proc. ACM Program. Lang. · 2022
54
cited
Program synthesis by type-guided abstraction refinement
Proc. ACM Program. Lang. · 2019
54
cited
Structuring the synthesis of heap-manipulating programs
Proc. ACM Program. Lang. · 2018
53
cited
Just-in-time learning for bottom-up enumerative synthesis
Proc. ACM Program. Lang. · 2020
50
cited
Small-Step Live Programming by Example
ACM Symposium on User Interface Software and Technology · 2020
46
cited
What good are strong specifications?
International Conference on Software Engineering · 2012
44
cited
Flexible Invariants through Semantic Collaboration
World Congress on Formal Methods · 2013
40
cited
Resource-guided program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2019
40
cited
Verified Calculations
Verified Software: Theories, Tools, Experiments · 2013
40
cited
The COST IC0701 Verification Competition 2011
Formal Verification of Object-Oriented Software · 2011
33
cited
Cyclic program synthesis
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
31
cited
Validating AI-Generated Code with Live Programming
International Conference on Human Factors in Computing Systems · 2023
27
cited
LooPy: interactive program synthesis with control structures
Proc. ACM Program. Lang. · 2021
26
cited
Specifying Reusable Components
Verified Software: Theories, Tools, Experiments · 2010
26
cited
To Run What No One Has Run Before: Executing an Intermediate Verification Language
Runtime Verification · 2013
25
cited
Sotabase
Nadia Polikarpova | Researcher Profile | Sotabase | Sotabase