Sun 18 Jun 2023 11:20 - 12:05 at Magnolia 5 - Infer: Session 2

Inlining heuristics in OCaml makes it harder to predict the performance of generated code, especially when compiling different compilation units at different optimization levels. This talk will go over the inlining heuristics used in Flambda2 and will present what we call “Inlining histories”, which are a way for users to visualize and understand the inlining decisions made by the compiler.

Sun 18 Jun

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

11:20 - 12:30
11:20
45m
Talk
Predictable inlining in OCaml
Infer
Pierre Oechsel Jane Street