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
Times are displayed in time zone: Tijuana, Baja California change

	08:00 - 09:00: BreakfastCatering at 301 Foyer

	08:00 - 09:00 Other		Breakfast Catering

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

	09:00 - 11:00 Tutorial		Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi

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

	09:00 - 11:00 Tutorial		Declarative Program Analysis With QL PLDI Tutorials Max SchaeferGitHub, Aditya SharadSemmle

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

	11:00 - 11:20 Coffee break		Break Catering

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

	11:20 - 12:30 Tutorial		Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi

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

	11:20 - 12:30 Tutorial		Declarative Program Analysis With QL PLDI Tutorials Max SchaeferGitHub, Aditya SharadSemmle

	12:30 - 14:00: LunchCatering at 301A

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

	14:00 - 15:30 Tutorial		Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi

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

	14:00 - 15:30 Tutorial		Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle

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

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

	16:00 - 17:30 Tutorial		Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi

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

	16:00 - 17:35 Tutorial		Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials O: Steve BlackburnAustralian National University , O: Ulan DegenbaevGoogle, O: Hannes PayerGoogle

Sun 23 Jun
Times are displayed in 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 - 11:00 Tutorial		Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt

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

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

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

	11:20 - 12:30 Tutorial		Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt

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

	11:20 - 12:30 Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook

	12:30 - 14:00: LunchCatering at 301A

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

	14:00 - 15:30 Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook

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

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

	16:00 - 17:30 Tutorial		Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook

PLDI Tutorials

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

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

Tracks

Co-hosted Conferences

Workshops

PLDI Tutorials

Program Display Configuration

Sat 22 Jun Times are displayed in time zone: Tijuana, Baja California change

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

Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change

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