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
Sun 18 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
| 08:30 - 10:30 Other | P4: Programming the Network Data Plane PLDI Tutorials Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | ||
| 11:00 - 12:30 Other | P4: Programming the Network Data Plane PLDI Tutorials Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks | ||
14:00 - 15:30: Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials at Vertex WS215 | |||
| 14:00 - 15:30 Other | 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 - 18:00 Other | Bug detection in JavaScript web apps using the SAFE framework PLDI Tutorials | ||
Thu 22 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 22 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00: Refinement Types for Program Verification and SynthesisPLDI Tutorials at Vertex WS215 | |||
| 09:00 - 10:00 Other | 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 Other | WALA Hack-A-Thon PLDI Tutorials | ||
09:00 - 10:00: Building your own modular static analyzer with Facebook InferPLDI Tutorials at Vertex WS219 | |||
| 09:00 - 10:00 Other | Building your own modular static analyzer with Facebook Infer PLDI Tutorials | ||
10:30 - 12:10: Refinement Types for Program Verification and Synthesis (cont'd)PLDI Tutorials at Vertex WS217 | |||
| 10:30 - 12:10 Other | 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 Other | 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 - 12:10 Other | Building your own modular static analyzer with Facebook Infer PLDI Tutorials | ||
| 13:40 - 15:20 Other | WALA Hack-A-Thon PLDI Tutorials | ||
| 13:40 - 15:20 Other | Polyhedral Compilation PLDI Tutorials | ||
| 15:50 - 17:00 Other | WALA Hack-A-Thon PLDI Tutorials | ||
| 15:50 - 17:00 Other | Polyhedral Compilation PLDI Tutorials | ||
Fri 23 Jun Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 23 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:00: Graal: High Performance Compilation for Managed LanguagesPLDI Tutorials at Vertex WS208 | |||
| 09:00 - 10:00 Other | 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 - 10:00 Other | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
| 09:00 - 10:00 Other | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
| 09:00 - 10:00 Other | 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: Graal: High Performance Compilation for Managed Languages (cont'd)PLDI Tutorials at Vertex WS208 | |||
| 10:30 - 12:10 Other | 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 - 12:10 Other | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
| 10:30 - 12:10 Other | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
| 10:30 - 12:10 Other | 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 - 15:20 Other | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
| 13:40 - 15:20 Other | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
| 13:40 - 15:20 Other | 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 - 17:00 Other | Scala, LMS and Delite for High-Performance DSLs and Program Generators PLDI Tutorials | ||
| 15:50 - 17:00 Other | Engineering Static Analyzers with Soufflé PLDI Tutorials Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London | ||
| 15:50 - 17:00 Other | 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 | ||