Follow
Andreea Costea
Title
Cited by
Cited by
Year
Towards a session logic for communication protocols
F Craciun, T Kiss, A Costea
2015 20th International Conference on Engineering of Complex Computer …, 2015
162015
Concise read-only specifications for better synthesis of programs with pointers
A Costea, A Zhu, N Polikarpova, I Sergey
European Symposium on Programming, 141-168, 2020
112020
Automated modular verification for relaxed communication protocols
A Costea, WN Chin, S Qin, F Craciun
Programming Languages and Systems: 16th Asian Symposium, APLAS 2018 …, 2018
112018
Hippodrome: Data Race Repair Using Static Analysis Summaries
A Costea, A Tiwari, S Chianasta, A Roychoudhury, I Sergey
ACM Transactions on Software Engineering and Methodology 32 (2), 1-33, 2023
82023
Certified reasoning with infinity
A Sharma, S Wang, A Costea, A Hobor, WN Chin
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
72015
HIPimm: verifying granular immutability guarantees
A Costea, A Sharma, C David
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014
52014
Adventure of a lifetime: Extract method refactoring for rust
S Thy, A Costea, K Gopinathan, I Sergey
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 658-685, 2023
22023
Protocol Conformance with Choreographic PlusCal
D Foo, A Costea, WN Chin
International Symposium on Theoretical Aspects of Software Engineering, 126-145, 2023
12023
A session logic for relaxed communication protocols
A Costea
PhD dissertation, School of Computing, National University of Singapore, 2017
12017
Assured Automatic Programming via Large Language Models
M Mirchev, A Costea, AK Singh, A Roychoudhury
arXiv preprint arXiv:2410.18494, 2024
2024
Whose fault is it anyway? SILC: Safe Integration of LLM-Generated Code
P Lin, Y Zhang, A Costea, A Roychoudhury
arXiv preprint arXiv:2410.18703, 2024
2024
APR Competition 2024
R Shariffdeen, Y Noller, M Mirchev, H Ruan, G Xiang, A Costa, GJ Duck, ...
Proceedings of the 5th ACM/IEEE International Workshop on Automated Program …, 2024
2024
Message from the APR 2024 Chairs
Y Noller, GJ Duck, X Gao, A Costa, M Mirchev, H Ruan, PTT Huyen, ...
2024
EffFix: Efficient and Effective Repair of Pointer Manipulating Programs
Y Zhang, A Costea, R Shariffdeen, D McCall, A Roychoudhury
ACM Transactions on Software Engineering and Methodology, 2024
2024
Patch Space Exploration using Static Analysis Feedback
Y Zhang, A Costea, R Shariffdeen, D McCall, A Roychoudhury
arXiv preprint arXiv:2308.00294, 2023
2023
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization
A Costea, WN Chin, F Craciun, S Qin
arXiv preprint arXiv:2109.11802, 2021
2021
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers--Extended Version
A Costea, A Zhu, N Polikarpova, I Sergey
arXiv preprint arXiv:2001.10723, 2020
2020
A Session Logic for Communication Protocols
F Craciun, WN Chin, A Costea
Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–18