Andreea Costea
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2014–2023
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | TASE | Protocol Conformance with Choreographic PlusCal. | Darius Foo, Andreea Costea, Wei-Ngan Chin |
| 2020 | ESOP | Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. | Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey |
| 2018 | APLAS | Automated Modular Verification for Relaxed Communication Protocols. | Andreea Costea, Wei-Ngan Chin, Shengchao Qin, Florin Craciun |
| 2015 | FM | Certified Reasoning with Infinity. | Asankhaya Sharma, Shengyi Wang, Andreea Costea, Aquinas Hobor, Wei-Ngan Chin |
| 2015 | ICECCS | Towards a Session Logic for Communication Protocols. | Florin Craciun, Tibor Kiss, Andreea Costea |
| 2014 | PEPM | HIPimm: verifying granular immutability guarantees. | Andreea Costea, Asankhaya Sharma, Cristina David |