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
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
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
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
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
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
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
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
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
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
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
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
PLDI Tutorials
15:50 - 17:00: WALA Hack-A-Thon (4)PLDI Tutorials at Vertex WS218
15:50 - 17:00
Other
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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