Andreea Costea
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
2020/01/29 by Andreea Costea, Amy Zhu, Costea, Andreea +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)
- Assured Automatic Programming via Large Language Models
2024/10/24 by Мартин Мирчев, Mirchev, Martin, Andreea Costea +5 · 2 citations
Computer Science · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Healthcare #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL) #Software Engineering (cs.SE)