2023

Verifying Indistinguishability of Privacy-Preserving Protocols
(Kirby Linvill, Gowtham Kaki, and Eric Wustrow)
  • ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'23) [Paper]

Historia: Refuting Callback Reachability with Message-History Logics
(Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang)
  • ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'23) [Paper]

Distributed Consensus Algorithms as Replicated State Applications
(Nicholas Lewchenko and Gowtham Kaki)
  • 10th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'23) [Paper]

2022

RunTime-Assisted Convergence in Replicated Data Types
(Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko)
  • 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'22) [Paper]

Bolt-On Convergence in Mergeable Replicated Data Types
(Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko)
  • 9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC'22) [Paper]

2019

Automatic Reasoning Techniques for Non-Serializable Data-Intensive Applications
(Gowtham Kaki)
  • Ph.D Thesis, Purdue University, August 2019. [PDF]

Mergeable Replicated Data Types
(Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan)
  • 33rd ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October 2019. [Paper]
  • The Morning Paper summary [Part1] [Part2]

Version Control Is For Your Data Too
(Gowtham Kaki, KC Sivaramakrishnan, and Suresh Jagannathan)
  • 3rd Summit on Advances in Programming Languages (SNAPL), May 2019. [Pre-print]

2018

Safe Replication through Bounded Concurrency Verification
(Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, and Suresh Jagannathan)
  • 32nd ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2018. [Paper] [Talk]

Safe Transferable Regions
(Gowtham Kaki and Ganesan Ramalingam)
  • European Conference on Object-Oriented Programming (ECOOP), July 2018. [Paper]

Fine-grained Distributed Consistency Guarantees with Effect Orchestration
(Kia Rahmani, Gowtham Kaki, and Suresh Jagannathan)
  • Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), April 2018. [Paper]

Alone Together: Compositional Reasoning and Inference for Weak Isolation
(Gowtham Kaki, Kartik Nagar, Mahsa Najafzadeh, and Suresh Jagannathan)
  • 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2018. [Paper] [Talk]

2017

Mergeable Types
(Gowtham Kaki, Samodya Abeysiriwardane, KC Sivaramakrishnan, and Suresh Jagannathan)
  • ML Family Workshop, September 2017. [Paper] [Talk]

2016

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores
(KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan)
  • IEEE Data Engineering Bulletin, March 2016. [Paper]

2015

Declarative Programming over Eventually Consistent Data Stores
(KC Sivaramakrishnan, Gowtham Kaki, and Suresh Jagannathan)
  • Proceedings of 36th Annual ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'15), Portland, USA. [Paper] [Full version]

2014

A Relational Framework for Higher-Order Shape Analysis
(Gowtham Kaki, and Suresh Jagannathan)
  • Proceedings of 19th ACM SIGPLAN International Conference on Functional Programming (ICFP'14), Gothenburg, Sweden. [Paper][Full version]

2009

A Novel Adaptive Scheduling Algorithm for Computational Grids
(S Bansal, Gowtham Kaki, and Chittaranjan Hota)
  • Proceedings of 5th IEEE International Conference on Internet Multimedia Systems Architecture and Application (IMSAA'09), Bangalore. [Paper]