Can We Achieve Invalidation Freedom for Julia?

Explore the fundamental causes and potential solutions to Julia's invalidation problem in this 20-minute conference talk from JuliaCon Global 2025. Dive deep into understanding what invalidations are at the language and compiler level, examining how they transform fast code into mysteriously slow performance while wasting processor cycles on repeated JIT compilation. Learn about the types of code that create invalidations and discover what the compiler needs to know to avoid them entirely. Challenge conventional wisdom that attributes invalidation issues solely to type-piracy and poorly-inferred code by understanding how invalidations represent speculative optimization failures. Gain insights into the extensive developer time required to investigate these issues and explore comprehensive strategies for achieving "invalidation freedom" in Julia, including an analysis of what it would cost to solve this perennial performance problem once and for all.