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
Sat 22 Jun Times are displayed in time zone: Tijuana, Baja California change
Sat 22 Jun
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 11:00 Tutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
09:00 - 11:00 Tutorial | Declarative Program Analysis With QL PLDI Tutorials |
11:20 - 12:30 Tutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
11:20 - 12:30 Tutorial | Declarative Program Analysis With QL PLDI Tutorials |
14:00 - 15:30 Tutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
14:00 - 15:30 Tutorial | Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials |
16:00 - 17:30 Tutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
16:00 - 17:35 Tutorial | Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials |
Sun 23 Jun Times are displayed in time zone: Tijuana, Baja California change
Sun 23 Jun
Times are displayed in time zone: Tijuana, Baja California change
09:00 - 11:00 Tutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials |
09:00 - 10:00 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 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:20 - 12:30 Tutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials |
11:20 - 12:30 Tutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook |
14:00 - 15:30 Tutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook |
16:00 - 17:30 Tutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook |