conf.researchr.org / Gowtham Kaki
Registered user since Fri 20 Feb 2015
Name: Gowtham Kaki
Affiliation: Purdue University
All Activities
- Author of Alone Together: Compositional Reasoning and Inference for Weak Isolation within the Research Papers-track in POPL 2018
- Author of Mergeable types within the ML 2017-track in ML 2017
- Committee Member in Artifact Evaluation Committee for ICFP 2018 Research Artifacts
- Author of Safe Transferable Regions within the Research Papers-track in ECOOP 2018
- Committee Member in Artifact Evaluation Committee for PLDI 2017
- Author of Declarative Programming over Eventually Consistent Data Stores within the Research Papers-track in PLDI 2015