ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 16:00 - 16:30 at Grand Crescent - ML Workshop: Session 4 Chair(s): Oleg Kiselyov

In this talk, we will present an overview of the abstract domains that drive the Flambda 2 optimizer for OCaml programs. Like most optimizing compilers, Flambda 2 relies on static analysis to find optimization opportunities. There are several different analyses that are actually performed, here we will focus on a forward value analysis that we call Flambda 2 Types. Despite its name, it fits quite well the definition of an abstract domain (in the sense of abstract interpretation), and it is through that angle that we will introduce it.

Fri 8 Sep

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