9 citations · 25 across the 10 of their papers we have counts for
7 papers · 1 filter
Automated Synthesis of Asynchronizations
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea +1
Asynchronous programming is widely adopted for building responsive and efficient software, and modern languages such as C# provide async/await primitives to simplify the use of asy…
MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels
Ranadeep Biswas, Diptanshu Kakwani, Jyothi Vedurada +2
Modern applications, such as social networking systems and e-commerce platforms are centered around using large-scale storage systems for storing and retrieving data. In the presen…
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern datab…
Replication-Aware Linearizability
Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri +1
Geo-distributed systems often replicate data at multiple locations to achieve availability and performance despite network partitions. These systems must accept updates at any repl…
On the Completeness of Verifying Message Passing Programs under Bounded Asynchrony
Ahmed Bouajjani, Constantin Enea, Kailiang Ji +1
We address the problem of verifying message passing programs, defined as a set of parallel processes communicating through unbounded FIFO buffers. We introduce a bounded analysis t…
Checking Linearizability of Concurrent Priority Queues
Ahmed Bouajjani, Constantin Enea, Chao Wang
Efficient implementations of concurrent objects such as atomic collections are essential to modern computing. Programming such objects is error prone: in minimizing the synchroniza…