KC Sivaramakrishnan
Assistant Professor at Indian Institute of Technology, Madras
Chennai, Tamil Nadu, India
Summary
🤩
Rockstar🎓
Top SchoolKC Sivaramakrishnan is an Assistant Professor and CTO with 15 years of experience building robust, secure, and scalable software systems and tooling around the OCaml ecosystem. He co-founded multiple companies (OCaml Labs Consultancy, Segfault Systems, Tarides) to advance OCaml and developer infrastructure, and now leads technical strategy at Tarides while holding academic appointments at IIT Madras. His research and PhD work focus on programming-language abstractions for correct, scalable concurrent, parallel, and distributed systems, with applied contributions to the core OCaml compiler, runtime, and multicore features. A long-time OCaml core developer and contributor to projects like ReasonML, he combines deep compiler/runtime expertise with product-minded engineering. Based in Chennai, he bridges rigorous academic research and startup execution, often turning language research into production-grade developer tools. One less obvious strength is his track record of merging academic innovations into mainstream compiler codepaths, showing an ability to navigate both research and large open-source codebases.
15 years of coding experience
13 years of employment as a software developer
PhD, Computer Science, PhD, Computer Science at Purdue UniversityBE, Computer Science and Engineering, BE, Computer Science and Engineering at PSG College of Technology
English, Tamil
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (18)
runtimes10
run-time10
internals10
ocaml10
reasonml10
sys10
bytecode10
compiler10
runtime-environment10
programming-language9
text-parsing8
code-generation8
parsing8
print8
printing8
Programming languages (23)
Github contributions (5)
ocaml/ocaml
Feb 2015 - Jan 2023
The core OCaml system: compilers, runtime system, base libraries
Role in this project:
Back-end Developer
Back-end DeveloperContributions:630 reviews, 811 commits, 87 PRs in 7 years 11 months
Contributions summary:KC contributed to the OCaml compiler system, making changes to bytecode and related functionalities. These changes involved defining aliases for constants and merging code from other branches into the main branch. The user also made modifications to interpreter and fiber code, indicating involvement in compiler internal and runtime system development. They demonstrate proficiency in working with compiler internals and core system code within the OCaml ecosystem.
functional-languagecompilersruntime-systemapllwt
reasonml/reason
Apr 2016 - May 2016
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Role in this project:Back-end Developer
Back-end DeveloperContributions:13 commits, 2 PRs, 20 comments in 1 month
Contributions summary:KC primarily worked on the ReasonML code generation and tooling aspects of the project. They implemented syntax improvements, including support for nonrec declarations and nullary GADT constructors, and fixed related printing issues. The user also contributed to the project's infrastructure by saving the history for rtop, the Reason Utop, and adding redoc support for generating documentation from OCaml sources.
leveragesjavascriptocamltype-safereasonml
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.