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