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/

Twitter:https://twitter.com/kc_srk

GitHub:https://github.com/kayceesrk

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