Search

Kartik Nagar

Suresh Jagannathan

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Semantics, Specification and Bounded Verification of Concurrent Libraries in Replicated Systems
CLOTHO : Directed Test Generation for Weakly Consistent Database Systems
Automated Parametrized Verification of CRDTs
Automated Detection of Serializability Violations under Weak Consistency
Alone together: Compositional Reasoning and Inference for Weak Isolation

Powered by the Academic theme for Hugo.