Blogs (2) >>
ISMM 2017
Sun 18 Jun 2017
Barcelona, Spain
co-located with
PLDI 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Registration
Visa
Program
ISMM Program
Your Program
Sun 18 Jun
Track/Call
Organization
ISMM 2017 Committees
Organizing Committee
Steering Committee
Track Committees
Program Committee
External Review Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
PLDI 2017
(
series
) /
ISMM 2017
(
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS215
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS215
Floor
0
Room number
215
Capacity
20
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+01:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 10:30
P4: Programming the Network Data Plane
PLDI Tutorials
at
Vertex WS215
08:30
2h
Other
P4: Programming the Network Data Plane
PLDI Tutorials
Nate Foster
Cornell University
,
Cole Schlesinger
Samsung Research America
,
Calin Cascaval
Barefoot 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 Foster
Cornell University
,
Cole Schlesinger
Samsung Research America
,
Calin Cascaval
Barefoot 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 Ryu
KAIST
,
Alexander Jordan
Oracle Labs, Australia
,
Dongsun Kim
University 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 Ryu
KAIST
,
Alexander Jordan
Oracle Labs, Australia
,
Dongsun Kim
University of Luxembourg
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
at
Vertex WS215
09:00
60m
Other
Refinement Types for Program Verification and Synthesis
PLDI Tutorials
Niki Vazou
University of Maryland
,
Nadia Polikarpova
MIT CSAIL, USA
,
Ranjit Jhala
University of California at San Diego, USA
Media Attached
10:30 - 12:10
Incremental computing 1: Keynote + Research talk
IC
at
Vertex WS215
10:30
70m
Talk
Keynote: Incrementalizing the Rust Compiler
IC
K:
Nicholas Matsakis
Mozilla Corporation
11:40
30m
Talk
IncAL: A DSL for Incremental Program Analysis with Lattices
IC
Tamás Szabó
itemis AG / TU Delft
,
Markus Völter
itemis/independent
,
Sebastian Erdweg
TU Delft
File Attached
13:40 - 15:20
Incremental computing 2: Research talks
IC
at
Vertex WS215
13:40
30m
Talk
Automated Incrementalization through Synthesis
IC
Rohin Shah
University of California, Berkeley
,
Rastislav Bodík
University of Washington
File Attached
14:15
30m
Talk
IceDust Calculation Strategy Composition Performance in Web Applications
IC
Daco Harkes
Delft University of Technology
,
Eelco Visser
Delft University of Technology
File Attached
14:50
30m
Talk
Automatic Incrementalization of Functional Reports
IC
Ken Friis Larsen
DIKU, University of Copenhagen
,
Fritz Henglein
DIKU, Denmark
File Attached
15:50 - 17:30
Incremental computing 3: Research talks
IC
at
Vertex WS215
15:50
30m
Talk
Incremental Relational Lenses
IC
Rudi Horn
University of Edinburgh
,
James Cheney
University of Edinburgh, UK
File Attached
16:25
30m
Talk
Privacy-aware Distributed Incremental Computation
IC
Mirko Köhler
Technical University of Darmstadt
,
Philipp Haller
KTH Royal Institute of Technology
,
Sebastian Erdweg
TU Delft
,
Mira Mezini
TU Darmstadt
,
Guido Salvaneschi
TU Darmstadt
File Attached
17:00
30m
Talk
Tuning Data and Control Structures for Incremental Computation
IC
Kyle Headley
University of Colorado Boulder
File Attached
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Vertex WS215
PLDI Tutorials
P4: Programming the Network Data Plane
PLDI Tutorials
P4: Programming the Network Data Plane (cont'd)
PLDI Tutorials
Bug detection in JavaScript web apps using the SAFE framework
PLDI Tutorials
Bug detection in JavaScript web apps using the SAFE framework (cont'd)
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Vertex WS215
PLDI Tutorials
Refinement Types for Program Verification and Synthesis
IC
Incremental computing 1: Keynote + Research talk
IC
Incremental computing 2: Research talks
IC
Incremental computing 3: Research talks
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Vertex WS215
PLDI Tutorials
P4: Programming the Network Data Plane
08:30 - 10:30
PLDI Tutorials
P4: Programming the Network Data Plane
11:00 - 12:30
PLDI Tutorials
Bug detection in JavaScript web apps using the SAFE framework
14:00 - 15:30
PLDI Tutorials
Bug detection in JavaScript web apps using the SAFE framework
16:00 - 18:00
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Vertex WS215
PLDI Tutorials
Refinement Types for Program Verification and Synthesis
09:00 - 10:00
IC
Keynote: Incrementalizing the Rust Compiler
10:30 - 11:40
IC
IncAL: A DSL for Incremental Program Analysis with Lattices
11:40 - 12:10
IC
Automated Incrementalization through Synthesis
13:40 - 14:10
IC
IceDust Calculation Strategy Composition Performance in Web Applications
14:15 - 14:45
IC
Automatic Incrementalization of Functional Reports
14:50 - 15:20
IC
Incremental Relational Lenses
15:50 - 16:20
IC
Privacy-aware Distributed Incremental Computation
16:25 - 16:55
IC
Tuning Data and Control Structures for Incremental Computation
17:00 - 17:30
x
Sat 21 Dec 17:09