Write a Blog >>
VORTEX 2017
Sun 18 - Fri 23 June 2017
Barcelona, Spain
co-located with
ECOOP 2017
Toggle navigation
Attending
Venue: Universitat Politècnica de Catalunya
Program
Complete Program
Your Program
Sun 18 Jun
Mon 19 Jun
Tue 20 Jun
Wed 21 Jun
Thu 22 Jun
Fri 23 Jun
Track/Call
Organization
VORTEX 2017 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VORTEX 2024
VORTEX 2023
VORTEX 2022
VORTEX 2021
VORTEX 2020
VORTEX 2019
VORTEX 2018
VORTEX 2017
VORTEX 2016
Sign in
Sign up
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
(
series
) /
ECOOP 2017
(
series
) /
VORTEX 2017 (
series
) /
Universitat Politècnica de Catalunya
/
Room information: Vertex WS219
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS219
Floor
0
Room number
219
Capacity
40
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
09:15 - 09:30
Opening
MAPL
at
Vertex WS219
09:15
15m
Day opening
Introduction and Welcome
MAPL
Tatiana Shpeisman
Intel Labs
,
Justin Gottschlich
Intel Labs
09:30 - 10:30
Keynote
MAPL
at
Vertex WS219
09:30
60m
Talk
Programming by Examples: PL Meets ML
MAPL
Sumit Gulwani
Microsoft Research
11:00 - 12:00
Languages and Frameworks
MAPL
at
Vertex WS219
11:00
30m
Talk
A Computational Model for TensorFlow (An Introduction)
MAPL
Martin Abadi
Google
,
Michael Isard
Google
,
Derek Murray
Google
11:30
30m
Talk
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
MAPL
Tim Vieira
Johns Hopkins University
,
Matthew Francis-Landau
The Johns Hopkins University
,
Nathaniel Wesley Filardo
,
Farzad Khorasani
Rice University
,
Jason Eisner
The Johns Hopkins University
12:00 - 12:30
Debugging, Analysis, and Verification
MAPL
at
Vertex WS219
12:00
30m
Talk
Debugging Probabilistic Programs
MAPL
Chandrakana Nandi
University of Washington, USA
,
Dan Grossman
University of Washington
,
Adrian Sampson
Cornell University
,
Todd Mytkowicz
,
Kathryn S McKinley
Microsoft Research
14:00 - 15:30
Debugging, Analysis, and Verification 2
MAPL
at
Vertex WS219
14:00
30m
Talk
Combining the Logical and the Probabilistic in Program Analysis
MAPL
Xin Zhang
Georgia Tech
,
Xujie Si
,
Mayur Naik
Georgia Tech
14:30
30m
Talk
Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
MAPL
Ugur Koc
University of Maryland, College Park
,
Parsa Saadatpanah
University of Maryland
,
Jeffrey S. Foster
University of Maryland, College Park
,
Adam Porter
University of Maryland
15:00
30m
Talk
Verified Perceptron Convergence Theorem
MAPL
Charlie Murphy
Princeton University
,
Gordon Stewart
Ohio University
16:00 - 16:45
Town Hall Discussion
MAPL
at
Vertex WS219
16:00
45m
Other
Town Hall Discussion
MAPL
16:45 - 17:00
Closing
MAPL
at
Vertex WS219
16:45
15m
Day closing
Concluding Remarks
MAPL
Tatiana Shpeisman
Intel Labs
,
Justin Gottschlich
Intel Labs
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
Events Meet Processes
DEBS Workshop
at
Vertex WS219
09:00
90m
DEBS Workshop
DEBS Workshop
11:00 - 12:30
Events Meet Processes
DEBS Workshop
at
Vertex WS219
11:00
90m
DEBS Workshop
DEBS Workshop
14:00 - 15:30
Doctoral Symposium
DEBS Doctoral Symposium
at
Vertex WS219
14:00
20m
Talk
Consistent Stream Processing
DEBS Doctoral Symposium
Lorenzo Affetti
Politecnico di Milano
14:20
20m
Talk
A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
DEBS Doctoral Symposium
Guenter Hesse
Hasso Plattner Institute
,
Christoph Matthies
Hasso Plattner Institute
,
Benjamin Reissaus
Hasso Plattner Institute
14:40
20m
Talk
Raphtory: Decentralised Streaming for Temporal Graphs
DEBS Doctoral Symposium
Benjamin Steer
Queen Mary University London
,
Félix Cuadrado
Queen Mary University of London
,
Richard Clegg
Queen Mary University London
15:00
20m
Talk
Large-Scale Stream Graph Processing
DEBS Doctoral Symposium
Domagoj Margan
Imperial College London
16:00 - 17:30
Doctoral Symposium
DEBS Doctoral Symposium
at
Vertex WS219
16:00
20m
Talk
Property-based routing in clustered message brokers for CPS
DEBS Doctoral Symposium
Ole Meyer
University of Duisburg-Essen
,
Julius Ollesch
University of Duisburg-Essen
,
Stefan Gries
University of Duisburg-Essen
,
Florian Blum
University of Duisburg-Essen
,
Volker Gruhn
University Duisburg-Essen
16:20
20m
Talk
An Embedded DSL Framework for Distributed Embedded Systems
DEBS Doctoral Symposium
Adrian Mizzi
,
Joshua Ellul
University of Malta
,
Gordon Pace
16:40
20m
Talk
Loosely Coupled Approach for Web-Based Collaborative 3D Design
DEBS Doctoral Symposium
Caroline Desprat
IRIT - University of Toulouse
,
Benoît Caudesaygues
,
Hervé Luga
IRIT - Université Paul Sabatier Toulouse
,
Jean-Pierre Jessel
IRIT - Université Paul Sabatier Toulouse
17:00
20m
Talk
Visualising complex event hierarchies using relevant domain ontologies
DEBS Doctoral Symposium
Riley Perry
UNSW
,
Cat Kutay
UNSW
,
Fethi Rabhi
UNSW
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
at
Vertex WS219
09:00
60m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano
Facebook London
,
Peter O'Hearn
Facebook
,
Sam Blackshear
Facebook
10:30 - 12:10
Building your own modular static analyzer with Facebook Infer (cont'd)
PLDI Tutorials
at
Vertex WS219
10:30
1h40m
Other
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Dino Distefano
Facebook London
,
Peter O'Hearn
Facebook
,
Sam Blackshear
Facebook
13:40 - 15:20
Polyhedral Compilation
PLDI Tutorials
at
Vertex WS219
13:40
1h40m
Other
Polyhedral Compilation
PLDI Tutorials
Tobias Grosser
ETH Zurich
,
Oleksandr Zinenko
Inria
15:50 - 17:00
Polyhedral Compilation (cont'd)
PLDI Tutorials
at
Vertex WS219
15:50
70m
Other
Polyhedral Compilation
PLDI Tutorials
Tobias Grosser
ETH Zurich
,
Oleksandr Zinenko
Inria
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Writing Verified Programs in CakeML
PLDI Tutorials
at
Vertex WS219
09:00
60m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
Scott Owens
University of Kent, UK
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
Link to publication
10:30 - 12:10
Writing Verified Programs in CakeML (2)
PLDI Tutorials
at
Vertex WS219
10:30
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
Scott Owens
University of Kent, UK
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
Link to publication
13:40 - 15:20
Writing Verified Programs in CakeML (3)
PLDI Tutorials
at
Vertex WS219
13:40
1h40m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
Scott Owens
University of Kent, UK
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
Link to publication
15:50 - 17:00
Writing Verified Programs in CakeML (4)
PLDI Tutorials
at
Vertex WS219
15:50
70m
Other
Writing Verified Programs in CakeML
PLDI Tutorials
Ramana Kumar
Data61 at CSIRO, Australia / UNSW, Australia
,
Michael Norrish
Data61 at CSIRO, Australia / Australian National University, Australia
,
Scott Owens
University of Kent, UK
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
Link to publication
Sun 18 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
Vertex WS219
MAPL
Opening
MAPL
Keynote
MAPL
Languages and Frameworks
MAPL
Debugging, Analysis, and Verification
MAPL
Debugging, Analysis, and Verification 2
MAPL
Town Hall Discussion
MAPL
Closing
Mon 19 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 WS219
DEBS Workshop
Events Meet Processes
DEBS Workshop
Events Meet Processes
DEBS Doctoral Symposium
Doctoral Symposium
DEBS Doctoral Symposium
Doctoral Symposium
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
Vertex WS219
PLDI Tutorials
Building your own modular static analyzer with Facebook Infer
PLDI Tutorials
Building your own modular static analyzer with Facebook Infer (cont'd)
PLDI Tutorials
Polyhedral Compilation
PLDI Tutorials
Polyhedral Compilation (cont'd)
Fri 23 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
Vertex WS219
PLDI Tutorials
Writing Verified Programs in CakeML
PLDI Tutorials
Writing Verified Programs in CakeML (2)
PLDI Tutorials
Writing Verified Programs in CakeML (3)
PLDI Tutorials
Writing Verified Programs in CakeML (4)
Sun 18 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
Vertex WS219
MAPL
Introduction and Welcome
09:15 - 09:30
MAPL
Programming by Examples: PL Meets ML
09:30 - 10:30
MAPL
A Computational Model for TensorFlow (An Introduction)
11:00 - 11:30
MAPL
Dyna: Toward a Self-Optimizing Declarative Language for Machine Learnin ...
11:30 - 12:00
MAPL
Debugging Probabilistic Programs
12:00 - 12:30
MAPL
Combining the Logical and the Probabilistic in Program Analysis
14:00 - 14:30
MAPL
Learning a Classifier for False Positive Error Reports Emitted by Stati ...
14:30 - 15:00
MAPL
Verified Perceptron Convergence Theorem
15:00 - 15:30
MAPL
Town Hall Discussion
16:00 - 16:45
MAPL
Concluding Remarks
16:45 - 17:00
Mon 19 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 WS219
DEBS Workshop
DEBS Workshop
09:00 - 10:30
DEBS Workshop
DEBS Workshop
11:00 - 12:30
DEBS Doctoral Symposium
Consistent Stream Processing
14:00 - 14:20
DEBS Doctoral Symposium
A New Application Benchmark for Data Stream Processing Architectures in ...
14:20 - 14:40
DEBS Doctoral Symposium
Raphtory: Decentralised Streaming for Temporal Graphs
14:40 - 15:00
DEBS Doctoral Symposium
Large-Scale Stream Graph Processing
15:00 - 15:20
DEBS Doctoral Symposium
Property-based routing in clustered message brokers for CPS
16:00 - 16:20
DEBS Doctoral Symposium
An Embedded DSL Framework for Distributed Embedded Systems
16:20 - 16:40
DEBS Doctoral Symposium
Loosely Coupled Approach for Web-Based Collaborative 3D Design
16:40 - 17:00
DEBS Doctoral Symposium
Visualising complex event hierarchies using relevant domain ontologies
17:00 - 17:20
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
Vertex WS219
PLDI Tutorials
Building your own modular static analyzer with Facebook Infer
09:00 - 10:00
PLDI Tutorials
Building your own modular static analyzer with Facebook Infer
10:30 - 12:10
PLDI Tutorials
Polyhedral Compilation
13:40 - 15:20
PLDI Tutorials
Polyhedral Compilation
15:50 - 17:00
Fri 23 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
Vertex WS219
PLDI Tutorials
Writing Verified Programs in CakeML
09:00 - 10:00
PLDI Tutorials
Writing Verified Programs in CakeML
10:30 - 12:10
PLDI Tutorials
Writing Verified Programs in CakeML
13:40 - 15:20
PLDI Tutorials
Writing Verified Programs in CakeML
15:50 - 17:00
x
Fri 15 Nov 11:16