The Curious Engineer

All blogs / OCaml / F#

KC Sivaramakrishnan

kcsrk.info

OCaml / F#ConcurrencyCompilers

’15’16’17’18’19’20’21’22’23’24’25’26
Posts
33 from 25 Mar 2015 to 26 Sep 2026
Posting
monthly (7 in the last year)
Kind
personal blog
Feed
https://kcsrk.info/atom.xml

2026 6

  1. Textbooks that run
  2. An O(x)Caml book that runs
  3. Shrinking the OxCaml js_of_ocaml bundle: 285 MB to 4 MB
  4. Capsules: compile-time lock discipline in OxCaml
  5. Data race freedom in OxCaml
  6. From Convergence to Confidence: Push-button verification for RDTs

2025 5

  1. Foundations for hacking on OCaml
  2. Testing x-ocaml, OCaml notebooks as a WebComponent
  3. Linearity and uniqueness
  4. Uniqueness for Behavioural Types
  5. Joining my group

2024 2

  1. Off-CPU-time analysis
  2. Getting Started with GDB on OCaml

2020 1

  1. Teaching OCaml and Prolog through Jupyter Notebooks

2019 4

  1. Multicore OCaml Jobs
  2. Deterministically debugging concurrent GC bugs with rr
  3. ML Family Workshop 2019: Call for presentations
  4. OCaml on Baremetal Shakti RISC-V processor

2018 2

  1. Continuous Benchmarking & Call for Benchmarks
  2. JFP Special Issue on Algebraic Effects and Handlers

2017 4

  1. A deep dive into Multicore OCaml garbage collector
  2. (Monadic) Reflections on Concurrency
  3. Building and Publishing an OCaml Package: Q1 2017
  4. Ezirmin : An easy interface to the Irmin library

2016 3

  1. Behavioural types
  2. Lock-free programming for the masses
  3. Armed with Reason

2015 6

  1. Profiling the stack
  2. An Allocation Profiler for OCaml Bytecode Interpreter
  3. Experiment with OCaml Multicore and Algebraic Effects
  4. Pearls of Algebraic Effects and Handlers
  5. Effective Concurrency with Algebraic Effects
  6. Opam Switch to Multicore OCaml