[oopsla24] Hydra: Generalizing Peephole Optimizations With Program Synthesis

2026 18:52
Synopsis
Hydra: Generalizing Peephole Optimizations with Program Synthesis (Video, OOPSLA 2024) Manasij Mukherjee and John ...

You Might Also Like

Compiler Design Module 74.1 : Examples of Peephole Optimizations 18:30
Compiler Design Module 74.1 : Examples Of Peephole Optimizat...
2025
Provably Correct Peephole Optimizations with Alive (PLDI '15) 1:00
Provably Correct Peephole Optimizations With Alive (pldi '15...
2018
Peephole Optimizations 5:40
Peephole Optimizations
2022
Looking Into Peephole Optimizations by Maple Ong 28:14
Looking Into Peephole Optimizations By Maple Ong
2023
Compiler Design Module 74 : Peephole Optimizations 12:11
Compiler Design Module 74 : Peephole Optimizations
2021
Data-driven Process Optimization in Plastic Extrusion I Success Story iDOO x Hilscher 3:31
Data-driven Process Optimization In Plastic Extrusion I Succ...
2026
Verified Peephole Optimizations for CompCert - Eric Mullen 25:55
Verified Peephole Optimizations For Compcert - Eric Mullen
2017
2014 LLVM Developers’ Meeting: “Alive: Provably Correct InstCombine Optimizations” 40:19
2014 Llvm Developers’ Meeting: “alive: Provably Correct ...
2021
Verified Peephole Optimization for CompCert 26:24
Verified Peephole Optimization For Compcert
2017
2.14 - Python Optimizations Peephole 20:10
2.14 - Python Optimizations Peephole
2022
Build Qualtrics Skip Logic with AI 🤖 | Faster, Simpler Survey Programming | Pirai AI 0:34
Build Qualtrics Skip Logic With Ai 🤖 | Faster, Simpler Su...
2026
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
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.