Relational database applications are notoriously difficult to test and debug. Concurrent
execution of database transactions may violate complex structural invariants that constraint …

Serializability is a well-understood concurrency control mechanism that eases reasoning
about highly-concurrent database programs. Unfortunately, enforcing serializability has a …

Programs that concurrently access shared data are ubiquitous: bank accounts, shopping
carts, inventories, and social media applications all rely on a shared database system to …