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
60m
Other
Breakfast
Catering
09:00 - 11:00
09:00
2h
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
09:00 - 11:00
09:00
2h
Tutorial
Declarative Program Analysis With QL
PLDI Tutorials
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:00
20m
Coffee break
Break
Catering
11:20 - 12:30
11:20
70m
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
11:20 - 12:30
11:20
70m
Tutorial
Declarative Program Analysis With QL
PLDI Tutorials
12:30 - 14:00
LunchCatering at 301A
14:00 - 15:30
14:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
14:00 - 15:30
14:00
90m
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
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita KapoorUniversity of Delhi, Delhi
16:00 - 17:35
16:00
1h35m
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
2h
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
60m
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
60m
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
70m
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
70m
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
90m
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
90m
Tutorial
Safe Asynchronous Programming: Methodology, Language, and Tools
PLDI Tutorials
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook