See Google Scholar for an up to date list.
KC Sivaramakrishnan, Andrej Bauer (Eds.)
JFP Special Issue on the Theory and Practice of Algebraic Effects and Handlers
KC Sivaramakrishnan, Daan Leijen, Matija Pretnar, Tom Schrijvers
Algebraic Effect Handlers Go Mainstream
Dagstuhl Seminar 18172, Dagstuhl Reports, Volume 8, Issue 4, April 2018
KC Sivaramakrishnan
Functional Programming Abstractions for Weakly Consistent Systems
Department of Computer Science, Purdue University, Dec 2014
[slides (pdf)] [slides (pptx)] [bib]
Deepali Ande, Sudha Parimala, KC Sivaramakrishnan
Effectively Composing Concurrency Libraries
July 2023
Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Sam Lindley
Continuing WebAssembly with Effect Handlers
Proceedings of the ACM on Programming Languages (PACMPL), issue OOPSLA 2023
Thomas Leonard, Patrick Ferris, Christiano Haesbaert, Lucas Pluvinage, Vesa Karvonen, Sudha Parimala, KC Sivaramakrishnan, Vincent Balat, Anil Madhavapeddy
Eio 1.0 – Effects-based IO for OCaml 5
OCaml Workshop 2023
Vesa Karvonen, Bartosz Modelski, Carine Morel, Thomas Leonard, KC Sivaramakrishnan, YSS Narasimha Naidu, Sudha Parimala
Building a lock-free STM for OCaml
OCaml Workshop 2023
Deepali Ande, KC Sivaramakrishnan
Composing Schedulers using Effect Handlers
OCaml workshop, 2022
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
Certified Mergeable Replicated Datatypes
International Conference on Programming Language Design and Implementation (PLDI), 2022
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, KC Sivaramakrishnan
Marrying Replicated and Functional Data Structures
9th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2022
Sumit Padhiyar, Adharsh Kamath, KC Sivaramakrishnan
Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs
OCaml Workshop, 2021
[video]
Thomas Leonard, Craig Ferguson, Patrick Ferris, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan, Anil Madhavapeddy
Experiences with Effects
OCaml Workshop, 2021
[video]
Sudha Parimala, Enguerrand Decorne, Sadiq Jaffer, Tom Kelly, KC Sivaramakrishnan
Adapting the OCaml ecosystem for Multicore OCaml
OCaml Workshop, 2021
[video]
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anil Madhavapeddy
Retrofitting Effect Handlers to OCaml
International Conference on Programming Language Design and Implementation (PLDI), 2021
Vimala Soundarapandian, KC Sivaramakrishnan, Kartik Nagar
Certified Mergeable Replicated Data Types
8th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC), 2021
Sumit Padhiyar, KC Sivaramakrishnan
ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs
Proceedings of the 23rd International Symposium on Practical Aspects of Declarative Languages (PADL), 2021
Distinguished Paper. Selected for JFP special issue.
Sadiq Jaffer, Sudha Parimala, KC Sivaramakrishnan, Tom Kelly, Anil Madhavapeddy
Parallelising your OCaml Code with Multicore OCaml
OCaml Workshop 2020
Shashank Shakhar Dubey, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
Banyan: Coordination-free Distributed Transactions over Mergeable Types
Proceedings of the 18th Asian Symposium on Programming Languages and Systems (APLAS), 2020
KC Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting Parallelism onto OCaml
Proceedings of the ACM on Programming Languages (PACMPL), issue ICFP 2020
Distinguished Paper Award
[slides(pdf)] [slides(key)] [bib]
Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, Suresh Jagannathan
Mergeable Replicated Data Types
Proceedings of the ACM on Programming Languages (PACMPL), issue OOPSLA 2019
[bib] [The Morning Paper: Part I] [The Morning Paper: Part II]
Gowtham Kaki, KC Sivaramakrishnan, Suresh Jagannathan
Version Control Is For Your Data Too
The 3rd Summit on Advances in Programming Languages (SNAPL), 2019
[bib]
Gowtham Kaki, Kapil Earanky, KC Sivaramakrishnan, Suresh Jagannathan
Safe Replication through Bounded Concurrency Verification
Proceedings of the ACM on Programming Languages (PACMPL), issue OOPSLA 2018
[bib]
Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy
Bounding Data Races in Space and Time
International Conference on Programming Language Design and Implementation (PLDI), 2018
[bib] [The Morning Paper: Part I] [The Morning Paper: Part II]
Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
An Architecture for Interspatial Communication
Hot Topics in Pervasive Mobile and Online Social Networking (HotPOST), 2018
[bib]
Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers
Post-proceedings of the Symposium on Trends in Functional Programming, 2017
[bib]
Oleg Kiselyov and KC Sivaramakrishnan
Eff directly in OCaml
Post-proceedings of the ML Workshop 2016, 2017
[bib]
Daniel Hillerström, Sam Lindley, Robert Atkey, KC Sivaramakrishnan
Continuation Passing Style for Effect Handlers
International Conference on Formal Structures for Computation and Deduction (FSCD), 2017
[bib]
Gowtham Kaki, KC Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy, Suresh Jagannathan
DaLi: Database as a Library
The 2nd Summit on Advances in Programming Languages (SNAPL), 2017
Oral presentation [bib]
Stephen Dolan and KC Sivaramakrishnan
A Memory Model for Multicore OCaml
OCaml Workshop, 2017
[bib]
Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
Effectively Tackling the Awkward Squad
ML Workshop, 2017
[bib]
Gowtham Kaki, KC Sivaramakrishnan, Samodya Abeysiriwardane, Suresh Jagannathan
Mergeable Types
ML Workshop, 2017
[bib]
Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers
Symposium on Trends in Functional Programming, 2017
[bib]
Oleg Kiselyov and KC Sivaramakrishnan
Eff directly in OCaml
JSSST Workshop on Programming and Programming Languages, 2017
[bib]
KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
Composable Scheduler Activations for Haskell
Journal of Functional Programming (JFP), 2016
[bib] [code]
KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores
IEEE Data Engineering Bulletin, 39(1): 52 – 64, March 2016
Invited Paper
[bib]
KC Sivaramakrishnan and Théo Laurent
Lock-free programming for the masses
OCaml Workshop, 2016
[bib]
Daniel Hilleström, Sam Lindley, KC Sivaramakrishnan
Compiling Links Effect Handlers to the OCaml Backend
ML Worshop, 2016
[bib]
Oleg Kiselyov and Kc Sivaramakrishnan
Eff Directly in OCaml
ML Worshop, 2016
[bib]
KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Declarative Programming over Eventually Consistent Data Stores
International Conference on Programming Language Design and Implementation (PLDI), 2015
[code] [techrep] [bib]
Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy
Effective Concurrency with Algebraic Effects
OCaml Worshop, 2015
[code] [slides (pdf)] [slides (key)] [bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
MultiMLton: A Multicore-aware Runtime for Standard ML
Journal of Functional Programming (JFP), 24(6): 613 – 674, 2014
[code] [bib]
KC Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
Efficient Sessions
Science of Computer Programming (SCP), 78(2): 147 – 167, 2013
[code] [bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Rx-CML: A Prescription for Safely Relaxing Synchrony
Symposium on Practical Aspects of Declarative Languages (PADL), 2014
[code] [slides (pdf)] [slides (key)] [bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Migrating MultiMLton to the Cloud
ML Worshop, 2013
[bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
A Coherent and Managed Runtime for ML on the SCC
Many-core Architecture Research Community Symposium (MARC), 2012
Best Paper Award
[code] [slides (pdf)] [slides (pptx)] [bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Eliminating Read Barriers through Procrastination and Cleanliness
International Symposium on Memory Management (ISMM), 2012
[slides (pdf)] [slides (pptx)] [bib]
Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
Composable Asynchronous Events
International Conference on Programming Language Design and Implementation (PLDI), 2011
[bib]
Daniel G. Waddington, Chen Tian, KC Sivaramakrishnan
Scalable Lightweight Task Management Schemes for MIMD Processors
Workshop on Systems for Future Multi-Core Architectures (SFMA), 2011
[bib]
KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Featherweight Threads for Communication
Purdue University Computer Science Technical Report – TR-11-018, 2011
[bib]
KC Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
Efficient Session Type Guided Distributed Interaction
International Conference on Coordination Models and Languages (COORDINATION), 2010
Distinguished Paper. Selected for SCP Special Issue.
[code] [slides (pdf)] [slides (key)] [bib]
Suresh Jagannathan, Armand Navabi, KC Sivaramakrishnan, Lukasz Ziarek
Design Rationale for MultiMLton
ML Workshop, 2010
[bib]
KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
Lightweight Asynchrony using Parasitic Threads
Workshop on Declarative Aspects of Multicore Programming (DAMP), 2010
[bib]
Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
Partial Memoization of Concurrency and Communication
International Conference on Functional Programming (ICFP), 2009
[bib]