KC Sivaramakrishnan Assistant Professor @ IIT Madras

Publications

See Google Scholar for an up to date list.

PhD Dissertation

Journal publications

2019

  1. Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, Suresh Jagannathan
    Relational Reasoning for Mergeable Replicated Data Types
    Conditionally Accepted to Proceedings of the ACM on Programming Languages (PACMPL), issue OOPSLA 2019

2018

  1. 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

2017

  1. 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

  2. Oleg Kiselyov and KC Sivaramakrishnan
    Eff directly in OCaml
    Post-proceedings of the ML Workshop 2016, 2017

2016

  1. KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
    Composable Scheduler Activations for Haskell
    Journal of Functional Programming (JFP), 2016
    [code]

  2. 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]

2014

  1. 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]

  2. KC Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
    Efficient Sessions
    Science of Computer Programming (SCP), 78(2): 147 – 167, 2013
    Invited Paper [code] [bib]

Conference publications

2019

  1. Gowtham Kaki, KC Sivaramakrishnan, Suresh Jagannathan
    Version Control Is For Your Data Too
    The 3rd Summit on Advances in Programming Languages (SNAPL), 2019

2018

  1. Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy
    Bounding Data Races in Space and Time
    International Conference on Programming Language Design and Implementation (PLDI), 2018
    [The Morning Paper: Part I] [The Morning Paper: Part II]

2017

  1. 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

  2. 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

2015

  1. 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]

2014

  1. 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]

2012

  1. 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]

  2. 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]

2011

  1. Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
    Composable Asynchronous Events
    International Conference on Programming Language Design and Implementation (PLDI), 2011
    [bib]

2010

  1. KC Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
    Efficient Session Type Guided Distributed Interaction
    International Conference on Coordination Models and Languages (COORDINATION), 2010
    [code] [slides (pdf)] [slides (key)] [bib]

2009

  1. Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
    Partial Memoization of Concurrency and Communication
    International Conference on Functional Programming (ICFP), 2009
    [bib]

Workshop publications

2018

  1. Anil Madhavapeddy, KC Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
    An Architecture for Interspatial Communication
    Hot Topics in Pervasive Mobile and Online Social Networking (HotPOST), 2018

2017

  1. Stephen Dolan and KC Sivaramakrishnan
    A Memory Model for Multicore OCaml
    OCaml Workshop, 2017

  2. Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
    Effectively Tackling the Awkward Squad
    ML Workshop, 2017

  3. Gowtham Kaki, KC Sivaramakrishnan, Samodya Abeysiriwardane, Suresh Jagannathan
    Mergeable Types
    ML Workshop, 2017

  4. 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

  5. Oleg Kiselyov and KC Sivaramakrishnan
    Eff directly in OCaml
    JSSST Workshop on Programming and Programming Languages, 2017

2016

  1. KC Sivaramakrishnan and Théo Laurent
    Lock-free programming for the masses
    OCaml Workshop, 2016

  2. Daniel Hilleström, Sam Lindley, KC Sivaramakrishnan
    Compiling Links Effect Handlers to the OCaml Backend
    ML Worshop, 2016

  3. Oleg Kiselyov and Kc Sivaramakrishnan
    Eff Directly in OCaml
    ML Worshop, 2016

2015

  1. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy
    Effective Concurrency with Algebraic Effects
    OCaml Worshop, 2015
    [code] [slides (pdf)] [slides (key)]

2013

  1. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Migrating MultiMLton to the Cloud
    ML Worshop, 2013

2011

  1. 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]

2010

  1. Suresh Jagannathan, Armand Navabi, KC Sivaramakrishnan, Lukasz Ziarek
    Design Rationale for MultiMLton
    ML Workshop, 2010
    [bib]

  2. KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
    Lightweight Asynchrony using Parasitic Threads
    Workshop on Declarative Aspects of Multicore Programming (DAMP), 2010
    [bib]

Technical Reports

  1. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Featherweight Threads for Communication
    Purdue University Computer Science Technical Report – TR-11-018, 2011
    [bib]