Write a Blog >>
VenueUniversitat Politècnica de Catalunya
Room nameVertex WS215
Floor0
Room number215
Capacity20
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 18 Jun

Displayed 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
2h
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
90m
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
90m
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
26h
Other
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Sukyoung RyuKAIST, Alexander JordanOracle Labs, Australia, Dongsun KimUniversity of Luxembourg

Conference Day
Thu 22 Jun

Displayed 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
60m
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
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K: Nicholas MatsakisMozilla Corporation
11:40
30m
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
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin ShahUniversity of California, Berkeley, Rastislav BodikUniversity of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco HarkesDelft University of Technology, Eelco VisserDelft University of Technology
File Attached
14:50
30m
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
30m
Talk
Incremental Relational Lenses
IC
Rudi HornUniversity of Edinburgh, James CheneyUniversity of Edinburgh, UK
File Attached
16:25
30m
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
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle HeadleyUniversity of Colorado Boulder
File Attached

Conference Day
Sun 18 Jun

Displayed 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

Conference Day
Thu 22 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Conference Day
Sun 18 Jun

Displayed 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