Sun 23 Jun 2019 11:20 - 12:30 at 212A - SafeAsync
Sun 23 Jun 2019 16:00 - 17:30 at 212A - SafeAsync
Sun 23 Jun 2019 14:00 - 15:30 at 212A - SafeAsync
Sun 23 Jun 2019 10:00 - 11:00 at 212A - SafeAsync
Sun 23 Jun 2019 09:00 - 10:00 at 212A - SafeAsync

We will present a full-day tutorial on the P framework for programming safe asynchronous systems, such as device drivers [8], distributed systems [1, 2, 5], and autonomous robotics [3]. The methodology and tools have been used extensively in Microsoft for shipping Windows device drivers and Azure cloud services.

For more information, please refer to https://p-org.github.io/plditutorial/.

Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00
SafeAsyncPLDI Tutorials at 212A
09:00
60m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
10:00 - 11:00
SafeAsyncPLDI Tutorials at 212A
10:00
60m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
11:20 - 12:30
SafeAsyncPLDI Tutorials at 212A
11:20
70m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
14:00 - 15:30
SafeAsyncPLDI Tutorials at 212A
14:00
90m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
16:00 - 17:30
SafeAsyncPLDI Tutorials at 212A
16:00
90m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook