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

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
09:00
2h
Tutorial
Probabilistic Programming using Edward/TensorFlow
PLDI Tutorials
Dr Amita Kapoor University 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 Kapoor University 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 Kapoor University 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 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
16:00
90m
Tutorial
Deep Reinforcement Learning using TensorFlow
PLDI Tutorials
Dr Amita Kapoor University 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 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