PLDI will host five tutorials (more details will be posted soon):

  • T1 (Mon AM): Debugging and Profiling Task Parallel Programs with TASKPROF
  • T2 (Mon PM): Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
  • T3 (Tue AM): Declarative Program Analysis with QL
  • T4 (Tue all-day): Static Analysis for C++ with Phasar
  • T5 (Tue PM): Verified Low-Level Programming in F*

Tutorials

Title

Mon 18 Jun

pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152930520000009:00 - 10:30
Other
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152931240000011:00 - 12:15
Other
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152932320000014:00 - 15:40
Other
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152933100000016:10 - 17:35
Other

Tue 19 Jun

pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152939160000009:00 - 10:30
Other
pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C
pldi-2018-PLDI-Tutorials152939160000009:00 - 10:30
Other
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152939880000011:00 - 12:15
Other
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C
pldi-2018-PLDI-Tutorials152939880000011:00 - 12:15
Other
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C
pldi-2018-PLDI-Tutorials152940960000014:00 - 15:40
Other
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152940960000014:00 - 15:40
Other
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Static Analysis for C++ with Phasar at Discovery C
pldi-2018-PLDI-Tutorials152941740000016:10 - 17:35
Other
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Columbus Ballroom B
pldi-2018-PLDI-Tutorials152941740000016:10 - 17:35
Other