OCaml Workshop 2025
who it's for
ocaml developers, library maintainers, compiler engineers, tooling authors, editor and IDE plugin developers, security engineers, programming languages researchers
topics
AWS SDK generated from Smithy; Eio effects concurrency; ppxlib code generation; Dune package management; ocaml-lsp and ocamlformat delivery; WebAssembly embedding with GADTs; continuation-passing wasm codegen; flat-float separability tracking; OxCaml kind system prototype; mechanically verified garbage collector; Merlin split and LSP delivery; OCaml security team and SBOM mapping
| title | author | length |
|---|---|---|
| smaws: An AWS SDK for OCaml | Chris Armstrong | 29m |
smaws is an OCaml AWS SDK generated from Smithy IDL that currently implements the AWS JSON protocols covering about 36% of services (SQS, DynamoDB, CloudWatch… | ||
| OCaml Package Management with (only!) Dune | Stephen Sherratt, Marek Kubica, Rudi Grinberg | 35m |
Dune now solves and installs OCaml dependencies itself, pulling from the opam repo of ~4.5k packages and even building a compiler when needed; a demo builds a… | ||
| Embedding WebAssembly in OCaml for Safe Program Construction | Hunter DeMeyer | 27m |
Library called WasML encodes WebAssembly stack inputs and outputs and locals as OCaml GADTs so illegal wasm programs are rejected at OCaml compile time, not… | ||
| Taming the Flat Float Array Optimization: Tracking Separability in the Type System | Diana Kalinichenko, Richard A. Eisenberg | 30m |
Extends the type/kind system to track three-valued separability axis so the compiler knows whether a type is definitely non-float, definitely float, or… | ||
| Toward a More Secure OCaml Ecosystem | Maksim Grankin | 22m |
OCaml Software Foundation launches an OCaml Security Team that coordinates response to high‑impact vulnerabilities, maintains an advisory DB in OSV-format… | ||
| How the OCaml Community Established Its Code of Conduct | Sudha Parimala | 25m |
Open-source OCaml adds a formal Code of Conduct added in 2022 after a multi-year effort starting around 2017: a volunteer adjudication team (five then six… | ||
| A Mechanically Verified Garbage Collector for OCaml | Sheera Shamsu, Dipesh Kafle, Dhruv Maroo, Kartik Nagar, Karthikeyan Bhargavan, KC Sivaramakrishnan | 28m |
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… | ||
| A New Era of OCaml Editing: Powered by Merlin, Delivered via LSP | Xavier Van de Woestyne, Sonja Heinze, Ulysse Gérard, Muluh Godson | 32m |
Merlin splits into Merlin Lib (compiler-facing core) and an LSP server so editors get completion, diagnostics and navigation without 1000 plugins while legacy… | ||
| Three steps for OCaml to crest the AI humps | Sadiq Jaffer, Jonathan Ludlam, Ryan T. Gibb, Thomas Gazagnaire, Anil Madhavapeddy | 25m |
OCaml appears in only 0.003% in Stack v2, causing ~5x worse agent performance versus Python on some tasks; local 32B models like Qwen 3 approaching Claude… | ||
| nothing matches | ||