Search

Kartik Nagar

Suresh Jagannathan

Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models
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.