Concepedia

KC Sivaramakrishnan

KS

16

Publications

376

Citations

13

H-Index

2009

Active since

Affiliations

Purdue University West Lafayette(Current)

University of Cambridge

Indian Institute of Technology Madras

Tohoku University

KC Sivaramakrishnan is an author at Purdue University West Lafayette specializing in computer science, engineering, and program analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisFormal VerificationSystem SoftwareParallel ComputingParallel ProgrammingComputer ArchitectureData Management

Publications per year

2009–2023

16

Publications

16

Declarative programming over eventually consistent data stores

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

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

Bounding data races in space and time

Stephen K. Dolan, KC Sivaramakrishnan, Anil Madhavapeddy · 2018 · 36 citations · Full text

Bounding Data Races, Engineering, Ocaml Programming Language +22

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

MultiMLton: A multicore-aware runtime for standard ML

KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan · Journal of Functional Programming · 2014 · 28 citations · Full text

Engineering, Machine Learning, Computer Architecture +19

Rows per page

1–5 of 16