Provably Correct Peephole Optimizations with Alive (PLDI '15)

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=INYEaRyj7Ew


Duration: 1:00
1,317 views
16

Video abstract for PLDI 2015 paper.
Produced by Neeltje Berger and Natalya Butterworth (Microsoft Research).



Other Videos By Microsoft Research


2017-06-28Video Abstract: Bing Visual Search
2017-06-28Video Abstract: Zo AI
2017-06-28Video Abstract: Project Malmo – Experimentation Platform for the Next Generation of AI Research
2017-06-26A Generic Framework for Mining Top-k Representative Subgraph Patterns
2017-06-26Network Pricing: How to Induce Optimal Flows Under Strategic Link Operators
2017-06-22Video Abstract: InstaFact—Bringing Knowledge to Office Apps
2017-06-22Video Abstract: Custom Vision Service
2017-06-22Video Abstract: Microsoft Translator live
2017-06-22Video Abstract: Customizing Speech Recognition for Higher Accuracy Transcriptions
2017-06-21Video Abstract: Private AI
2017-06-19Provably Correct Peephole Optimizations with Alive (PLDI '15)
2017-06-15Video Abstract: Towards Socio-Culturally Aware AI
2017-06-15Video Abstract: Challenges and Opportunities in Human-Machine Partnership
2017-06-15Video Abstract: Transforming Machine Learning and Optimization through Quantum Computing
2017-06-15Video Abstract: AI and Security
2017-06-15Video Abstract: Microsoft Cognitive Toolkit (CNTK) for Deep Learning
2017-06-15Video Abstract: AI for Earth
2017-06-15Video Abstract: Provable Algorithms for ML/AI problems
2017-06-15Video Abstract: Learnings from Human Perception
2017-06-15Video Abstract: From Visual Sensing to Visual Intelligence
2017-06-15Video Abstract: Conversational Systems in the Era of Deep Learning and Big Data


Tags:
microsoft research