• Sign in
  • Sign up
conf.researchr.org / Gowtham Kaki
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • PLDI 2015 profile
  • PLDI 2019 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2018 profile
  • SPLASH 2018 profile
  • SPLASH 2019 profile
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

  • ECOOP 2018 - Before the conference Mon 9 Jul 2018

Share
xSat 27 Feb 14:36
using conf.researchr.org (v1.42.1)
Support page
Sign Up