2 citations · 2 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…