Concepedia

Kapil Earanky

KE

1

Publications

29

Citations

1

H-Index

2018

Active since

Affiliations

University of Cambridge(Current)

Kapil Earanky is an author at University of Cambridge specializing in formal verification, data security, and data management.

Top concepts

Publications per year

2018–2018

1

Publications

1

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

, , +17

Rows per page

1–1 of 1