Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Watch this 25-minute conference talk from PriSC 2025 that presents a semantic approach to robust property preservation in compiler security. Learn how researchers Niklas Mück, Michael Sammler, Aina Linn Georges, Derek Dreyer, and Deepak Garg from MPI-SWS and Institute of Science and Technology Austria address key challenges in compiler security. The presentation tackles two main problems: how undefined behavior in language definitions trivializes robust properties, and the difficulty of proving preservation through syntactic backtranslation. Discover their innovative semantic solution built on the DimSum framework for multi-language reasoning, which simplifies the process by reducing robust property preservation to a combination of standard compiler correctness and semantic domain backtranslation. This ACM SIGPLAN-sponsored talk was presented at the PriSC 2025 workshop on January 19, 2025.
