Compiling with Abstract Interpretation

Explore a groundbreaking approach to compiler design in this 18-minute video presentation from PLDI 2024. Delve into the integration of abstract interpretation and program transformation techniques, demonstrating how abstract interpreters can be transformed into compilers using a free algebra over abstract domains. Learn how functor domains correspond to compiler passes, with soundness and completeness translated to forward and backward simulations. Discover the benefits of incorporating SSA translation into abstract interpreters, including improved precision and the ability to recover from precision losses in low-level machine code analysis. Gain insights into implementing analyses and compilation passes where symbolic and semantic methods simultaneously refine each other, offering enhanced precision compared to sequential approaches.

[PLDI24] Compiling with Abstract Interpretation