Who
Track
When
Abstract
Flambda 2 is an IR and optimisation pass for OCaml centred around inlining. We discuss the engineering constraints that shaped it and the overall structure that allows the compiler to be fast enough to handle very large industrial code bases.
File attachments
Session Program
11:00 - 12:30 | Session 2OCaml at Grand Crescent | ||
11:00 22m Talk | Efficient OCaml compilation with Flambda 2 OCaml Pierre Chambart OCamlPRO, Vincent LAVIRON OCamlPro, Mark Shinwell Jane Street | ||
11:22 22m Talk | Less Power for More Learning: Restricting OCaml Features for Effective TeachingRemote OCaml Max Lang Technische Universität München, Nico Petzendorfer Department of Computer Science, Technische Universität München, Garching, Germany File Attached | ||
11:45 22m Talk | Osiris: an Iris-based program logic for OCamlRemote OCaml Arnaud Daby-Seesaram ENS Paris Saclay, François Pottier Inria, Armaël Guéneau Inria | ||
12:07 22m Talk | Safe and efficient generic functions with MacoCaml OCaml Dmitrij Szamozvancev University of Cambridge, Leo White Jane Street, Ningning Xie University of Toronto, Jeremy Yallop University of Cambridge | ||