conf.researchr.org / Gowtham Kaki
Gowtham Kaki

Registered user since Fri 20 Feb 2015

Name:Gowtham Kaki
Country:United States
Affiliation:Purdue University
Personal website:http://gowthamk.github.io/
Research interests:Programming Languages, Distributed Systems, Databases

Contributions

ML 2020 Committee Member in Program Committee within the ML 2020-track
SPLASH 2019 Author of Mergeable Replicated Data Types within the OOPSLA-track
ECOOP 2019 Committee Member in Artifact Evaluation Committee within the Artifacts-track
PLDI 2019 Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
SPLASH 2018 Author of Safe Replication through Bounded Concurrency Verification within the Posters-track
Author of Safe Replication through Bounded Concurrency Verification within the OOPSLA-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ML 2017 Author of Mergeable types within the ML 2017-track
POPL 2018 Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track
ECOOP 2018 Author of Safe Transferable Regions within the ECOOP Research Papers-track
PLDI 2017 Committee Member in Artifact Evaluation Committee
PLDI 2015 Author of Declarative Programming over Eventually Consistent Data Stores within the Research Papers-track

Blog Posts