Andreea Costea

16 papers A 1B 3C 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
EffFix: Efficient and Effective Repair of Pointer Manipulating Programs.
ACM Trans. Softw. Eng. Methodol.
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
2024 J jnl
Assured Automatic Programming via Large Language Models.
CoRR
Martin Mirchev, Andreea Costea, Abhishek Kr Singh, Abhik Roychoudhury
2024 — conf
Program Repair Competition 2024.
APR
Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury
2024 J jnl
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code.
CoRR
Peisen Lin, Yuntong Zhang, Andreea Costea, Abhik Roychoudhury
2023 J jnl
Adventure of a Lifetime: Extract Method Refactoring for Rust.
Proc. ACM Program. Lang.
Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey
2023 J jnl
Hippodrome: Data Race Repair Using Static Analysis Summaries.
ACM Trans. Softw. Eng. Methodol.
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
2023 J jnl
Patch Space Exploration using Static Analysis Feedback.
CoRR
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
2023 Misc conf
Protocol Conformance with Choreographic PlusCal.
TASE
Darius Foo, Andreea Costea, Wei-Ngan Chin
2021 J jnl
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.
CoRR
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
2021 J jnl
HIPPODROME: Data Race Repair using Static Analysis Summaries.
CoRR
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
2020 J jnl
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.
CoRR
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2020 A conf
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
ESOP
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
2018 B conf
Automated Modular Verification for Relaxed Communication Protocols.
APLAS
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
2015 B conf
Certified Reasoning with Infinity.
FM
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
2015 B conf
Towards a Session Logic for Communication Protocols.
ICECCS
Florin Craciun, Tibor Kiss, Andreea Costea
2014 C conf
HIPimm: verifying granular immutability guarantees.
PEPM
Andreea Costea, Asankhaya Sharma, Cristina David