K. C. Sivaramakrishnan

According to our database, K. C. Sivaramakrishnan authored at least 27 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Continuing WebAssembly with Effect Handlers.

Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, K. C. Sivaramakrishnan, Matija Pretnar, Sam Lindley

Proc. ACM Program. Lang., October, 2023

2022

Certified mergeable replicated data types.

Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, K. C. Sivaramakrishnan

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Retrofitting effect handlers onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

ConFuzz: Coverage-Guided Property Fuzzing for Event-Driven Programs.

Sumit Padhiyar, K. C. Sivaramakrishnan

Proceedings of the Practical Aspects of Declarative Languages, 2021

2020

Retrofitting parallelism onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy

Proc. ACM Program. Lang., 2020

Banyan: Coordination-Free Distributed Transactions over Mergeable Types.

Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).

Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan

NII Shonan Meet. Rep., 2019

Mergeable replicated data types.

Gowtham Kaki, Swarn Priya, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2019

Version Control Is for Your Data Too.

Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Safe replication through bounded concurrency verification.

Gowtham Kaki, Kapil Earanky, K. C. Sivaramakrishnan, Suresh Jagannathan

Proc. ACM Program. Lang., 2018

Bounding data races in space and time.

Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

An architecture for interspatial communication.

Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire

Proceedings of the IEEE INFOCOM 2018, 2018

2017

Concurrent System Programming with Effect Handlers.

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

Continuation Passing Style for Effect Handlers.

Daniel Hillerström, Sam Lindley, Robert Atkey, K. C. Sivaramakrishnan

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Composable scheduler activations for Haskell.

K. C. Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones

J. Funct. Program., 2016

Representation without Taxation: A Uniform, Low-Overhead, and High-Level Interface to Eventually Consistent Key-Value Stores.

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

IEEE Data Eng. Bull., 2016

Eff Directly in OCaml.

Oleg Kiselyov, K. C. Sivaramakrishnan

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

2015

Declarative programming over eventually consistent data stores.

K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

MultiMLton: A multicore-aware runtime for standard ML.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

J. Funct. Program., 2014

R^CML: A Prescription for Safely Relaxing Synchrony.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Practical Aspects of Declarative Languages, 2014

2013

Efficient sessions.

K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster

Sci. Comput. Program., 2013

2012

A Coherent and Managed Runtime for ML on the SCC.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, 2012

Eliminating read barriers through procrastination and cleanliness.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the International Symposium on Memory Management, 2012

2011

Composable asynchronous events.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Lightweight asynchrony using parasitic threads.

K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Efficient Session Type Guided Distributed Interaction.

K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Partial memoization of concurrency and communication.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009