Andreea Costea

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 11

Top Topics

Communication Protocols

Static Analysis

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

Sewen Thy, Andreea Costea, Kiran Gopinathan, Ilya Sergey
Adventure of a Lifetime: Extract Method Refactoring for Rust. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Darius Foo, Andreea Costea, Wei-Ngan Chin
Protocol Conformance with Choreographic PlusCal. TASE (2023)
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
Hippodrome: Data Race Repair Using Static Analysis Summaries. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen, Davin McCall, Abhik Roychoudhury
Patch Space Exploration using Static Analysis Feedback. CoRR (2023)
Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, Abhik Roychoudhury, Ilya Sergey
HIPPODROME: Data Race Repair using Static Analysis Summaries. CoRR (2021)
Andreea Costea, Wei-Ngan Chin, Florin Craciun, Shengchao Qin
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization. CoRR (2021)
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version. CoRR (2020)
Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. ESOP (2020)
Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun
Automated Modular Verification for Relaxed Communication Protocols. APLAS (2018)
Florin Craciun, Tibor Kiss, Andreea Costea
Towards a Session Logic for Communication Protocols. ICECCS (2015)
Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin
Certified Reasoning with Infinity. FM (2015)
Andreea Costea, Asankhaya Sharma, Cristina David
HIPimm: verifying granular immutability guarantees. PEPM (2014)