Safe Asynchronous Programming: Methodology, Language, and Tools
We will present a full-day tutorial on the P framework for programming safe asynchronous systems, such as device drivers , distributed systems [1, 2, 5], and autonomous robotics . 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
|09:00 - 10:00|
|10:00 - 11:00|
|11:20 - 12:30|
|14:00 - 15:30|