PNW PLSE Workshop: Project Everest: Theory meets Reality

Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=inJaA859m-Q



Duration: 32:32
1,248 views
12


The PNW PLSE workshop provides an opportunity for programming languages and software engineering researchers throughout the Pacific Northwest to meet, interact, and share work in progress as well as recent results. The meeting on May 14, 2018 at the Microsoft Research campus in Redmond, WA, will feature talks and demonstrations of current projects, provide opportunities to get feedback on exciting new projects, and generally foster connections that strengthen our vibrant research community in the region.

For more info please visit http://pnwplse.org/

Talk Title: Project Everest: Theory meets Reality
Speaker: Jonathan Protzenko

See more at https://www.microsoft.com/en-us/research/video/pnw-plse-workshop-project-everest-theory-meets-reality/




Other Videos By Microsoft Research


2018-06-26Getting Virtual with Dr. Mar Gonzalez Franco
2018-06-26Visualizing Data and Other Big Ideas with Dr. Steven Drucker
2018-06-26How Programming Languages Quietly Run the World with Dr. Ben Zorn
2018-06-26Functional Programming Languages and the Pursuit of Laziness with Dr. Simon Peyton Jones
2018-06-26The future is quantum with Dr. Krysta Svore
2018-06-26Life at the Intersection of AI and Society with Dr. Ece Kamar
2018-06-26Living, Learning and Creating with Social Robots
2018-06-25LiveHardware Development at UCSC
2018-06-25Learning Models of Language, Action and Perception for Human-Robot Collaboration
2018-06-24PNW PLSE Workshop: Featured Talk: Continuously Integrated Verified Cryptography
2018-06-24PNW PLSE Workshop: Project Everest: Theory meets Reality
2018-06-24PNW PLSE Workshop: Welcome and Introductions
2018-06-20Found in Translation: Achieving Human Parity on Chinese to English News Translation
2018-06-20From Algorithms to Application Impact at Pacific Northwest National Lab (PNNL)
2018-06-13Harry Shum Speaks at the 2018 Allen School of Computer Science & Engineering Graduation
2018-06-13Teaching Computers to See with Dr. Gang Hua
2018-06-13Ethics and Diversity in AI
2018-06-13Mobile Sharing and Companion Experiences for Microsoft Teams Meetings
2018-06-13Mobile Sharing and Companion Experiences for Microsoft Teams Meetings (Audio Description)
2018-06-11On Intrinsic Rewards and Continual Learning
2018-06-11Differential Privacy for Growing Databases



Tags:
microsoft research