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 | |
|---|---|
| Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials | |
| Building your own modular static analyzer with Facebook Infer PLDI Tutorials | |
| Engineering Static Analyzers with Soufflé PLDI Tutorials | |
| Graal: High Performance Compilation for Managed Languages PLDI Tutorials | |
| P4: Programming the Network Data Plane PLDI Tutorials | |
| Polyhedral Compilation PLDI Tutorials | |
| Refinement Types for Program Verification and Synthesis PLDI Tutorials Media Attached | |
| Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | |
| WALA Hack-A-Thon PLDI Tutorials | |
| Writing Verified Programs in CakeML PLDI Tutorials Link to publication |
Dates
Conference DaySun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Sun 18 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:30 | |||
08:30 2hOther | P4: Programming the Network Data Plane PLDI Tutorials Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | ||
11:00 - 12:30 | |||
11:00 90mOther | P4: Programming the Network Data Plane PLDI Tutorials Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | ||
14:00 - 15:30 | |||
14:00 90mOther | Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials | ||
16:00 - 18:00 | Bug detection in JavaScript web apps using the SAFE framework (cont'd)PLDI Tutorials at Vertex WS215 | ||
16:00 26hOther | Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials | ||
Conference DayThu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Thu 22 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mOther | Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA Media Attached | ||
09:00 - 10:00 | |||
09:00 60mOther | WALA Hack-A-Thon PLDI Tutorials | ||
09:00 - 10:00 | |||
09:00 60mOther | Building your own modular static analyzer with Facebook Infer PLDI Tutorials | ||
10:30 - 12:10 | |||
10:30 1h40mOther | Refinement Types for Program Verification and Synthesis PLDI Tutorials Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA Media Attached | ||
10:30 - 12:10 | |||
10:30 1h40mOther | WALA Hack-A-Thon PLDI Tutorials | ||
10:30 - 12:10 | Building your own modular static analyzer with Facebook Infer (cont'd)PLDI Tutorials at Vertex WS219 | ||
10:30 1h40mOther | Building your own modular static analyzer with Facebook Infer PLDI Tutorials | ||
13:40 - 15:20 | |||
13:40 1h40mOther | WALA Hack-A-Thon PLDI Tutorials | ||
13:40 - 15:20 | |||
13:40 1h40mOther | Polyhedral Compilation PLDI Tutorials | ||
15:50 - 17:00 | |||
15:50 70mOther | WALA Hack-A-Thon PLDI Tutorials | ||
15:50 - 17:00 | |||
15:50 70mOther | Polyhedral Compilation PLDI Tutorials | ||
Conference DayFri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Conference Day
Fri 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00 | |||
09:00 60mOther | Graal: High Performance Compilation for Managed Languages PLDI Tutorials | ||
09:00 - 10:00 | Scala, LMS and Delite for High-Performance DSLs and Program GeneratorsPLDI Tutorials at Vertex WS216 | ||
09:00 60mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
09:00 - 10:00 | |||
09:00 60mOther | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
09:00 - 10:00 | |||
09:00 60mOther | Writing Verified Programs in CakeML PLDI Tutorials Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden Link to publication | ||
10:30 - 12:10 | |||
10:30 1h40mOther | Graal: High Performance Compilation for Managed Languages PLDI Tutorials | ||
10:30 - 12:10 | Scala, LMS and Delite for High-Performance DSLs and Program Generators (2)PLDI Tutorials at Vertex WS216 | ||
10:30 1h40mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
10:30 - 12:10 | |||
10:30 1h40mOther | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
10:30 - 12:10 | |||
10:30 1h40mOther | Writing Verified Programs in CakeML PLDI Tutorials Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden Link to publication | ||
13:40 - 15:20 | Scala, LMS and Delite for High-Performance DSLs and Program Generators (3)PLDI Tutorials at Vertex WS216 | ||
13:40 1h40mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
13:40 - 15:20 | |||
13:40 1h40mOther | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
13:40 - 15:20 | |||
13:40 1h40mOther | Writing Verified Programs in CakeML PLDI Tutorials Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden Link to publication | ||
15:50 - 17:00 | Scala, LMS and Delite for High-Performance DSLs and Program Generators (4)PLDI Tutorials at Vertex WS216 | ||
15:50 70mOther | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
15:50 - 17:00 | |||
15:50 70mOther | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
15:50 - 17:00 | |||
15:50 70mOther | Writing Verified Programs in CakeML PLDI Tutorials Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden Link to publication | ||