PLDI 2019 - PLDI Tutorials

About
Program

The following tutorials will be co-located with PLDI:

(SafeAsync) Safe Asynchronous Programming: Methodology, Language, and Tools
(DAWW) Dynamically Analyzing WebAssembly with Wasabi
(V8) Using V8 as a Research Platform
(DPAQL) Declarative Program Analysis with QL
(PPET) Probabilistic Programming using Edward/TensorFlow
(DRLT) Deep Reinforcement Learning using TensorFlow

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

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 22 Jun
Displayed time zone: Tijuana, Baja California change

08:00 - 09:00	BreakfastCatering at 301 Foyer

08:00 60m Other		Breakfast Catering

09:00 - 11:00	PPETPLDI Tutorials at 212B

09:00 2h Tutorial		Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi

09:00 - 11:00	DPAQLPLDI Tutorials at 212C

09:00 2h Tutorial		Declarative Program Analysis With QL PLDI Tutorials Max Schaefer GitHub, Aditya Sharad Semmle

11:00 - 11:20	Coffee BreakCatering at 301 Foyer

11:00 20m Coffee break		Break Catering

11:20 - 12:30	PPETPLDI Tutorials at 212B

11:20 70m Tutorial		Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi

11:20 - 12:30	DPAQLPLDI Tutorials at 212C

11:20 70m Tutorial		Declarative Program Analysis With QL PLDI Tutorials Max Schaefer GitHub, Aditya Sharad Semmle

	12:30 - 14:00	LunchCatering at 301A

14:00 - 15:30	DRLTPLDI Tutorials at 212B

14:00 90m Tutorial		Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi

14:00 - 15:30	V8PLDI Tutorials at 212C

14:00 90m Tutorial		Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google

	15:30 - 16:00	Coffee BreakCatering at 301 Foyer

16:00 - 17:30	DRLTPLDI Tutorials at 212B

16:00 90m Tutorial		Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita Kapoor University of Delhi, Delhi

16:00 - 17:35	V8PLDI Tutorials at 212C

16:00 1h35m Tutorial		Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve Blackburn Australian National University , O: Ulan Degenbaev Google, O: Hannes Payer Google

Sun 23 Jun
Displayed time zone: Tijuana, Baja California change

	08:00 - 09:00	BreakfastCatering at 301 Foyer

09:00 - 11:00	Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C

09:00 2h Tutorial		Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials Michael Pradel TU Darmstadt and Facebook, Daniel Lehmann TU Darmstadt

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:00 - 11:20	Coffee BreakCatering at 301 Foyer

11:20 - 12:30	Dynamically Analyzing WebAssembly with WasabiPLDI Tutorials at 105C

11:20 70m Tutorial		Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials Michael Pradel TU Darmstadt and Facebook, Daniel Lehmann TU Darmstadt

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

	12:30 - 14:00	LunchCatering at 301A

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

	15:30 - 16:00	Coffee BreakCatering at 301 Foyer

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

PLDI Tutorials

Sat 22 Jun
Displayed time zone: Tijuana, Baja California change

Sun 23 Jun
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Program Display Configuration

Sat 22 JunDisplayed time zone: Tijuana, Baja California change

Sun 23 JunDisplayed time zone: Tijuana, Baja California change

Sat 22 Jun
Displayed time zone: Tijuana, Baja California change

Sun 23 Jun
Displayed time zone: Tijuana, Baja California change