Towards a session logic for communication protocols F Craciun, T Kiss, A Costea 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 14 | 2015 |
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 | 9 | 2020 |
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 | 8 | 2018 |
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 | 7 | 2015 |
HIPimm: verifying granular immutability guarantees A Costea, A Sharma, C David Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014 | 5 | 2014 |
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 | 3 | 2023 |
HIPPODROME: Data Race Repair using Static Analysis Summaries A Costea, A Tiwari, S Chianasta, A Roychoudhury, I Sergey arXiv preprint arXiv:2108.02490, 2021 | 2 | 2021 |
Protocol Conformance with Choreographic PlusCal D Foo, A Costea, WN Chin International Symposium on Theoretical Aspects of Software Engineering, 126-145, 2023 | 1 | 2023 |
A session logic for relaxed communication protocols A Costea PhD dissertation, School of Computing, National University of Singapore, 2017 | 1 | 2017 |
Program Repair Competition 2024 R Shariffdeen, Y Noller, M Mirchev, H Ruan, X Gao, A Costea, GJ Duck, ... | | 2024 |
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 | | 2023 |
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 |