Gowtham Kaki

Registered user since Fri 20 Feb 2015

Name:Gowtham Kaki
Country:United States
Affiliation:University of Colorado Boulder
Research interests:Programming Languages, Distributed Systems, Databases

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
SPLASH 2022 Committee Member in Review Committee within the OOPSLA-track
PLDI 2022 Author of RunTime-Assisted Convergence in Replicated Data Types within the PLDI-track
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
ECOOP 2018 Author of Safe Transferable Regions within the ECOOP Research Papers-track
POPL 2018 Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track
ML 2017 Author of Mergeable types within the ML 2017-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