Gowtham Kaki

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Abductive Inference

Declarative Programming

Forward Chaining

Top Venues

Proc. ACM Program. Lang.

Publications

Richard Roberson, Gowtham Kaki, Ashutosh Trivedi
Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis. CoRR (2024)
Kirby Linvill, Gowtham Kaki, Eric Wustrow
Verifying Indistinguishability of Privacy-Preserving Protocols. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Shawn Meier, Sergio Mover, Gowtham Kaki, Bor-Yuh Evan Chang
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version). CoRR (2023)
Gowtham Kaki, Prasanth Prahladan, Nicholas V. Lewchenko
RunTime-assisted convergence in replicated data types. PLDI (2022)
Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
Mergeable replicated data types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
Version Control Is for Your Data Too. SNAPL (2019)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone together: compositional reasoning and inference for weak isolation. Proc. ACM Program. Lang. 2 (POPL) (2018)
Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
Safe replication through bounded concurrency verification. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Gowtham Kaki, G. Ramalingam
Safe Transferable Regions. ECOOP (2018)
Kia Rahmani, Gowtham Kaki, Suresh Jagannathan
Fine-grained distributed consistency guarantees with effect orchestration. PaPoC@EuroSys (2018)
Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, Suresh Jagannathan
Alone Together: Compositional Reasoning and Inference for Weak Isolation. CoRR (2017)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. 39 (1) (2016)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Declarative programming over eventually consistent data stores. PLDI (2015)
Gowtham Kaki, Suresh Jagannathan
A relational framework for higher-order shape analysis. ICFP (2014)