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

Journal publications

  1. KC Sivaramakrishnan, Tim Harris, Simon Marlow, Simon Peyton Jones
    Journal of Functional Programming (JFP), 2016

  2. KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
    IEEE Data Engineering Bulletin, 39(1): 52 – 64, March 2016
    Invited Paper [bib]

  3. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Journal of Functional Programming (JFP), 24(6): 613 – 674, 2014

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

Conference publications

  1. KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
    International Conference on Programming Language Design and Implementation (PLDI), 2015

  2. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Symposium on Practical Aspects of Declarative Languages (PADL), 2014

  3. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Many-core Architecture Research Community Symposium (MARC), 2012

  4. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    International Symposium on Memory Management (ISMM), 2012

  5. Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
    International Conference on Programming Language Design and Implementation (PLDI), 2011

  6. KC Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
    International Conference on Coordination Models and Languages (COORDINATION), 2010

  7. Lukasz Ziarek, KC Sivaramakrishnan, Suresh Jagannathan
    International Conference on Functional Programming (ICFP), 2009

Workshop publications

  1. KC Sivaramakrishnan, Théo Laurent
    OCaml Workshop, 2016

  2. Daniel Hilleström, Sam Lindley, KC Sivaramakrishnan
    ML Worshop, 2016

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

  4. Stephen Dolan, Leo White, KC Sivaramakrishnan, Jeremy Yallop and Anil Madhavapeddy
    OCaml Worshop, 2015

  5. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    ML Worshop, 2013

  6. Daniel G. Waddington, Chen Tian, KC Sivaramakrishnan
    Workshop on Systems for Future Multi-Core Architectures (SFMA), 2011

  7. Suresh Jagannathan, Armand Navabi, KC Sivaramakrishnan, Lukasz Ziarek
    ML Workshop, 2010

  8. KC Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
    Workshop on Declarative Aspects of Multicore Programming (DAMP), 2010

Technical Reports and Drafts

  1. KC Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
    Purdue University Computer Science Technical Report – TR-11-018, 2011

Talks