I am an Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras. I work on the intersection of Programming Languages and (Concurrent, Parallel, Distributed) Systems.

I’ve co-founded several companies (OCaml Labs Consultancy - UK, Tarides - France, Segfault Systems - India) to build systems that are functional, and functional programming in OCaml turns out to be a fine choice for this.

I was a Senior 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. Earlier, 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. Before that, I obtained my BEng degree in Computer Science and Engineering from Anna University, India.

I lead the development of Multicore OCaml, a concurrent and parallel extension of the OCaml programming language, which is slowly but surely being merged upstream. I write about my research in my blog (though not as often as I would like to).

• CV
• Research Statement
• Publications

Latest News

• [Feb 21] Talk on “Effective Programming in OCaml” at Lambda Days 2021.
• [Jan 20] Teaching Programs and Proofs in Spring 2021.
• [Dec 20] Talk on “Effect Handlers in Multicore OCaml” at NUS PLV Research Seminar.
• [Dec 20] Talk on “Multicore OCaml - what’s coming in 2021” at Nomadic Labs Research Seminar.
• [Nov 20] “ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs” accepted to PADL’21.
• [Aug 20] “Retrofitting Parallelism onto OCaml” chosen as a Distinguished Paper at ICFP’20.

Activities

• Editor – JFP Special Issue on Effect Handlers
• Organizer
  • Dagstuhl meeting on “Effect Handlers go Mainstream!”
  • Shonan meeting on “Programming Language support for Data-intensive Systems”
• PC Chair – ML’19
• PC member – TyDe’21, PaPoC’21, PADL’21, ICFP’20, PaPoC’20, OCaml’19, PMLDC’17, OBT’17, OCaml’16, Splash-MARC symposium ‘13
• ERC member – ICFP’19
• AEC member – ICFP’18, PPoPP/CGO’16, PLDI’15

Contact

• Email : kc@kcsrk.info, kcsrk@cse.iitm.ac.in
• IRL : BSB 371, Department of Computer Science and Engineering, IIT Madras, Chennai, India
• Twitter : @kc_srk
• Github : kayceesrk
• BitBucket : kayceesrk