KC Sivaramakrishnan
where else to find them
website:https://kcsrk.info
github:kayceesrk
bluesky:kcsrk.info
x:kc_srk
linkedin:kc-sivaramakrishnan-25061a14
speakerdeck:kayceesrk
what they talk about
all 7 in the filters
where they keep going back
all 6 in the filters
on a stage with
all 34 in the filters
who talks about the same things
- Sudha Parimala9 talks
- Leo White12 talks
- Stephen Dolan13 talks
- Aseem Rastogi7 talks
- Anmol Sahoo4 talks
- Matija Pretnar4 talks
| title | conference | date |
|---|---|---|
| Introduction | PROPL 2026 | 2026-06-15 |
CO2 concentration exceeds 430 ppm in 2026 and the last three years are the hottest on record; biodiversity monitoring shows a 73% drop in the Living Planet… | ||
| A Mechanically Verified Garbage Collector for OCaml | OCaml Workshop 2025 | 2025-10-17 |
Verified stop‑the‑world mark‑and‑sweep GC implemented from scratch, mechanized in F with its low‑level subset Low and extracted to C via KaRaMel, then linked… | ||
| Automatically Verifying Replication-aware Linearizability | OOPSLA 2025 | 2025-10-16 |
Automated verification framework proves replication-aware linearizability for Mergeable Replicated Data Types by checking novel algebraic laws on the three-way… | ||
| Welcome to the 2nd PROPL | PROPL 2025 | 2025-10-13 |
Workshop revival originates from a small cross-disciplinary effort to apply programming languages and systems to climate and biodiversity problems, following a… | ||
| Continuing WebAssembly with Effect Handlers | OOPSLA 2023 | 2023-10-23 |
WasmFX extends WebAssembly with WasmFX adds three instructions to create, suspend and resume continuations and with typed one-shot continuations that fit… | ||
| Eio 1.0 – Effects-based IO for OCaml 5 | OCaml 2023 | 2023-09-09 |
Effects-based direct-style IO for OCaml 5 that exposes three core effects suspend, fork, get_context and multiple backends (POSIX, Linux io_uring, Windows, JS… | ||
| Building a lock-free STM for OCaml | OCaml 2023 | 2023-09-09 |
kcas implements a lock-free software transactional memory for OCaml built on a multi-word compare-and-set primitive, with composable transactions… | ||
| Composing Schedulers using Effect Handlers | OCaml 2022 | 2022-09-16 |
Claims a concrete interface that makes different OCaml 5 effect-based schedulers interoperate: a suspend effect that captures a task continuation and a resume… | ||
| Retrofitting Concurrency – Lessons from the Engine Room | ICFP 2022 | 2022-09-11 |
OCaml 5.0 brings native concurrency and parallelism and ships effect handlers as the language-level mechanism; the Multicore design uses per-domain minor heaps… | ||
| Effective Programming in OCaml | YOW! 2021 | 2021-11-30 |
Retrofitting Multicore OCaml adds effect handlers as first-class user-defined effects with one-shot delimited continuations and continue/discontinue… | ||
| Retrofitting Parallelism onto Ocaml | ICFP 2020 | 2020-08-23 |
A mostly-concurrent, non-moving mark-and-sweep GC for multicore OCaml is implemented (major heap based on VCGC, allocator from Streamflow) and extended to… | ||
| nothing matches | ||