PNW PLSE Workshop: Welcome and Introductions

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


Duration: 58:17
1,887 views
13

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/

Welcome and Introductions
Speakers: Ben Zorn, Tom Ball, and Zach Tatlock

Talk Title: Concerto: Towards a Framework for Combined Concrete and Abstract Interpretation
Speakers: John Toman and Dan Grossman

Talk Title: The Time for Proof Reuse is Now!
Speakers: Talia Ringer, Nathaniel Yazdani, John Leo, and Dan Grossman

Talk Title: Puddle: An OS for Reliable High-Level Programming of Digital Microfluidic Devices
Speakers: Max Willsey, Luis Ceze, and Karin Strauss

Talk Title: Inferring Likely Distributed System State Invariant
Speakers: Stewart Grant, and Ivan Beschastnikh

See more at https://www.microsoft.com/en-us/research/video/pnw-plse-workshop-welcome-introductions/



Other Videos By Microsoft Research


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
2018-06-11Why Aren't More Users More Happy With Our VMs?


Tags:
microsoft research