17 citations · 21 across the 4 of their papers we have counts for
7 papers · 1 filter
Automating and Mechanizing Cutoff-based Verification of Distributed Protocols
Shreesha G. Bhat, Kartik Nagar
Distributed protocols are generally parametric and can be executed on a system with any number of nodes, and hence proving their correctness becomes an infinite state verification…
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar +1
Replicated data types (RDTs) are data structures that permit concurrent modification of multiple, potentially geo-distributed, replicas without coordination between them. RDTs are…
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware +1
Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs. Unfortunately, enforcing serializability has a hi…
CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Kia Rahmani, Kartik Nagar, Benjamin Delaware +1
Relational database applications are notoriously difficult to test and debug. Concurrent execution of database transactions may violate complex structural invariants that constrain…
Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
Maintaining multiple replicas of data is crucial to achieving scalability, availability and low latency in distributed applications. Conflict-free Replicated Data Types (CRDTs) are…
Automated Detection of Serializability Violations under Weak Consistency
Kartik Nagar, Suresh Jagannathan
While a number of weak consistency mechanisms have been developed in recent years to improve performance and ensure availability in distributed, replicated systems, ensuring correc…