Nadia Polikarpova
UC San Diego Health System(US)University of California San Diego(US)
Publications by Year
Research Areas
Software Engineering Research, Logic, programming, and type systems, Software Testing and Debugging Techniques, Formal Methods in Verification, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Grounded Copilot: How Programmers Interact with Code-Generating Models(2023)305 cited
- → Program synthesis from polymorphic refinement types(2016)192 cited
- → The 1st Verified Software Competition: Experience Report(2011)85 cited
- → A comparative study of programmer-written and automatically inferred contracts(2009)82 cited
- → Structuring the synthesis of heap-manipulating programs(2019)45 cited
- → Small-Step Live Programming by Example(2020)38 cited
- → Flexible Invariants through Semantic Collaboration(2014)37 cited