KC Sivaramakrishnan -

Registered user since Thu 3 May 2018

Name: KC Sivaramakrishnan

Bio: KC is an Assistant Professor at the Indian Institute of Technology, Madras. He is interested in the intersection of programming languages and (concurrent, distributed, parallel, operating, secure) systems.

Country: India

Affiliation: IIT Madras

Personal website: http://kcsrk.info/

Research interests: Functional Programming, Language Runtimes, Concurrency/Parallelism/Distribution, Weak Memory/Consistency

Contributions

TyDe 2021	Committee Member in Program Committee within the TyDe 2021-track
GPCE 2021	Committee Member in Program Committee within the GPCE-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
PLDI 2021	Author of Retrofitting Effect Handlers Onto OCaml within the PLDI-track
APLAS 2020	Author of Banyan: Coordination-free Transactions over Mergeable Replicated Data Types within the Research Papers-track
OCaml 2020	Author of Parallelising your OCaml Code with Multicore OCaml within the OCaml 2020-track
POPL 2021	Panelist of Panel Discussion 3: Work/Life Balance within the POPL Meetups-track
ICFP 2020	Committee Member in Program Committee within the ICFP Program-track Author of Retrofitting Parallelism onto OCaml within the ICFP Program-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 2019	Author of Mergeable Replicated Data Types within the OOPSLA-track
OCaml 2018	Session Chair of Session 3 (part of OCaml 2018)
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
ProWeb 2018	Author of Handlers.Js within the ProWeb 2018-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
FSCD 2017	Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ICFP 2018	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ML 2017	Author of Effectively tackling the awkward squad within the ML 2017-track Author of Mergeable types within the ML 2017-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
PMLDC 2017	Committee Member in Program Committee within the PMLDC 2017-track
PLDI 2018	Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
Off the Beaten Track 2017	Committee Member in Program Committee within the OBT-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
ICFP 2016	Author of T3: Introduction to OCaml within the Tutorials-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