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 1: Tackling complex healthcare challenges
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 2: A multi-disciplinary approach
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 4: A distribution channel for AI innovation
- 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
-
-
Making Sentence Embeddings Robust to User-Generated Content
- Lydia Nishimwe
