A relational framework for higher-order shape analysis. - Gowtham Kaki; Suresh Jagannathan (ICFP, 2014)

Declarative programming over eventually consistent data stores. - K. C. Sivaramakrishnan; Gowtham Kaki; Suresh Jagannathan (PLDI, 2015)

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. - K. C. Sivaramakrishnan; Gowtham Kaki; Suresh Jagannathan (IEEE Data Eng. Bull., 2016)

Safe Transferable Regions. - Gowtham Kaki; G. Ramalingam (ECOOP, 2018)

Fine-grained distributed consistency guarantees with effect orchestration. - Kia Rahmani; Gowtham Kaki; Suresh Jagannathan (PaPoC@EuroSys, 2018)

Safe replication through bounded concurrency verification. - Gowtham Kaki; Kapil Earanky; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2018)

Alone together: compositional reasoning and inference for weak isolation. - Gowtham Kaki; Kartik Nagar; Mahsa Najafzadeh; Suresh Jagannathan (Proc. ACM Program. Lang., 2018)

Version Control Is for Your Data Too. - Gowtham Kaki; K. C. Sivaramakrishnan; Suresh Jagannathan (SNAPL, 2019)

Mergeable replicated data types. - Gowtham Kaki; Swarn Priya; K. C. Sivaramakrishnan; Suresh Jagannathan (Proc. ACM Program. Lang., 2019)

RunTime-assisted convergence in replicated data types. - Gowtham Kaki; Prasanth Prahladan; Nicholas V. Lewchenko (PLDI, 2022)

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). - Shawn Meier; Sergio Mover; Gowtham Kaki; Bor-Yuh Evan Chang (CoRR, 2023)

Verifying Indistinguishability of Privacy-Preserving Protocols. - Kirby Linvill; Gowtham Kaki; Eric Wustrow (Proc. ACM Program. Lang., 2023)

Historia: Refuting Callback Reachability with Message-History Logics. - Shawn Meier; Sergio Mover; Gowtham Kaki; Bor-Yuh Evan Chang (Proc. ACM Program. Lang., 2023)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. - Richard Roberson; Gowtham Kaki; Ashutosh Trivedi 001 (CoRR, 2024)

Bolt-On Strong Consistency: Specification, Implementation, and Verification. - Nicholas V. Lewchenko; Gowtham Kaki; Bor-Yuh Evan Chang (Proc. ACM Program. Lang., 2025)