معرفی
KC Sivaramakrishnan is an Assistant Professor at Indian Institute of Technology Madras and concurrently serves as CTO of Tarides. He works at the intersection of programming languages and systems, focusing on concurrency, distributed systems, and OCaml runtime development.
- Primary Affiliation: Indian Institute of Technology Madras
- Co-founder: Tarides
His research explores:
- Concurrency and parallelism in OCaml
- Effect handlers for modular programming
- Mergeable Replicated Data Types for distributed systems
- Weak memory models and consistency guarantees
- Lock-free algorithms and safe multicore programming
Recent publications focus on OCaml 5.0's concurrency features, effect handler integration, and verified CRDT implementations. He contributes to compiler design, runtime optimization, and testing frameworks for multicore systems.
Service roles include committee memberships in SPLASH, ICFP, OCaml, and PROPL conferences. He actively bridges functional programming with systems research through practical implementations.
۰مقاله منتشرشده
