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
Dates
Plenary
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
Catering
09:00 - 11:00: PPETPLDI Tutorials at 212B
09:00 - 11:00
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
09:00 - 11:00: DPAQLPLDI Tutorials at 212C
09:00 - 11:00
Tutorial
PLDI Tutorials
11:00 - 11:20: Coffee BreakCatering at 301 Foyer
11:00 - 11:20
Coffee break
Catering
11:20 - 12:30: PPETPLDI Tutorials at 212B
11:20 - 12:30
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
11:20 - 12:30: DPAQLPLDI Tutorials at 212C
11:20 - 12:30
Tutorial
PLDI Tutorials
12:30 - 14:00: LunchCatering at 301A
14:00 - 15:30: DRLTPLDI Tutorials at 212B
14:00 - 15:30
Tutorial
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
14:00 - 15:30: V8PLDI Tutorials at 212C
14:00 - 15:30
Tutorial
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
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
16:00 - 17:35: V8PLDI Tutorials at 212C
16:00 - 17:35
Tutorial
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
PLDI Tutorials
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
09:00 - 10:00: SafeAsyncPLDI Tutorials at 212A
09:00 - 10:00
Tutorial
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
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
PLDI Tutorials
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
11:20 - 12:30: SafeAsyncPLDI Tutorials at 212A
11:20 - 12:30
Tutorial
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
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
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook