KC Sivaramakrishnan

Registered user since Fri 16 Jan 2015

Name: KC Sivaramakrishnan

Country: United Kingdom

Affiliation: University of Cambridge

Personal website: http://kcsrk.info/

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

Contributions

ProWeb 2018Author of Handlers.Js within the ProWeb 2018-track
SPLASH 2018Author of Safe Replication through Bounded Concurrency Verification within the OOPSLA-track
FSCD 2017Author of Continuation Passing Style for Effect Handlers within the FSCD 2017-track
ICFP 2018Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
ML 2017Author of Effectively tackling the awkward squad within the ML 2017-track
Author of Mergeable types within the ML 2017-track
CUFP 2017Tutor 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 2017Author of A memory model for multicore OCaml within the OCaml 2017-track
PMLDC 2017Committee Member in Program Committee within the PMLDC 2017-track
PLDI 2018Author of Bounding Data Races in Space and Time within the PLDI Research Papers-track
Off the Beaten Track 2017Committee Member in Program Committee within the OBT-track
ML 2016Author of Compiling Links Effect Handlers to the OCaml Backend within the ML-track
Author of Eff Directly in OCaml within the ML-track
OCaml 2016Author of Lock-free programming for the masses within the OCaml-track
Committee Member in Program Committee within the OCaml-track
ICFP 2016Author of T3: Introduction to OCaml within the Tutorials-track
PLDI 2015Author of Declarative Programming over Eventually Consistent Data Stores within the Research Papers-track
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track