KC Sivaramakrishnan
Scholar

KC Sivaramakrishnan

Google Scholar ID: Kc2cHqYAAAAJ
IIT Madras / Tarides
Functional ProgrammingProgramming LanguagesRuntime SystemsProgram Verification
Citations & Impact
All-time
Citations
722
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
37
list available
Resume (English only)
Academic Achievements
  • Co-founded several companies including Tarides (France), OCaml Labs Consultancy (UK, joined Tarides), Segfault Systems (India, joined Tarides). Involved in organizing multiple conferences such as DEI Co-Chair for ICFP 2025, SIGPLAN CARES committee member, and served as editor or program committee member for various journals and workshops.
Research Experience
  • Led the development of Multicore OCaml, a concurrent and parallel extension of the OCaml programming language, which is now merged into OCaml 5.0 for general use. 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.
Education
  • Obtained MS and PhD degrees in Computer Science from Purdue University under the supervision of Prof. Suresh Jagannathan; BEng degree in Computer Science and Engineering from Anna University, India.
Background
  • An Assistant Professor in the Computer Science and Engineering department at Indian Institute of Technology, Madras, and the Chief Technology Officer of Tarides. Interested in building robust, secure, and scalable systems using programming language technology.
Miscellany
  • Occasionally updates his blog to share research findings; contact information includes email addresses, Twitter, Bluesky, GitHub, and BitBucket accounts.