Gowtham Kaki
Orcid: 0000-0002-4189-3189
According to our database1,
Gowtham Kaki
authored at least 14 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
3
1
2
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
Proc. ACM Program. Lang., October, 2023
Proc. ACM Program. Lang., October, 2023
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version).
CoRR, 2023
2022
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022
2019
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019
2018
Proc. ACM Program. Lang., 2018
Proc. ACM Program. Lang., 2018
Proceedings of the 5th Workshop on the Principles and Practice of Consistency for Distributed Data, 2018
Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018
2016
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores.
IEEE Data Eng. Bull., 2016
2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
2014
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014