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 | |||
09:00 2hTutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
09:00 - 11:00 | |||
09:00 2hTutorial | Declarative Program Analysis With QL PLDI Tutorials |
11:20 - 12:30 | |||
11:20 70mTutorial | Probabilistic Programming using Edward/TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
11:20 - 12:30 | |||
11:20 70mTutorial | Declarative Program Analysis With QL PLDI Tutorials |
14:00 - 15:30 | |||
14:00 90mTutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
14:00 - 15:30 | |||
14:00 90mTutorial | Using the V8 JavaScript Virtual Machine as a Research Platform PLDI Tutorials |
16:00 - 17:30 | |||
16:00 90mTutorial | Deep Reinforcement Learning using TensorFlow PLDI Tutorials Dr Amita KapoorUniversity of Delhi, Delhi |
16:00 - 17:35 | |||
16:00 1h35mTutorial | 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 | |||
09:00 2hTutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials |
09:00 - 10:00 | |||
09:00 60mTutorial | 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 | |||
10:00 60mTutorial | 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 | |||
11:20 70mTutorial | Dynamically Analyzing WebAssembly with Wasabi PLDI Tutorials |
11:20 - 12:30 | |||
11:20 70mTutorial | 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 | |||
14:00 90mTutorial | 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 | |||
16:00 90mTutorial | Safe Asynchronous Programming: Methodology, Language, and Tools PLDI Tutorials Pantazis DeligiannisMicrosoft Research, Ankush DesaiUniversity of California, Berkeley, Akash LalMicrosoft Research India, Shaz QadeerFacebook |