ICFP 2024 (series) / OCaml 2024 (series) /
OCaml 2024 Program
This is the OCaml 2024 program - see the full program for ICFP 2024 and all affiliated events.
Filter Program
Dates
Sat 7 Sep 2024
Rooms
Orange 2
Tracks
OCaml
Badges
in-person
remote
Your Program
Nothing to filter
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | OCaml compiler features and optimizationsOCaml at Orange 2 Chair(s): Stephen Dolan Jane Street Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
09:00 22mTalk | On the design and implementation of Modular Explicitsin-person OCaml File Attached | ||
09:22 22mTalk | Flambda2 Validatorin-person OCaml File Attached | ||
09:45 22mTalk | A Non-allocating Optionin-person OCaml Richard A. Eisenberg Jane Street File Attached | ||
10:07 22mTalk | Mixed Blocks: Storing More Fields Flatin-person OCaml Nicholas Roberts Jane Street File Attached | ||
11:00 - 12:30 | OCaml developer experienceOCaml at Orange 2 Chair(s): Gabriel Radanne Inria Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
11:00 22mTalk | Structured diagnostics for the OCaml compilerin-person OCaml Florian Angeletti Inria File Attached | ||
11:22 22mTalk | Project-wide occurrences for OCaml, a progress reportin-person OCaml Ulysse Gérard Tarides File Attached | ||
11:45 22mTalk | Mica: Automated Differential Testing for OCaml Modulesin-person OCaml Ernest Ng Cornell University, Harrison Goldstein University of Maryland College Park, Benjamin C. Pierce University of Pennsylvania Pre-print File Attached | ||
12:07 22mTalk | First-Class Windows: Building a Roadmap for OCaml on Windowsin-person OCaml File Attached | ||
14:00 - 15:30 | OCaml 5: progress in the multicore worldOCaml at Orange 2 Chair(s): Ambre Austen Suhamy Tarides Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
14:00 22mTalk | Picos — Interoperable effects based concurrencyin-person OCaml Vesa Karvonen Tarides File Attached | ||
14:22 22mTalk | Distributed Actors in OCamlremote OCaml Wenke DU LIP ENS Lyon, Gabriel Radanne Inria, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP File Attached | ||
14:45 22mTalk | Priodomainslib: Prioritized Fine-grained Parallelism for Multicore OCamlin-person OCaml Stefan K. Muller Illinois Institute of Technology File Attached | ||
15:07 22mTalk | Saturn: a library of verified concurrent data structures for OCaml 5in-person OCaml File Attached | ||
16:00 - 17:30 | OCaml ecosystem and applicationsOCaml at Orange 2 Chair(s): Pierre Chambart OCamlPRO Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
16:00 22mTalk | Opam 2.2 and beyondin-person OCaml Raja Boujbel OCamlPro, Kate Deplaix Consultant for the OCaml Software Foundation and Ahrefs, David Allsopp Tarides File Attached | ||
16:22 22mTalk | Recursion schemes in OCaml: An experience reportin-person OCaml Tim Williams Bloomberg File Attached | ||
16:45 22mTalk | ChorCaml: Functional Choreographic Programming in OCamlremote OCaml Rokas Urbonas University of Cambridge File Attached | ||
17:07 22mTalk | B · o · B, a universal & secure file-transfer software in OCamlin-person OCaml Romain Calascibetta robur.coop File Attached | ||