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
| 09:00 - 11:00 Tutorial | Dr Amita KapoorUniversity of Delhi, Delhi | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:30 Tutorial | Dr Amita KapoorUniversity of Delhi, Delhi | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Tutorial | Dr Amita KapoorUniversity of Delhi, Delhi | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:30 Tutorial | Dr Amita KapoorUniversity of Delhi, Delhi | |||||||||||||||||||||||||||||||||||||||||
Sun 23 Jun
| 09:00 - 10:00 Tutorial | Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook | |||||||||||||||||||||||||||||||||||||||||
| 10:00 - 11:00 Tutorial | Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook | |||||||||||||||||||||||||||||||||||||||||
| 11:20 - 12:30 Tutorial | Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook | |||||||||||||||||||||||||||||||||||||||||
| 14:00 - 15:30 Tutorial | Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 17:30 Tutorial | Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook | |||||||||||||||||||||||||||||||||||||||||