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 Innovation
pldi-2018-PLDI-Tutorials09:00 - 10:30
Other
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Debugging and Profiling Task Parallel Programs with TASKPROF at Innovation
pldi-2018-PLDI-Tutorials11:00 - 12:15
Other
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation
pldi-2018-PLDI-Tutorials14:00 - 15:40
Other
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis at Innovation
pldi-2018-PLDI-Tutorials16:10 - 17:35
Other
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University

Tue 19 Jun

pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials09:00 - 10:30
Other
pldi-2018-PLDI-Tutorials
09:00 - 10:30: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials09:00 - 10:30
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Declarative Program Analysis with QL at Discovery C
pldi-2018-PLDI-Tutorials11:00 - 12:15
Other
pldi-2018-PLDI-Tutorials
11:00 - 12:15: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials11:00 - 12:15
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials14:00 - 15:40
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-PLDI-Tutorials
14:00 - 15:40: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials14:00 - 15:40
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Static Analysis for C++ with Phasar at Admiral's Quarters
pldi-2018-PLDI-Tutorials16:10 - 17:35
Other
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
pldi-2018-PLDI-Tutorials
16:10 - 17:35: PLDI Tutorials - Verified Low-Level Programming in F* at Discovery C
pldi-2018-PLDI-Tutorials16:10 - 17:35
Other
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.