17 citations · 20 across the 4 of their papers we have counts for
3 papers · 1 filter
DissProve: Automated Verification of Asynchronous Distributed Protocols with Affine Communication
Christian Fontenot, Gowtham Kaki, Bor-Yuh Evan Chang
We consider the problem of automatically proving safety properties of distributed protocols. Distributed protocols have been particularly challenging for automated verification due…
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
Shawn Meier, Sergio Mover, Gowtham Kaki +1
This paper determines if a callback can be called by an event-driven framework in an unexpected state.Event-driven programming frameworks are pervasive for creating user-interactiv…
Alone Together: Compositional Reasoning and Inference for Weak Isolation
Gowtham Kaki, Kartik Nagar, Mahsa Nazafzadeh +1
Serializability is a well-understood correctness criterion that simplifies reasoning about the behavior of concurrent transactions by ensuring they are isolated from each other whi…