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