KC Sivaramakrishnan Research Associate @ OCaml Labs

ProfileImage I am a Post-doctoral Research Associate under the OCaml Labs initiative at the University of Cambridge Computer Lab, an 1851 Research Fellow and a Research Fellow at Darwin College, Cambridge. I am also a member of the Network and Operating Systems group.

I am interested in the design and implementation of concurrent functional programming languages targeting scalable platforms such as many-core processors and compute clouds. My research spans programming models, compilers, static analysis, schedulers, threading systems, and memory management.

Before coming to Cambridge, I was a graduate student at Purdue University where I obtained an MS and a PhD degree in Computer Science under the supervision of the wonderful Prof. Suresh Jagannathan. At Purdue, I led the MultiMLton and Quelea projects. Before that, I obtained my BEng degree in Computer Science and Engineering from Anna University, India.

Contact

Timeline

Timeline

Publications

Overview

PhD Dissertation

Drafts

  1. Stephen Dolan and KC Sivaramakrishnan
    A Memory Model for Multicore OCaml
    In submission, May 2017

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

  3. Gowtham Kaki, KC Sivaramakrishnan, Samodya Abeysiriwardane, Suresh Jagannathan
    Mergeable Types
    In submission, May 2017

  4. Oleg Kiselyov and KC Sivaramakrishnan
    Eff directly in OCaml
    In submission, Apr 2017

Journal publications

  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]

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

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

  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 Annual Summit on Advances in Programming Languages (SNAPL), 2017
    Oral presentation

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

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

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

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

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

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

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

Workshop publications

  1. Stephen Dolan, Spiros Eliopolous, Daniel Hillerström, Anil Madhavapeddy, KC Sivaramakrishnan, Leo White
    Concurrent System Programming with Effect Handlers
    Trends in Functional Programming, 2017

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

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

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

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

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

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

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

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

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

Talks