Programming Devices and Services with P - Lecture 2

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


Duration: 1:21:34
378 views
4

P is a programming framework for design, implementation, and validation of event-driven asynchronous systems. The P language incorporates deep modeling and specification techniques into asynchronous programming. It allows the programmer to systematically test and debug their applications before deployment, thus preventing Heisenbugs that are extremely difficult to find and fix later. P is used in Microsoft products. The USB drivers shipped by Microsoft (Windows 8.1 onwards) have been written in P; these drivers run on hundreds of millions of devices. The design of P has also been implemented independently by engineers in Microsoft Office and Azure for components being written by their team. In Microsoft Azure, there are ongoing projects that are using P to implement services. Finally, researchers at Microsoft and UC Berkeley are exploiting P to build a reliable software stack for autonomous robots. My talk will provide an overview of the key ideas behind P and conclude with a discussion of open research problems.



Other Videos By Microsoft Research


2016-08-04Microsoft Azure Storage: Blobs and Tables
2016-08-04Microsoft Azure Storage
2016-08-04Stroke recovery gets a boost from Kinect
2016-08-04Cambridge lab overview with Chris Bishop
2016-08-04Nanotechnology Assay Development for Environmental and Medical Applications
2016-08-04An Experimental Study on Energy Efficiency in the Industrial Internet of Things
2016-08-04Learning Invariant Feature Points
2016-08-04Faculty Summit 2016 - Machine Reading for Science and Society
2016-08-04Cyber Physical Systems over IoT: Inference and Control over Resource Challenged Wireless Networks
2016-08-04Faculty Summit 2016 - Computing with exotic technologies and platforms
2016-08-01Programming Devices and Services with P - Lecture 2
2016-07-28Quantum Computation for Quantum Chemistry: Status, Challenges, and Prospects - Session 3
2016-07-28Asymptotic behavior of the Cheeger constant of super-critical percolation in the square lattice
2016-07-28Recovering Washington’s Wolves & Preserving the Critical Link
2016-07-28The similarity distance on graphs and graphons
2016-07-28Neural Acceleration for General-Purpose Approximate Programs
2016-07-28Snow Hydrology at the Scale of Mountain Ranges
2016-07-28Vote Privacy, Revisited: New Definitions, Tools and Constructions
2016-07-28Dispelling an Old Myth about an Ancient Algorithm
2016-07-28Behavior Based Authentication using Gestures and Signatures
2016-07-28Approximating the Expansion Profile and Almost Optimal Local Graph Clustering


Tags:
microsoft research