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
Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
PLDI Tutorials
Debugging and Profiling Task Parallel Programs with TASKPROF
PLDI Tutorials
Declarative Program Analysis with QL
PLDI Tutorials
Static Analysis for C++ with Phasar
PLDI Tutorials
Verified Low-Level Programming in F*
PLDI Tutorials
Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation
09:00
90m
Other
Debugging and Profiling Task Parallel Programs with TASKPROF
PLDI Tutorials
Santosh Nagarakatte Rutgers University, USA, Adarsh Yoga Rutgers University, USA
11:00 - 12:15
Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation
11:00
75m
Other
Debugging and Profiling Task Parallel Programs with TASKPROF
PLDI Tutorials
Santosh Nagarakatte Rutgers University, USA, Adarsh Yoga Rutgers University, USA
14:00 - 15:40
Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation
14:00
1h40m
Other
Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
PLDI Tutorials
Swarat Chaudhuri Rice University, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University
16:10 - 17:35
Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation
16:10
85m
Other
Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
PLDI Tutorials
Swarat Chaudhuri Rice University, Vijayaraghavan Murali Rice University, USA, Chris Jermaine Rice University

Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
09:00
90m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn
09:00 - 10:30
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
09:00
90m
Other
Declarative Program Analysis with QL
PLDI Tutorials
11:00 - 12:15
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
11:00
75m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn
11:00 - 12:15
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
11:00
75m
Other
Declarative Program Analysis with QL
PLDI Tutorials
14:00 - 15:40
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
14:00
1h40m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn
14:00 - 15:40
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
14:00
1h40m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.
16:10 - 17:35
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
16:10
85m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University, Ben Hermann University of Paderborn
16:10 - 17:35
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
16:10
85m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan Protzenko Microsoft Research, Redmond, Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, n.n.