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
-
-
-
-
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
-
-
Making Sentence Embeddings Robust to User-Generated Content
- Lydia Nishimwe
