Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain
co-located with PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM (series) / PLDI 2017 (series) /

PLDI 2017 PLDI Tutorials

PLDI hosts multiple tutorials on diverse subjects related to compilation and programming language design. Click on the events below for more information.

Tutorials and Hackathons

Title
Sukyoung Ryu, Alexander Jordan, Dongsun Kim
Dino Distefano, Peter O'Hearn, Sam Blackshear
Bernhard Scholz, Herbert Jordan, Pavle Subotic
Christian Wimmer
Nate Foster, Cole Schlesinger, Calin Cascaval
Tobias Grosser, Oleksandr Zinenko
Niki Vazou, Nadia Polikarpova, Ranjit Jhala
Media Attached
Tiark Rompf, Kunle Olukotun, Markus Püschel
Julian Dolby, Karim Ali
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
Link to publication

Sun 18 Jun

pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
Nate Foster, Cole Schlesinger, Calin Cascaval
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
Nate Foster, Cole Schlesinger, Calin Cascaval
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
Sukyoung Ryu, Alexander Jordan, Dongsun Kim
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other
Sukyoung Ryu, Alexander Jordan, Dongsun Kim

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Dino Distefano, Peter O'Hearn, Sam Blackshear
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Niki Vazou, Nadia Polikarpova, Ranjit Jhala
Media Attached
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - WALA Hack-A-Thon at Vertex WS218
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Julian Dolby, Karim Ali
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Dino Distefano, Peter O'Hearn, Sam Blackshear
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Niki Vazou, Nadia Polikarpova, Ranjit Jhala
Media Attached
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - WALA Hack-A-Thon (2) at Vertex WS218
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Julian Dolby, Karim Ali
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
Tobias Grosser, Oleksandr Zinenko
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - WALA Hack-A-Thon (3) at Vertex WS218
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
Julian Dolby, Karim Ali
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
Tobias Grosser, Oleksandr Zinenko
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - WALA Hack-A-Thon (4) at Vertex WS218
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
Julian Dolby, Karim Ali

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Bernhard Scholz, Herbert Jordan, Pavle Subotic
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages at Vertex WS208
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Christian Wimmer
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at Vertex WS216
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Tiark Rompf, Kunle Olukotun, Markus Püschel
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
Link to publication
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Bernhard Scholz, Herbert Jordan, Pavle Subotic
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages (cont'd) at Vertex WS208
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Christian Wimmer
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at Vertex WS216
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Tiark Rompf, Kunle Olukotun, Markus Püschel
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
Link to publication
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Bernhard Scholz, Herbert Jordan, Pavle Subotic
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Tiark Rompf, Kunle Olukotun, Markus Püschel
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
Link to publication
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Bernhard Scholz, Herbert Jordan, Pavle Subotic
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Tiark Rompf, Kunle Olukotun, Markus Püschel
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
Link to publication
Important Dates AoE (UTC-12h)
Mon 15 May 2017
Camera-ready deadline
Mon 30 Jan 2017
Late submission for unpublished events
Fri 9 Dec 2016
Acceptance notification
Mon 28 Nov 2016
Proposal submission