Flambda 2 Types: An Abstract Domain for Static Analysis of Functional Programs

Explore an in-depth overview of the abstract domains driving the Flambda 2 optimizer for OCaml programs in this 29-minute conference talk from ACM SIGPLAN's ML'23 event. Delve into the forward value analysis known as Flambda 2 Types, presented through the lens of abstract interpretation. Learn how this static analysis technique identifies optimization opportunities in functional programming. Join speakers Vincent Laviron, Pierre Chambart, and Mark Shinwell as they explain the intricacies of this abstract domain and its role in enhancing OCaml program performance.

[ML'23] Flambda 2 Types: An abstract domain for static analysis of functional programs (mo...