Efficient OCaml compilation with Flambda 2 (OCaml 2023 - OCaml Users and Developers Workshop 2023)

Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

Who

Pierre Chambart, Vincent LAVIRON, Mark Shinwell

Track

OCaml 2023

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 9 Sep 2023 11:00 - 11:22 at Grand Crescent - Session 2 Chair(s): Chris Casinghino

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

Slides (flambda2.pdf)	179KiB
(icfp23-ocaml-paper11.pdf)	114KiB

Pierre Chambart

OCamlPRO

Vincent LAVIRON

OCamlPro

Mark Shinwell

Jane Street