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 |