Media Summary: Eric Mullen's talk from PLDI 2016 Authors: Eric Mullen, Daryl Zuniga, Zach Tatlock, Dan Grossman. Portions of this recording have issues due to an unexpected hardware problem] This Talk: ... Video abstract for PLDI 2015 paper. Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research).
Verified Peephole Optimizations For Compcert - Detailed Analysis & Overview
Eric Mullen's talk from PLDI 2016 Authors: Eric Mullen, Daryl Zuniga, Zach Tatlock, Dan Grossman. Portions of this recording have issues due to an unexpected hardware problem] This Talk: ... Video abstract for PLDI 2015 paper. Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research). Presented by Remi Hutin Presented at PriSC'20, part of POPL 2020.
![[OOPSLA23] Formally Verifying Optimizations with Block Simulations](https://i.ytimg.com/vi/6asi8t0_L7A/mqdefault.jpg)
![[OOPSLA24] Hydra: Generalizing Peephole Optimizations with Program Synthesis](https://i.ytimg.com/vi/L8nljg85qKM/mqdefault.jpg)
