Write a Blog >>

Sun 18 Jun

pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
Nate FosterCornell University, Cole SchlesingerSamsung Research America, Calin CascavalBarefoot Networks
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg

Thu 22 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Refinement Types for Program Verification and Synthesis at Vertex WS215
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - WALA Hack-A-Thon at Vertex WS218
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Dino DistefanoFacebook London, Peter O'HearnFacebook, Sam BlackshearFacebook
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Refinement Types for Program Verification and Synthesis (cont'd) at Vertex WS217
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Niki VazouUniversity of Maryland, Nadia PolikarpovaMIT CSAIL, USA, Ranjit JhalaUniversity of California at San Diego, USA
Media Attached
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - WALA Hack-A-Thon (2) at Vertex WS218
pldi-2017-workshops-and-tutorials149812020000010:30 - 12:10
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Polyhedral Compilation at Vertex WS219
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - WALA Hack-A-Thon (3) at Vertex WS218
pldi-2017-workshops-and-tutorials149813160000013:40 - 15:20
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Polyhedral Compilation (cont'd) at Vertex WS219
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - WALA Hack-A-Thon (4) at Vertex WS218
pldi-2017-workshops-and-tutorials149813940000015:50 - 17:00
Other
Julian DolbyIBM Thomas J. Watson Research Center, Karim AliUniversity of Alberta

Fri 23 Jun

pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé at Vertex WS217
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages at Vertex WS208
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators at Vertex WS216
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Writing Verified Programs in CakeML at Vertex WS219
pldi-2017-workshops-and-tutorials149820120000009:00 - 10:00
Other
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
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Engineering Static Analyzers with Soufflé (2) at Vertex WS217
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Graal: High Performance Compilation for Managed Languages (cont'd) at Vertex WS208
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (2) at Vertex WS216
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
10:30 - 12:10: PLDI Tutorials - Writing Verified Programs in CakeML (2) at Vertex WS219
pldi-2017-workshops-and-tutorials149820660000010:30 - 12:10
Other
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
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Engineering Static Analyzers with Soufflé (3) at Vertex WS217
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (3) at Vertex WS216
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
13:40 - 15:20: PLDI Tutorials - Writing Verified Programs in CakeML (3) at Vertex WS219
pldi-2017-workshops-and-tutorials149821800000013:40 - 15:20
Other
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
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Engineering Static Analyzers with Soufflé (4) at Vertex WS217
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Bernhard ScholzUniversity of Sydney, Australia, Herbert JordanUniversity of Innsbruck, Pavle SuboticUniversity College London
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Scala, LMS and Delite for High-Performance DSLs and Program Generators (4) at Vertex WS216
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
Tiark RompfPurdue University, Kunle OlukotunStanford University, Markus PüschelETH Zurich
pldi-2017-workshops-and-tutorials
15:50 - 17:00: PLDI Tutorials - Writing Verified Programs in CakeML (4) at Vertex WS219
pldi-2017-workshops-and-tutorials149822580000015:50 - 17:00
Other
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