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

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

Blog Posts