Safe Asynchronous Programming: Methodology, Language, and Tools (PLDI 2019 - PLDI Tutorials) - PLDI 2019

Sat 22 - Wed 26 June 2019 Phoenix, Arizona, United States

Who

Pantazis Deligiannis, Ankush Desai, Akash Lal, Shaz Qadeer

Track

PLDI 2019 PLDI Tutorials

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

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

Abstract

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/.

Pantazis Deligiannis

Microsoft Research

United Kingdom

Ankush Desai

University of California, Berkeley

Akash Lal

Microsoft Research India

India

Shaz Qadeer

Facebook

United States

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Sun 23 Jun
Displayed 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 Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook

	10:00 - 11:00	SafeAsyncPLDI Tutorials at 212A

	10:00 60m Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook

	11:20 - 12:30	SafeAsyncPLDI Tutorials at 212A

	11:20 70m Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook

	14:00 - 15:30	SafeAsyncPLDI Tutorials at 212A

	14:00 90m Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook

	16:00 - 17:30	SafeAsyncPLDI Tutorials at 212A

	16:00 90m Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis Deligiannis Microsoft Research, Ankush Desai University of California, Berkeley, Akash Lal Microsoft Research India, Shaz Qadeer Facebook