Scholar
Gowtham Kaki
Google Scholar ID: d3JzmN4AAAAJ
University of Colorado Boulder
Programming Languages
Concurrent and Distributed Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
359
H-index
6
i10-index
5
Publications
20
Co-authors
8
list available
Publications
1 items
DissProve: Automated Verification of Distributed Protocols with Affine Communication
2026
Cited
0
Co-authors
4 total
KC Sivaramakrishnan
IIT Madras / Tarides
Kartik Nagar
Assistant Professor at Department of CSE, IIT Madras
Thomas Gazagnaire
Tarides
Anil Madhavapeddy
Professor of Planetary Computing, University of Cambridge
