David Menendez - Alive-infer: Data-driven Precondition Inference For Peephole Optimizations In Llvm

2018 27:58
Synopsis
Authors: David Menendez, Santosh Nagarakatte Title: ALIVE-INFER: Data-Driven Precondition Inference for Peephole ...

You Might Also Like

2014 LLVM Developers’ Meeting: “Alive: Provably Correct InstCombine Optimizations” 40:19
2014 Llvm Developers’ Meeting: “alive: Provably Correct ...
2021
How vLLM Became the Standard for Fast AI Inference | Simon Mo, Inferact 26:10
How Vllm Became The Standard For Fast Ai Inference | Simon M...
2026
Optimize LLM inference with vLLM 6:13
Optimize Llm Inference With Vllm
2026
How to Set Up and Use NVIDIA NemoClaw with MiniMax M2.7 | Demo 5:12
How To Set Up And Use Nvidia Nemoclaw With Minimax M2.7 | De...
2026
2023 LLVM Dev Mtg - Common facilities for ML-Guided Optimizations in LLVM 9:27
2023 Llvm Dev Mtg - Common Facilities For Ml-guided Optimiza...
2024
The Origin of LLVM 6:11
The Origin Of Llvm
2026
[Video Special] The Living Code: LLVM and the End of the Static Trap 5:20
[video Special] The Living Code: Llvm And The End Of The Sta...
2026
Diffusion LLMs are here... 1:18
Diffusion Llms Are Here...
2026
Provably Correct Peephole Optimizations with Alive (PLDI '15) 1:00
Provably Correct Peephole Optimizations With Alive (pldi '15...
2018
Build for Agents or Fall Behind 0:36
Build For Agents Or Fall Behind
2026
2024 LLVM Dev Mtg - A Beginners’ Guide to SelectionDAG 52:10
2024 Llvm Dev Mtg - A Beginners’ Guide To Selectiondag
2025
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.