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
Times are displayed in 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 NagarakatteRutgers University, USA, Adarsh YogaRutgers 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 NagarakatteRutgers University, USA, Adarsh YogaRutgers 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 ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice 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 ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University

Tue 19 Jun
Times are displayed in 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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity 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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity 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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity 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 ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft 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 BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity 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 ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.