ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Sat 9 Sep 2023 11:00 - 11:22 at Grand Crescent - Session 2 Chair(s): Chris Casinghino

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.

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

Sat 9 Sep

Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:30
Session 2OCaml at Grand Crescent
Chair(s): Chris Casinghino Jane Street
11:00
22m
Talk
Efficient OCaml compilation with Flambda 2
OCaml
Pierre Chambart OCamlPRO, Vincent LAVIRON OCamlPro, Mark Shinwell Jane Street
File Attached
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
File Attached
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
File Attached