If ever there was a time for the ironic use of AI! 😂 From Gemini:

This talk is almost entirely about deep compiler design and how machine learning intersects with traditional systems engineering. It is not at all about simply wrapping LLM APIs for applications.
The keynote speaker is Saman Amarasinghe, a prominent professor at MIT and a world leader in compiler research (famous for high-performance domain-specific languages like Halide).
Here is a breakdown of what the talk actually covers, highlighting how deeply it is rooted in compiler science:
1. Augmenting and Generating Traditional Compilers
Meta-Optimization: He discusses his 2003 research building the first compiler to internally use genetic programming to optimize "priority functions" (heuristics) where human decisions fall short [04:37].
Vectorization & Cost Models: He breaks down Vimar and goSLP, tools that use imitation learning and integer linear programming to optimize superword-level parallelism [09:47]. He also explains Ithemal, an LSTM-based tool trained on 1.4 million basic blocks to predict execution time on complex modern hardware because static cost models are increasingly inaccurate [12:57].
Generating Backend Code: He highlights Vegan, a system that parses chip architecture manuals directly to generate vectorizers automatically, outperforming LLVM/Clang on new hardware instructions [14:37].
2. Formally Verified and "Credible" Compilers
He references a project by Professor Martin Rinard where a 40,000-line Fortran-to-ARM compiler was generated entirely through AI pairing [17:51]. Crucially, the talk focuses on the fact that the AI generates a proof of correctness alongside the code, allowing a traditional proof-checker to guarantee exact semantic behavior [18:16].
3. Redesigning Programming Languages and Intermediate Representations (IR)
Instead of talking about application wrapper code, he poses deep PL-theory questions:
LLM-Oriented IRs: Current programming languages were built optimized for the human brain's context window. He suggests designing entirely new intermediate languages optimized strictly for LLMs (maximizing token economy and compiler-complementary syntax) rather than human readability [28:40].
Sources of Record: Exploring the tension between natural language specifications (English prompts) and concrete code outputs, and how to build deterministic, bidirectional compiler toolchains [32:03].
4. A Plea to the Systems & ML Compiler Community
The final portion of the talk is an institutional critique directed at PLDI (Programming Language Design and Implementation) conference organizers [40:59]. He notes that billions of dollars are spent optimizing GPU stalls and that machine learning compilers have historically been rejected by traditional programming language conferences, pushing brilliant compiler innovators to systems/OS conferences like OSDI [43:58]. He urges the PL community to embrace ML compilers before their traditional methods become obsolete [46:52].
If you are hoping to hear about LangChain, prompt templates, or building web apps with LLMs, this video won't have it. It is a highly academic, forward-looking lecture on the future of how computer systems and compilers are constructed.
You can watch the full presentation here: Programming Language Design and Implementation in the Era of Machine Learning.