Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS215
Floor0
Room number215
Capacity20
Additional informationThere is no additional information of this room available.
Program

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 - 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
ic-2017-papers
10:30 - 12:10: IC 2017 - Incremental computing 1: Keynote + Research talk at Vertex WS215
ic-2017-papers149812020000010:30 - 11:40
Talk
Nicholas MatsakisMozilla Corporation
ic-2017-papers149812440000011:40 - 12:10
Talk
Tamás Szabóitemis AG / TU Delft, Markus Völteritemis/independent, Sebastian ErdwegTU Delft
File Attached
ic-2017-papers
13:40 - 15:20: IC 2017 - Incremental computing 2: Research talks at Vertex WS215
ic-2017-papers149813160000013:40 - 14:10
Talk
Rohin ShahUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
File Attached
ic-2017-papers149813370000014:15 - 14:45
Talk
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
ic-2017-papers149813580000014:50 - 15:20
Talk
Ken Friis LarsenDIKU, University of Copenhagen, Fritz HengleinDIKU, Denmark
File Attached
ic-2017-papers
15:50 - 17:30: IC 2017 - Incremental computing 3: Research talks at Vertex WS215
ic-2017-papers149813940000015:50 - 16:20
Talk
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
ic-2017-papers149814150000016:25 - 16:55
Talk
Mirko KohlerTechnical University of Darmstadt, Philipp HallerKTH Royal Institute of Technology, Sebastian ErdwegTU Delft, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
ic-2017-papers149814360000017:00 - 17:30
Talk
Kyle HeadleyUniversity of Colorado Boulder
File Attached

Sun 18 Jun 2017