Concepedia

Gowtham Kaki

GK

5

Publications

174

Citations

5

H-Index

2014

Active since

Affiliations

Purdue University West Lafayette(Current)

University of Cambridge

Gowtham Kaki is an author at Purdue University West Lafayette specializing in program analysis, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationData ManagementAutomated ReasoningData SecurityData IntegrationVerification

Publications per year

2014–2019

5

Publications

5

Declarative programming over eventually consistent data stores

KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan · 2015 · 84 citations

Engineering, Formal Verification, User-facing Online Services +17

Safe replication through bounded concurrency verification

Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan et al. · Proceedings of the ACM on Programming Languages · 2018 · 29 citations · Full text

Cluster Computing, Engineering, Verification +17

Mergeable replicated data types

Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan et al. · Proceedings of the ACM on Programming Languages · 2019 · 29 citations · Full text

Different Replicas, Engineering, Merge Functions +19

A relational framework for higher-order shape analysis

Gowtham Kaki, Suresh Jagannathan · 2014 · 18 citations

Engineering, Geometry, Relational Framework +26

Declarative programming over eventually consistent data stores

KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan · ACM SIGPLAN Notices · 2015 · 14 citations

Engineering, Formal Verification, User-facing Online Services +17

Rows per page

1–5 of 5