K. C. Sivaramakrishnan

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 22

Top Topics

Version Control

Declarative Programming

Top Venues

Proc. ACM Program. Lang.

Publications

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
Continuing WebAssembly with Effect Handlers. CoRR (2023)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified Mergeable Replicated Data Types. CoRR (2022)
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
Certified mergeable replicated data types. PLDI (2022)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting Effect Handlers onto OCaml. CoRR (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting effect handlers onto OCaml. PLDI (2021)
Sumit Padhiyar, K. C. Sivaramakrishnan
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs. PADL (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. 4 (ICFP) (2020)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting Parallelism onto OCaml. CoRR (2020)
Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. APLAS (2020)
Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
Mergeable replicated data types. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. 2019 (2019)
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
Version Control Is for Your Data Too. SNAPL (2019)
Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
Bounding data races in space and time. PLDI (2018)
Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
An architecture for interspatial communication. INFOCOM Workshops (2018)
Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
Safe replication through bounded concurrency verification. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers. TFP (2017)
Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan
Continuation Passing Style for Effect Handlers. FSCD (2017)
K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
Composable scheduler activations for Haskell. J. Funct. Program. 26 (2016)
Oleg Kiselyov, K. C. Sivaramakrishnan
Eff Directly in OCaml. ML/OCAML (2016)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores. IEEE Data Eng. Bull. 39 (1) (2016)
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Declarative programming over eventually consistent data stores. PLDI (2015)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
: A Prescription for Safely Relaxing Synchrony. PADL (2014)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24 (6) (2014)
K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
Efficient sessions. Sci. Comput. Program. 78 (2) (2013)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH (2012)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Eliminating read barriers through procrastination and cleanliness. ISMM (2012)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Composable asynchronous events. PLDI (2011)
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
Lightweight asynchrony using parasitic threads. DAMP (2010)
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
Efficient Session Type Guided Distributed Interaction. COORDINATION (2010)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Partial memoization of concurrency and communication. ICFP (2009)