Constantin Enea

Scenario-Based Proofs for Concurrent Objects

2024 · Proceedings of the ACM on Programming Languages

Concurrent objects form the foundation of many applications that exploit multicore architectures and their importance has lead to informal correctness arguments, as well as formal proof systems. Correctness arguments (as found in the distributed computing …