2025-07-23 –, Main Room 1 (Main stage)
With Julia 1.12, experimental support for statically compiled executables is here, but for many the --trim feature is still a mystery. How does it work? What are its limitations? What might it look like in the future?
To answer those questions, we'll dive deep into specialized inference support, challenging language semantics, and sharp corners in workflows today. Looking to the future, we'll talk about the tooling we might need to make --trim accessible for everyday Julia programmers.
This talk will discuss the development of --trim support since last year's "New Ways to Compile Julia". We'll highlight the semantic challenges that make this problem difficult, and we'll show how this differs from a workflow like GPUCompiler / MCUCompiler.
The tooling ecosystem for --trim is still in its infancy, so we'll also talk about what tools we think would help users write programs directly targeting statically-compiled executables.
Co-creator of the Julia language and co-founder of JuliaHub, Inc.
A compiler engineer at JuliaHub.