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

pldi-2019-PLDI-Tutorials
09:00 - 10:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials09:00 - 10:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
10:00 - 11:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials10:00 - 11:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
16:00 - 17:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials16:00 - 17:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook