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

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

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:003022:003023:00300:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Vertex WS215

Thu 22 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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:001530450:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Vertex WS215