2 citations · 2 across the 6 of their papers we have counts for
6 papers
Assured Automatic Programming via Large Language Models
Martin Mirchev, Andreea Costea, Abhishek Kr Singh +1
With the advent of AI-based coding engines, it is possible to convert natural language requirements to executable code in standard programming languages. However, AI-generated code…
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
Peisen Lin, Yuntong Zhang, Andreea Costea +1
In modern software development, multiple software components, often sourced from different contributors, including AI assistants, are combined to create a cohesive system. Although…
Patch Space Exploration using Static Analysis Feedback
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen +2
Automated Program Repair (APR) techniques typically rely on a given test-suite to guide the repair process. Apart from the need to provide test oracles, this makes the produced pat…
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
Andreea Costea, Wei-Ngan Chin, Florin Craciun +1
Ensuring the correctness of software for communication centric programs is important but challenging. Previous approaches, based on session types, have been intensively investigate…
HIPPODROME: Data Race Repair using Static Analysis Summaries
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta +3
Implementing bug-free concurrent programs is a challenging task in modern software development. State-of-the-art static analyses find hundreds of concurrency bugs in production cod…
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version
Andreea Costea, Amy Zhu, Nadia Polikarpova +1
In program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if…