K. C. Sivaramakrishnan

36 papers A* 5A 1B 2C 4Journal 17Unranked 6

Year	Rank	Type	Title / 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