KC Sivaramakrishnan -

Registered user since Thu 3 May 2018

Name: KC Sivaramakrishnan

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

Country: India

Affiliation: Indian Institute of Technology, Madras

Personal website: http://kcsrk.info/

Research interests: Functional Programming, Language Runtimes, Concurrency and Parallelism, Weak Consistency

Contributions

ML 2019	Chair in Organizing Committee within the ML 2019-track Chair in Program Committee within the ML 2019-track
OCaml 2019	Committee Member in Program Committee within the OCaml 2019-track
SPLASH 2019	Author of Relational Reasoning for 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