29 citations · 109 across the 33 of their papers we have counts for
4 papers · 1 filter
A Domain Specific Language for Testing Consensus Implementations
Cezara Dragoi, Constantin Enea, Srinidhi Nagendra +1
Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with…
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Ahmed Bouajjani, Constantin Enea, Enrique Román-Calvo
Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale databases for storing and retrieving data. Accesses to the dat…
Quorum Tree Abstractions of Consensus Protocols
Berk Cirisci, Constantin Enea, Suha Orhun Mutluergil
Distributed algorithms solving agreement problems like consensus or state machine replication are essential components of modern fault-tolerant distributed services. They are also…
Scenario-Based Proofs for Concurrent Objects [Extended Version]
Constantin Enea, Eric Koskinen
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…