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 WS217
Venue
Universitat Politècnica de Catalunya
Room name
Vertex WS217
Floor
0
Room number
217
Capacity
60
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
16:30 - 18:00
S1
ECOOP Summer School
at
Vertex WS217
16:30
90m
Talk
Introduction Session
ECOOP Summer School
Jan Vitek
Northeastern University
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Morning Session
IWACO
at
Vertex WS217
11:00
30m
Talk
Spencer: Tracing as a Service
IWACO
Stephan Brandauer
Uppsala University
11:30
30m
Talk
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership.
IWACO
Alex Potanin
Victoria University of Wellington
12:00
30m
Talk
Reference Capabilities in Practice: Examining Real-World Pony Code
IWACO
Sylvan Clebsch
Imperial College London
14:00 - 15:30
Afternoon Session
IWACO
at
Vertex WS217
14:00
30m
Talk
Aliasing, Capabilities and Ownership in Rust
IWACO
Felix Klock
14:30
30m
Talk
Introducing Ownership Type Constraints to UML/OCL
IWACO
Jagadeeswaran Thangaraj
,
Senthil Kumaran
File Attached
15:00
30m
Talk
Towards Reasonable Ownership
IWACO
Anya Helene Bagge
University of Bergen
,
Kristoffer Haugsbakk
,
Vadim Zaytsev
Raincode, Belgium
File Attached
16:00 - 18:00
Keynote Session
IWACO
at
Vertex WS217
16:00
45m
Talk
Adding Safe Manual Memory Management to .NET
IWACO
Dimitrios Vytiniotis
Microsoft Research, Cambridge
Tue 20 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
A
FTfJP
at
Vertex WS217
Chair(s):
Radu Grigore
University of Kent
09:30
20m
Talk
Software Model Checking: A Promising Approach to Verify Mobile App Security
FTfJP
Irina Asavoae
INRIA, Paris, France
,
Hoang Nga Nguyen
Coventry University, Coventry, UK
,
Markus Roggenbach
Swansea University, Swansea, UK
,
Siraj Ahmed Shaikh
Coventry University, Coventry, UK
Pre-print
09:50
35m
Talk
Formal Analysis of Object-Oriented Mograms
FTfJP
Moussa Amrani
University of Namur
,
Pierre Yves Schobbens
University of Namur
10:25
5m
Talk
Towards a Java Subtyping Operad
FTfJP
Moez A. AbdelGawad
Informatics Research Institute, SRTA-City, Alexandria, Egypt
Pre-print
11:00 - 12:30
B
FTfJP
at
Vertex WS217
Chair(s):
Santosh Nagarakatte
Rutgers University, USA
11:00
20m
Talk
A Coq-based synthesis of Scala programs which are correct-by-construction
FTfJP
Youssef El Bakouny
CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
,
Tristan Crolard
CEDRIC - CNAM - Paris, France
,
Dani Mezher
CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
Pre-print
11:20
70m
Talk
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE)
FTfJP
Derek Dreyer
MPI-SWS
14:00 - 15:30
C
FTfJP
at
Vertex WS217
Chair(s):
Martin Berger
14:00
20m
Talk
Generic Approach to Certified Static Checking of Module-like Constructs
FTfJP
Julia Belyakova
Southern Federal University
Pre-print
14:20
35m
Talk
Tracing sharing in an imperative pure calculus
FTfJP
Paola Giannini
Universita' del Piemonte Orientale
,
Marco Servetto
Victoria University of Wellington
,
Elena Zucca
University of Genova
14:55
35m
Talk
Mutable WadlerFest DOT
FTfJP
Marianna Rapoport
University of Waterloo
,
Ondřej Lhoták
University of Waterloo, Canada
16:00 - 18:00
D
FTfJP
at
Vertex WS217
Chair(s):
Radu Grigore
University of Kent
16:00
20m
Talk
Consistency Types for Safe and Efficient Distributed Programming
FTfJP
Alessandro Margara
Politecnico di Milano
,
Guido Salvaneschi
TU Darmstadt
16:20
35m
Talk
Correctness of Partial Escape Analysis for Multithreading Optimization
FTfJP
Dustin Rhodes
,
Cormac Flanagan
University of California, Santa Cruz
,
Stephen N. Freund
Williams College
16:55
35m
Talk
Parametric trace expressions for runtime verification of Java-like programs
FTfJP
Davide Ancona
University of Genova
,
Angelo Ferrando
,
Luca Franceschini
DIBRIS, University of Genova, Italy
,
Viviana Mascardi
DIBRIS, University of Genova, Italy
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:20 - 12:00
SRC presentations
PLDI Student Research Competition
at
Vertex WS217
10:20
1h40m
SRC presentations
PLDI Student Research Competition
14:00 - 15:00
Poster Session
LCTES
at
Vertex WS217
14:00
60m
Other
Accepted posters and posters for all the accepted papers will be presented in this session
LCTES
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:30 - 12:10
Refinement Types for Program Verification and Synthesis (cont'd)
PLDI Tutorials
at
Vertex WS217
10:30
1h40m
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
Fri 23 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Engineering Static Analyzers with Soufflé
PLDI Tutorials
at
Vertex WS217
09:00
60m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
10:30 - 12:10
Engineering Static Analyzers with Soufflé (2)
PLDI Tutorials
at
Vertex WS217
10:30
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
13:40 - 15:20
Engineering Static Analyzers with Soufflé (3)
PLDI Tutorials
at
Vertex WS217
13:40
1h40m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
15:50 - 17:00
Engineering Static Analyzers with Soufflé (4)
PLDI Tutorials
at
Vertex WS217
15:50
70m
Other
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Bernhard Scholz
University of Sydney, Australia
,
Herbert Jordan
University of Innsbruck
,
Pavle Subotic
University College London
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
30
17:00
30
Vertex WS217
ECOOP Summer School
S1
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 WS217
IWACO
IWACO
Morning Session
IWACO
Afternoon Session
IWACO
Keynote Session
Tue 20 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 WS217
FTfJP
A
FTfJP
B
FTfJP
C
FTfJP
D
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
Vertex WS217
PLDI Student Research Competition
SRC presentations
LCTES
Poster Session
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
30
11:00
30
12:00
30
Vertex WS217
PLDI Tutorials
Refinement Types for Program Verification and Synthesis (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 WS217
PLDI Tutorials
Engineering Static Analyzers with Soufflé
PLDI Tutorials
Engineering Static Analyzers with Soufflé (2)
PLDI Tutorials
Engineering Static Analyzers with Soufflé (3)
PLDI Tutorials
Engineering Static Analyzers with Soufflé (4)
Sun 18 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
16:00
15
30
45
17:00
15
30
45
Vertex WS217
ECOOP Summer School
Introduction Session
16:30 - 18:00
Mon 19 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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 WS217
IWACO
Spencer: Tracing as a Service
11:00 - 11:30
IWACO
Are Your Incoming Aliases Really Necessary? Remembering the Cost of Obj ...
11:30 - 12:00
IWACO
Reference Capabilities in Practice: Examining Real-World Pony Code
12:00 - 12:30
IWACO
Aliasing, Capabilities and Ownership in Rust
14:00 - 14:30
IWACO
Introducing Ownership Type Constraints to UML/OCL
14:30 - 15:00
IWACO
Towards Reasonable Ownership
15:00 - 15:30
IWACO
Adding Safe Manual Memory Management to .NET
16:00 - 16:45
Tue 20 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 WS217
FTfJP
Software Model Checking: A Promising Approach to Verify Mobile App Security
09:30 - 09:50
FTfJP
Formal Analysis of Object-Oriented Mograms
09:50 - 10:25
FTfJP
Towards a Java Subtyping Operad
10:25 - 10:30
FTfJP
A Coq-based synthesis of Scala programs which are correct-by-construction
11:00 - 11:20
FTfJP
Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic ...
11:20 - 12:30
FTfJP
Generic Approach to Certified Static Checking of Module-like Constructs
14:00 - 14:20
FTfJP
Tracing sharing in an imperative pure calculus
14:20 - 14:55
FTfJP
Mutable WadlerFest DOT
14:55 - 15:30
FTfJP
Consistency Types for Safe and Efficient Distributed Programming
16:00 - 16:20
FTfJP
Correctness of Partial Escape Analysis for Multithreading Optimization
16:20 - 16:55
FTfJP
Parametric trace expressions for runtime verification of Java-like programs
16:55 - 17:30
Wed 21 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
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
Vertex WS217
PLDI Student Research Competition
SRC presentations
10:20 - 12:00
LCTES
Accepted posters and posters for all the accepted papers will be presen ...
14:00 - 15:00
Thu 22 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Vertex WS217
PLDI Tutorials
Refinement Types for Program Verification and Synthesis
10:30 - 12:10
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 WS217
PLDI Tutorials
Engineering Static Analyzers with Soufflé
09:00 - 10:00
PLDI Tutorials
Engineering Static Analyzers with Soufflé
10:30 - 12:10
PLDI Tutorials
Engineering Static Analyzers with Soufflé
13:40 - 15:20
PLDI Tutorials
Engineering Static Analyzers with Soufflé
15:50 - 17:00
x
Fri 15 Nov 11:16