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
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
10:30 - 12:10: Incremental computing 1: Keynote + Research talkIC at Vertex WS215
10:30 - 11:40
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas MatsakisMozilla Corporation
11:40 - 12:10
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
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
Automated Incrementalization through Synthesis
IC
Rohin ShahUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
File Attached
14:15 - 14:45
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
14:50 - 15:20
Talk
Automatic Incrementalization of Functional Reports
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
Incremental Relational Lenses
IC
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
16:25 - 16:55
Talk
Privacy-aware Distributed Incremental Computation
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
Tuning Data and Control Structures for Incremental Computation
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