Uploaded November 2025 | Updated September 2026, 2 weeks ago

---

2025 US LLVM Developers' Meeting

llvm.org/devmtg/2025-10

------

Title: Synthesizing Practical Transfer Functions in Data-flow Analysis

Speaker: Yuyou Fan

------

Slides: llvm.org/devmtg/2025-10/slides/technical_talks/fan.pdf

-----

Data-flow analysis is a key component of many compiler optimizations. In this talk, we will discuss the challenges of synthesizing practical transfer functions in data-flow analysis. We will present a new approach to synthesizing transfer functions, and we will show how it can be used to improve the quality of data-flow analysis in LLVM. We will also discuss how this work can be generalized to other compilers, and how it can be used to improve the quality of compiler optimizations.

-----

Videos Edited by Bash Films: BashFilms.com