K. C. Sivaramakrishnan

36 papers A* 5A 1B 2C 4Journal 17Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Sal: Multi-modal Verification of Replicated Data Types.
CoRR
Pranav Ramesh, Vimala Soundarapandian, K. C. Sivaramakrishnan
2025 J jnl
A Mechanically Verified Garbage Collector for OCaml.
J. Autom. Reason.
Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, K. C. Sivaramakrishnan
2025 J jnl
Automatically Verifying Replication-Aware Linearizability.
Proc. ACM Program. Lang.
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, K. C. Sivaramakrishnan
2025 J jnl
Automatically Verifying Replication-aware Linearizability.
CoRR
Vimala Soundarapandian, Kartik Nagar, Aseem Rastogi, K. C. Sivaramakrishnan
2023 J jnl
Continuing WebAssembly with Effect Handlers.
CoRR
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2023 J jnl
Continuing WebAssembly with Effect Handlers.
Proc. ACM Program. Lang.
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley
2022 J jnl
Certified Mergeable Replicated Data Types.
CoRR
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
2022 A* conf
Certified mergeable replicated data types.
PLDI
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan
2022 — ed.
PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022
PaPoC@EuroSys
Adriana Szekeres, K. C. Sivaramakrishnan
2021 C conf
ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs.
PADL
Sumit Padhiyar, K. C. Sivaramakrishnan
2021 J jnl
Retrofitting Effect Handlers onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2021 A* conf
Retrofitting effect handlers onto OCaml.
PLDI
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2020 B conf
Banyan: Coordination-Free Distributed Transactions over Mergeable Types.
APLAS
Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
2020 J jnl
Retrofitting Parallelism onto OCaml.
CoRR
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020 J jnl
Retrofitting parallelism onto OCaml.
Proc. ACM Program. Lang.
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2019 J jnl
Mergeable replicated data types.
Proc. ACM Program. Lang.
Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan
2019 J jnl
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).
NII Shonan Meet. Rep.
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
2019 — conf
Version Control Is for Your Data Too.
SNAPL
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
2018 — conf
An architecture for interspatial communication.
INFOCOM Workshops
Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
2018 A* conf
Bounding data races in space and time.
PLDI
Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
2018 J jnl
Safe replication through bounded concurrency verification.
Proc. ACM Program. Lang.
Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan
2017 — conf
Concurrent System Programming with Effect Handlers.
TFP
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2017 B conf
Continuation Passing Style for Effect Handlers.
FSCD
Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan
2016 J jnl
Composable scheduler activations for Haskell.
J. Funct. Program.
K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
2016 — conf
Eff Directly in OCaml.
ML/OCAML
Oleg Kiselyov, K. C. Sivaramakrishnan
2016 J jnl
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores.
IEEE Data Eng. Bull.
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2015 A* conf
Declarative programming over eventually consistent data stores.
PLDI
K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
2014 J jnl
MultiMLton: A multicore-aware runtime for standard ML.
J. Funct. Program.
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2014 C conf
R
PADL
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2013 J jnl
Efficient sessions.
Sci. Comput. Program.
K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
2012 — conf
A Coherent and Managed Runtime for ML on the SCC.
MARC@RWTH
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2012 C conf
Eliminating read barriers through procrastination and cleanliness.
ISMM
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
2011 A* conf
Composable asynchronous events.
PLDI
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
2010 C conf
Efficient Session Type Guided Distributed Interaction.
COORDINATION
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
2010 — conf
Lightweight asynchrony using parasitic threads.
DAMP
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
2009 A conf
Partial memoization of concurrency and communication.
ICFP
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan