Verified Peephole Optimization for CompCert

Name: Verified Peephole Optimization for CompCert
Uploaded: Jun 23, 2016
Duration: 1584 s
Description: Eric Mullen's talk from PLDI 2016 Authors: Eric Mullen, Daryl Zuniga, Zach Tatlock, Dan Grossman

UW PLSE151 subscribers

391 views

Jun 23, 2016

26:24

Eric Mullen's talk from PLDI 2016 Authors: Eric Mullen, Daryl Zuniga, Zach Tatlock, Dan Grossman

Download

0 formats

No download links available.