Gowtham Kaki

18 papers A* 3A 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Bolt-On Strong Consistency: Specification, Implementation, and Verification.
Proc. ACM Program. Lang.
Nicholas V. Lewchenko, Gowtham Kaki, Bor-Yuh Evan Chang
2025 A* conf
Lancet: A Formalization Framework for Crash and Exploit Pathology.
USENIX Security Symposium
Qinrun Dai, Kirby Linvill, Yueqi Chen, Gowtham Kaki
2025 — ed.
Proceedings of the 12th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC 2025, World Trade Center, Rotterdam, The Netherlands, 30 March 2025- 3 April 2025
PaPoC@EuroSys
Davide Frey, Gowtham Kaki
2024 J jnl
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis.
CoRR
Richard Roberson, Gowtham Kaki, Ashutosh Trivedi
2023 J jnl
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).
CoRR
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
2023 J jnl
Historia: Refuting Callback Reachability with Message-History Logics.
Proc. ACM Program. Lang.
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
2023 J jnl
Verifying Indistinguishability of Privacy-Preserving Protocols.
Proc. ACM Program. Lang.
Kirby Linvill, Gowtham Kaki, Eric Wustrow
2022 A* conf
RunTime-assisted convergence in replicated data types.
PLDI
Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko
2019 J jnl
Mergeable replicated data types.
Proc. ACM Program. Lang.
Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
2019 — conf
Version Control Is for Your Data Too.
SNAPL
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
2018 J jnl
Alone together: compositional reasoning and inference for weak isolation.
Proc. ACM Program. Lang.
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2018 — conf
Fine-grained distributed consistency guarantees with effect orchestration.
PaPoC@EuroSys
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
2018 A conf
Safe Transferable Regions.
ECOOP
Gowtham Kaki, G. Ramalingam
2018 J jnl
Safe replication through bounded concurrency verification.
Proc. ACM Program. Lang.
Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
2017 J jnl
Alone Together: Compositional Reasoning and Inference for Weak Isolation.
CoRR
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
2016 J jnl
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores.
IEEE Data Eng. Bull.
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2015 A* conf
Declarative programming over eventually consistent data stores.
PLDI
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2014 A conf
A relational framework for higher-order shape analysis.
ICFP
Gowtham Kaki, Suresh Jagannathan