Следене
Andreea Costea
Заглавие
Позовавания
Позовавания
Година
Towards a session logic for communication protocols
F Craciun, T Kiss, A Costea
2015 20th International Conference on Engineering of Complex Computer …, 2015
142015
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
82020
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
82018
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
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
32023
HIPPODROME: Data Race Repair using Static Analysis Summaries
A Costea, A Tiwari, S Chianasta, A Roychoudhury, I Sergey
arXiv preprint arXiv:2108.02490, 2021
22021
A session logic for relaxed communication protocols
A Costea
PhD dissertation, School of Computing, National University of Singapore, 2017
12017
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
Protocol Conformance with Choreographic PlusCal
D Foo, A Costea, WN Chin
International Symposium on Theoretical Aspects of Software Engineering, 126-145, 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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–15