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

Sat 22 Jun

pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - DPAQL at 212C
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - PPET at 212B
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - DPAQL at 212C
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - PPET at 212B
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - DRLT at 212B
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - V8 at 212C
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Steve BlackburnAustralian National University , Ulan DegenbaevGoogle, Hannes PayerGoogle
pldi-2019-PLDI-Tutorials
16:00 - 17:30: PLDI Tutorials - DRLT at 212B
pldi-2019-PLDI-Tutorials16:00 - 17:30
Tutorial
Dr Amita KapoorUniversity of Delhi, Delhi
pldi-2019-PLDI-Tutorials
16:00 - 17:35: PLDI Tutorials - V8 at 212C
pldi-2019-PLDI-Tutorials16:00 - 17:35
Tutorial
Steve BlackburnAustralian National University , Ulan DegenbaevGoogle, Hannes PayerGoogle

Sun 23 Jun

pldi-2019-PLDI-Tutorials
09:00 - 11:00: PLDI Tutorials - Dynamically Analyzing WebAssembly with Wasabi at 105C
pldi-2019-PLDI-Tutorials09:00 - 11:00
Tutorial
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
pldi-2019-PLDI-Tutorials
09:00 - 10:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials09:00 - 10:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
10:00 - 11:00: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials10:00 - 11:00
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - Dynamically Analyzing WebAssembly with Wasabi at 105C
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Michael PradelTU Darmstadt and Facebook, Daniel LehmannTU Darmstadt
pldi-2019-PLDI-Tutorials
11:20 - 12:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials11:20 - 12:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
14:00 - 15:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials14:00 - 15:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook
pldi-2019-PLDI-Tutorials
16:00 - 17:30: PLDI Tutorials - SafeAsync at 212A
pldi-2019-PLDI-Tutorials16:00 - 17:30
Tutorial
Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook