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
PLDI Tutorials
PLDI Tutorials
PLDI Tutorials
PLDI Tutorials
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 - 10:30
Other
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 - 12:15
Other
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 - 15:40
Other
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 - 17:35
Other
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 - 10:30
Other
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 - 10:30
Other
PLDI Tutorials
11:00 - 12:15: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
11:00 - 12:15
Other
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 - 12:15
Other
PLDI Tutorials
14:00 - 15:40: Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
14:00 - 15:40
Other
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 - 15:40
Other
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 - 17:35
Other
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 - 17:35
Other
PLDI Tutorials
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.