I am the Chief Technology Officer at Tarides and an Adjunct Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras. I am interested in building robust, secure and scalable systems using programming language technology.

I led the development of Multicore OCaml, a concurrent and parallel extension of the OCaml programming language. Multicore OCaml is now merged into OCaml, and will be available for general use in OCaml 5.0.

I’ve co-founded several companies

• Tarides - France
• OCaml Labs Consultancy - UK (joined Tarides)
• Segfault Systems - India (joined Tarides)

to build systems that are functional, and functional programming in OCaml turns out to be a fine choice for this. I serve as an advisor to Tarides.

I was an Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras. Prior to that, 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 write about my research in my blog (though not as often as I would like to).

• CV
• Research Statement
• Publications

Latest News

• [Sep 22] Invited to deliver a keynote at ICFP 2022.
• [Sep 22] Invited to deliver a keynote at OCaml workshop 2022.
• [Sep 22] Deepali Ande will present Composing Schedulers using Effect Handlers at the OCaml Workshop 2022.
• [Aug 22] Teaching Compiler Construction in the Monsoon semester.
• [Aug 22] Serving on the PLDI 2023 PC.

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 – PaPoC’22, ML’19
• AEC Chair – ESOP’22
• PC member
  • 2023: PLDI’23
  • 2022: OCaml’22, ML’22, PEPM’22, PLDI’22
  • 2021: GPCE’21, TyDe’21, PaPoC’21, PADL’21
  • 2020: ICFP’20, PaPoC’20
  • 2019: OCaml’19
  • 2017: PMLDC’17, OBT’17
  • 2016: OCaml’16
  • 2013: Splash-MARC symposium ‘13.
• Expert Reviewer
  • 2023: POPL’23
• ERC member – ICFP’19
• AEC member – ICFP’18, PPoPP/CGO’16, PLDI’15

Contact

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