Andreea Costea

According to our database1, Andreea Costea authored at least 11 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Adventure of a Lifetime: Extract Method Refactoring for Rust.
Proc. ACM Program. Lang., October, 2023

Hippodrome: Data Race Repair Using Static Analysis Summaries.
ACM Trans. Softw. Eng. Methodol., April, 2023

Patch Space Exploration using Static Analysis Feedback.
CoRR, 2023

Protocol Conformance with Choreographic PlusCal.
Proceedings of the Theoretical Aspects of Software Engineering, 2023

2021
Automated Modular Verification for Race-Free Channels with Implicit and Explicit Synchronization.
CoRR, 2021

2020
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers - Extended Version.
CoRR, 2020

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.
Proceedings of the Programming Languages and Systems, 2020

2018
Automated Modular Verification for Relaxed Communication Protocols.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2015
Towards a Session Logic for Communication Protocols.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Certified Reasoning with Infinity.
Proceedings of the FM 2015: Formal Methods, 2015

2014
HIPimm: verifying granular immutability guarantees.
Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014


  Loading...