Gowtham Kaki

According to our database, Gowtham Kaki authored at least 15 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Bolt-On Strong Consistency: Specification, Implementation, and Verification.

Nicholas V. Lewchenko, Gowtham Kaki, Bor-Yuh Evan Chang

Proc. ACM Program. Lang., 2025

2024

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis.

Richard Roberson, Gowtham Kaki, Ashutosh Trivedi

CoRR, 2024

2023

Historia: Refuting Callback Reachability with Message-History Logics.

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

Proc. ACM Program. Lang., October, 2023

Verifying Indistinguishability of Privacy-Preserving Protocols.

Kirby Linvill, Gowtham Kaki, Eric Wustrow

Proc. ACM Program. Lang., October, 2023

Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).

Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang

CoRR, 2023

2022

RunTime-assisted convergence in replicated data types.

Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2019

Mergeable replicated data types.

Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

Version Control Is for Your Data Too.

Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Alone together: compositional reasoning and inference for weak isolation.

Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Safe replication through bounded concurrency verification.

Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Fine-grained distributed consistency guarantees with effect orchestration.

Kia Rahmani, Gowtham Kaki, Suresh Jagannathan

Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018

Safe Transferable Regions.

Gowtham Kaki, G. Ramalingam

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2016

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

2015

Declarative programming over eventually consistent data stores.

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

A relational framework for higher-order shape analysis.

Gowtham Kaki, Suresh Jagannathan

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014