Write a Blog >>
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:30: P4: Programming the Network Data PlanePLDI Tutorials at Vertex WS215
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: P4: Programming the Network Data Plane (cont'd)PLDI Tutorials at Vertex WS215
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
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
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
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg

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: WALA Hack-A-ThonPLDI Tutorials at Vertex WS218
09:00 - 10:00
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
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
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
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: WALA Hack-A-Thon (2)PLDI Tutorials at Vertex WS218
10:30 - 12:10
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
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
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
13:40 - 15:20: WALA Hack-A-Thon (3)PLDI Tutorials at Vertex WS218
13:40 - 15:20
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
13:40 - 15:20: Polyhedral CompilationPLDI Tutorials at Vertex WS219
13:40 - 15:20
Other
Polyhedral Compilation
PLDI Tutorials
15:50 - 17:00: WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218
15:50 - 17:00
Other
WALA Hack-A-Thon
PLDI Tutorials
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
15:50 - 17:00: Polyhedral Compilation (cont'd)PLDI Tutorials at Vertex WS219
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

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
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
09:00 - 10:00: Engineering Static Analyzers with SouffléPLDI Tutorials at Vertex WS217
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: Writing Verified Programs in CakeMLPLDI Tutorials at Vertex WS219
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
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
10:30 - 12:10: Engineering Static Analyzers with Soufflé (2)PLDI Tutorials at Vertex WS217
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: Writing Verified Programs in CakeML (2)PLDI Tutorials at Vertex WS219
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
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
13:40 - 15:20: Engineering Static Analyzers with Soufflé (3)PLDI Tutorials at Vertex WS217
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: Writing Verified Programs in CakeML (3)PLDI Tutorials at Vertex WS219
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
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
15:50 - 17:00: Engineering Static Analyzers with Soufflé (4)PLDI Tutorials at Vertex WS217
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: Writing Verified Programs in CakeML (4)PLDI Tutorials at Vertex WS219
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