Nadia Polikarpova
- Grounded Copilot: How Programmers Interact with Code-Generating Models
2022/06/30 by Shraddha Barke, Barke, Shraddha, Michael B. James +3 · 2 voices · 49 citations
Computer Science · #Software Engineering Research #Software Engineering Techniques and Practices #Teaching and Learning Programming #cs.HC #cs.PL
- Grammar-Aligned Decoding
2024/05/31 by Kanghee Park, Jiayu Wang, Park, Kanghee +8 · 2 voices · 14 citations
Computer Science · #Natural Language Processing Techniques
- Program Synthesis from Polymorphic Refinement Types
2015/10/28 by Nadia Polikarpova, Ivan Kuraj, Polikarpova, Nadia +3 · 6 citations
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Logic, programming, and type systems
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
2020/01/29 by Andreea Costea, Costea, Andreea, Amy Zhu +5 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
- Solving Data-centric Tasks using Large Language Models
2024/02/18 by Shraddha Barke, Christian Poelitz, Barke, Shraddha +23 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Topic Modeling
- ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
2025/08/30 by Shaan Nagy, Nagy, Shaan, Timothy Zhou +5 · 1 citation
Computer Science · #Topic Modeling #Software Engineering Research #Natural Language Processing Techniques