Provably Correct Peephole Optimizations with Alive (PLDI ’15)
- Neeltje Berger, Microsoft; Natalya Butterworth, Microsoft; Nuno Lopes, Microsoft
Video abstract for PLDI 2015 paper.
Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research).
-
-
Neeltje Berger
-
Natalya Butterworth
-
Nuno Lopes
Principal Researcher
-
-
Watch Next
-
Multimodal & Embodied Intelligence (S1), Panel on Multimodal AI: Progress, Pitfalls, Possibilities
- Madhava Krishna,
- Sriram Ganapathy,
- Somak Aditya
-
Session on Reasoning
- Hongxiang Fan,
- Nagarajan Natarajan
-
Session on Retrieval
- Lokesh Nagalapatti,
- Soumen Chakrabarti
-
-
-
-
-
Episode 7: The road ahead
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
