Andreea Costea

According to our database, Andreea Costea authored at least 12 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Program Repair Competition 2024.

Ridwan Shariffdeen, Yannic Noller, Martin Mirchev, Haifeng Ruan, Xiang Gao, Andreea Costea, Gregory J. Duck, Abhik Roychoudhury

Proceedings of the IEEE/ACM International Workshop on Automated Program Repair, 2024

2023

Adventure of a Lifetime: Extract Method Refactoring for Rust.

Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey

Proc. ACM Program. Lang., October, 2023

Hippodrome: Data Race Repair Using Static Analysis Summaries.

Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey

ACM Trans. Softw. Eng. Methodol., April, 2023

Patch Space Exploration using Static Analysis Feedback.

Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury

CoRR, 2023

Protocol Conformance with Choreographic PlusCal.

Darius Foo, Andreea Costea, Wei-Ngan Chin

Proceedings of the Theoretical Aspects of Software Engineering, 2023

2021

Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.

Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin

CoRR, 2021

2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

CoRR, 2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2020

2018

Automated Modular Verification for Relaxed Communication Protocols.

Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2015

Towards a Session Logic for Communication Protocols.

Florin Craciun, Tibor Kiss, Andreea Costea

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Certified Reasoning with Infinity.

Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin

Proceedings of the FM 2015: Formal Methods, 2015

2014

HIPimm: verifying granular immutability guarantees.

Andreea Costea, Asankhaya Sharma, Cristina David

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014