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
-
-
-
-
-
Episode 4: A distribution channel for AI innovation
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 5: Breakthroughs in AI
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 6: Healthcare Agent Orchestrator
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
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
