activity
20172025
most citedAlone Together: Compositional Reasoning and Inference for Weak Isolation

17 citations · 32 across the 7 of their papers we have counts for

collaborators
Showing 2022Show all

2 papers · 1 filter

cs.PL2022

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…

cs.PL2022

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…