KC Sivaramakrishnan

Registered user since Thu 3 May 2018

Name:KC Sivaramakrishnan
Bio:

KC Sivaramakrishnan is an Assistant Professor at the Indian Institute of Technology, Madras, and a Hacker at Tarides. He is interested in the intersection of programming languages and (concurrent, distributed, parallel, operating, secure) systems. He leads the Multicore OCaml project, a concurrent and parallel extension of the OCaml programming language. Multicore OCaml has been merged into OCaml and will be available for general use in OCaml 5.0, the next major release of the OCaml programming language. In the past, KC was a Senior Research Fellow at the University of Cambridge Computer Lab. He obtained his PhD and MS from Purdue University. His awards include the Royal Commission for the Exhibition of 1851 Fellowship, Darwin College Cambridge Research Fellowship, Maurice H. Halstead Memorial Award for outstanding research in software engineering, and distinguished paper awards at ICFP and PADL.

Country:India
Affiliation:IIT Madras and Tarides
Personal website:https://kcsrk.info/
Research interests:Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, Weak Memory/Consistency

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
ICFP 2022 Author of Retrofitting Concurrency – Lessons from the Engine Room within the ICFP Papers and Events-track
OCaml 2022 Session Chair of Tools (part of OCaml 2022)
Author of Composing Schedulers using Effect Handlers within the OCaml 2022-track
Committee Member in Program Committee within the OCaml 2022-track
Speaker of OCaml 5.0 - Concurrent and Parallel programming for OCaml within the OCaml 2022-track
ML 2022 Committee Member in Program Committee within the ML-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
Author of Certified Mergeable Replicated Data Types within the PLDI-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
GPCE 2021 Committee Member in Program Committee within the GPCE-track
OCaml 2021 Author of Parafuzz: Coverage-guided Property Fuzzing for Multicore OCaml programs within the OCaml 2021-track
Author of Experiences with Effects within the OCaml 2021-track
Author of Adapting the OCaml ecosystem for Multicore OCaml within the OCaml 2021-track
TyDe 2021 Committee Member in Program Committee within the TyDe 2021-track
PLDI 2021 Author of Retrofitting Effect Handlers onto OCaml within the PLDI-track
POPL 2021 Panelist of Panel Discussion 3: Work/Life Balance within the POPL Meetups-track
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
Author of ConFuzz: Coverage-guided Property Fuzzing for Event-driven Programs within the PADL 2021-track
APLAS 2020 Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track
ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
Author of Retrofitting Parallelism onto OCaml within the ICFP Program-track
OCaml 2020 Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track
SPLASH 2019 Author of Mergeable Replicated Data Types within the OOPSLA-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
ML 2019 Chair in Organizing Committee within the ML 2019-track
Chair in Program Committee within the ML 2019-track
Session Chair of Session 1 (part of ML 2019)
OCaml 2019 Committee Member in Program Committee within the OCaml 2019-track
SPLASH 2018 Author of Safe Replication through Bounded Concurrency Verification within the OOPSLA-track
Author of Safe Replication through Bounded Concurrency Verification within the Posters-track
ICFP 2018 Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
OCaml 2018 Session Chair of Session 3 (part of OCaml 2018)
PLDI 2018 Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
ProWeb 2018 Author of Handlers.Js within the ProWeb 2018-track
CUFP 2017 Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 2) within the CUFP 2017-track
Tutor of Tutorial C3: Concurrent Programming with Effect Handlers (part 3) within the CUFP 2017-track
Tutor of Tutorial C3: Concurrent Programming with Effect Handlers within the CUFP 2017-track
OCaml 2017 Author of A memory model for multicore OCaml within the OCaml 2017-track
FSCD 2017 Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ML 2017 Author of Effectively tackling the awkward squad within the ML 2017-track
Author of Mergeable types within the ML 2017-track
PMLDC 2017 Committee Member in Program Committee within the PMLDC 2017-track
Off the Beaten Track 2017 Committee Member in Program Committee within the OBT-track
ICFP 2016 Author of T3: Introduction to OCaml within the Tutorials-track
ML 2016 Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track
Author of Eff Directly in OCaml within the ML-track
OCaml 2016 Author of Lock-free programming for the masses within the OCaml-track
Committee Member in Program Committee within the OCaml-track
PLDI 2015 Author of Declarative Programming over Eventually Consistent Data Stores within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track