conf.researchr.org / Gowtham Kaki
Registered user since Fri 20 Feb 2015
Name:Gowtham Kaki
Country:United States
Affiliation:University of Colorado at Boulder
Personal website: http://gowthamk.github.io/
Research interests:Programming Languages, Distributed Systems, Databases
Contributions
2025
2024
2023
SPLASH
- PC Member in OOPSLA Review Committee within the OOPSLA-track
- Author of Historia: Refuting Callback Reachability with Message-History Logics within the OOPSLA-track
- Author of Verifying Indistinguishability of Privacy-Preserving Protocols within the OOPSLA-track
- Session Chair of verification 1 (part of OOPSLA)
- Session Chair of refactoring (part of OOPSLA)
2022
2019
2018
SPLASH
2017
Blog Posts
- ECOOP 2018 - Before the conference Mon 9 Jul 2018