Provably Correct Peephole Optimizations With Alive (pldi'15)
Synopsis
Video abstract for our PLDI 2015 paper. Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research).
You Might Also Like
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| Ssvid |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.