Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016
Rome, Italy
Toggle navigation
Attending
Venue: Congress Center
Venue: Curry On Party
Venue: ECOOP Banquet
About
Awards
Registration
Housing
Travel & Local Info
Students
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 17 Jul
Mon 18 Jul
Tue 19 Jul
Wed 20 Jul
Thu 21 Jul
Fri 22 Jul
Tracks
ECOOP 2016
Artifacts
Doctoral Symposium
Posters
Research Track
Student Volunteers
Summer School
Workshops
Co-hosted Conferences
CurryOn
CurryOn
CurryOn
Workshops
COP
FTfJP
GRACE
ICOOOLPS
IWACO
JSTools
LIVE
PMLDC
PX
STOP
VORTEX
Organization
ECOOP 2016 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Invited Speakers
Program Committee
Posters
Organizers
Poster Awards Committee
Research Track
Program Committee
External Review Committee
Student Volunteers
Summer School
Organizing Committee
Senior Mentors
Speakers
Workshops
Contributors
People Index
Co-hosted Conferences
CurryOn
Organizing Committee
Workshops
COP
Organizing Committee
Program Committee
FTfJP
Program Committee
GRACE
Program Committee
ICOOOLPS
Organizers
Program Committee
IWACO
Program Committee
JSTools
Program Committee
LIVE
Program Committee
PMLDC
Program Committee
PX
Organizing Committee
Program Committee
STOP
Program Committee
VORTEX
Program Committee
Search
Series
Series
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
Sign in
Sign up
ECOOP 2016
(
series
) /
Congress Center
/
Room information: Belli
Venue
Congress Center
Room name
Belli
Floor
0
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+06: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 17 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:45
Opening
Doctoral Symposium
at
Belli
08:45
10m
Day opening
Welcome
Doctoral Symposium
08:55
20m
Talk
Lightning Talks
Doctoral Symposium
09:15
30m
Talk
Live Programming Environments for Reactive MVU Applications
Doctoral Symposium
A:
Christopher Schuster
University of California, Santa Cruz
10:05 - 12:25
Session 1
Doctoral Symposium
at
Belli
10:05
30m
Talk
User-Centric Static Analysis
Doctoral Symposium
A:
Lisa Nguyen Quang Do
Fraunhofer IEM
10:35
30m
Talk
Domain-based Simulation Modelling to Enable Continuous Testing for Software Development in the Chemical Industry
Doctoral Symposium
A:
Adam Ziolkowski
University of East Anglia
11:05
20m
Coffee break
Coffee break
Doctoral Symposium
11:25
30m
Talk
Language Design for Validatable Information System Specifications
Doctoral Symposium
A:
Daco Harkes
Delft University of Technology
11:55
30m
Talk
Compositional and Mechanically Verified Program Analyzers
Doctoral Symposium
A:
David Darais
University of Maryland, College Park
13:50 - 15:20
Session 2
Doctoral Symposium
at
Belli
13:50
30m
Talk
Invited Talk: How to get your Ph.D. DONE
Doctoral Symposium
Eric Jul
Alcatel-Lucent Bell Labs
14:20
30m
Talk
Concept Parameters as a New Mechanism of Generic Programming for C# Language
Doctoral Symposium
A:
Julia Belyakova
Southern Federal University
14:50
30m
Talk
Exploring optional security typing
Doctoral Symposium
A:
Raimil Cruz
16:00 - 17:30
Session 3
Doctoral Symposium
at
Belli
16:00
30m
Talk
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
Doctoral Symposium
A:
Manuel Rigger
Johannes Kepler University, Linz, Austria
16:30
30m
Talk
Invited Talk: Papers vs. Artefacts
Doctoral Symposium
Philipp Haller
KTH Royal Institute of Technology
17:00
30m
Talk
Invited Talk: PhD Reflections
Doctoral Symposium
Sebastian Erdweg
TU Delft
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:45 - 09:45
Session 1
PX
at
Belli
Chair(s):
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
,
Robert Hirschfeld
HPI
,
Hidehiko Masuhara
Tokyo Institute of Technology
08:45
15m
Day opening
Introduction
PX
09:00
45m
Talk
How Live are Live Programming Systems? – Benchmarking the Response Times of Live Programming Environments.
PX
Patrick Rein
Hasso Plattner Institute
,
Stefan Lehmann
Hasso-Plattner-Institute, Potsdam
,
Toni Mattis
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
10:05 - 12:30
Session 2
PX
at
Belli
Chair(s):
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
,
Robert Hirschfeld
HPI
,
Hidehiko Masuhara
Tokyo Institute of Technology
10:05
45m
Demonstration
Envision – Turning the IDE into a Visual Information System.
PX
Dimitar Asenov
,
Peter Müller
ETH Zurich
10:50
45m
Talk
Satisfaction, Time Investment and Success in Students' Programming Exercise.
PX
Amir Kirsh
,
Iris Gaber
11:35
45m
Talk
Towards Gaze Control in Programming Environments.
PX
Astrid Thomschke
,
Daniel Stolpe
,
Marcel Taeumel
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
13:50 - 15:20
Session 3
PX
at
Belli
Chair(s):
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
,
Robert Hirschfeld
HPI
,
Hidehiko Masuhara
Tokyo Institute of Technology
13:50
45m
Talk
Towards Making a Computer Tutor for Children of All Ages - A Memo.
PX
Yoshiki Ohshima
Viewpoints Research Institute
,
Alessandro Warth
HARC / Y Combinator Research
,
Bert Freudenberg
,
Aran Lunzer
,
Alan Kay
University of California at Los Angeles, USA
14:35
45m
Demonstration
I sit down at my editor, and feel relaxed.
PX
Matthew Huebert
16:00 - 17:30
Session 4
PX
at
Belli
Chair(s):
Richard P. Gabriel
Dream Songs, Inc. & IBM Research
,
Robert Hirschfeld
HPI
,
Hidehiko Masuhara
Tokyo Institute of Technology
16:00
45m
Talk
Exemplifying Moldable Development.
PX
Andrei Chiş
University of Bern, Switzerland
,
Tudor Gîrba
CompuGroup Medical Schweiz AG
,
Juraj Kubelka
University of Chile
,
Oscar Nierstrasz
University of Bern, Switzerland
,
Stefan Reichhart
,
Aliaksei Syrel
University of Bern
DOI
Pre-print
16:45
45m
Talk
Evolving User Interfaces From Within Self-sustaining Programming Environments: Exploring the Project Concept of Squeak/Smalltalk to Bootstrap UIs.
PX
Marcel Taeumel
Hasso Plattner Institute
,
Robert Hirschfeld
HPI
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 11:00
Invited talk
FTfJP
at
Belli
Chair(s):
Vladimir Klebanov
Karlsruhe Institute of Technology
10:05
5m
Day opening
Opening
FTfJP
Vladimir Klebanov
Karlsruhe Institute of Technology
10:10
50m
Talk
Java Generics are Turing Complete
FTfJP
Radu Grigore
University of Oxford
11:00 - 12:25
Session 2
FTfJP
at
Belli
Chair(s):
Delphine Demange
IRISA / University of Rennes 1
11:00
30m
Talk
A Mechanical Soundness Proof for Subtyping Over Recursive Types
FTfJP
Timothy Jones
Victoria University of Wellington
,
David J. Pearce
Victoria University of Wellington
DOI
Pre-print
File Attached
11:30
30m
Talk
A formal account of SSA in Java-like languages
FTfJP
Davide Ancona
University of Genova
,
Andrea Corradi
12:00
25m
Talk
A Note on the Soundness of Difference Propagation
FTfJP
Jens Dietrich
Massey University, New Zealand
,
Nicholas Hollingum
The University of Sydney
,
Bernhard Scholz
University of Sydney, Australia
13:50 - 15:20
Session 3
FTfJP
at
Belli
Chair(s):
Davide Ancona
University of Genova
13:50
30m
Talk
Generating Concurrency Checks Automatically
FTfJP
Jonathan Hoyland
Royal Holloway University of London
,
Matthew Hague
Royal Holloway University of London
14:20
30m
Talk
An Extended Buffered Memory Model With Full Reorderings
FTfJP
Gurvan Cabon
,
David Cachera
,
David Pichardie
IRISA / ENS Rennes
14:50
30m
Talk
Towards a Model of Corecursion with Default
FTfJP
Davide Ancona
University of Genova
,
Francesco Dagnino
,
Elena Zucca
University of Genova
16:00 - 18:30
Session 4
FTfJP
at
Belli
Chair(s):
Vladimir Klebanov
Karlsruhe Institute of Technology
16:00
30m
Demonstration
Tool Demonstration: The VeriFast Verification System for Java and C
FTfJP
Bart Jacobs
iMinds - Distrinet, KU Leuven
16:30
30m
Talk
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
FTfJP
Bart Jacobs
iMinds - Distrinet, KU Leuven
17:00
30m
Talk
Coupling Catch Clauses with Local Declarations
FTfJP
Paola Giannini
,
Marco Servetto
Victoria University of Wellington
,
Elena Zucca
University of Genova
17:30
30m
Talk
Towards Modular Reasoning for Context-Oriented Programs
FTfJP
Tomoyuki Aotani
Tokyo Institute of Technology, Japan
,
Gary T. Leavens
Central Florida University
18:00
30m
Talk
Permission and Authority Revisited: Towards a Formalization
FTfJP
Sophia Drossopoulou
Imperial College London
,
James Noble
Victoria University of Wellington
,
Mark Miller
Google Inc.
,
Toby Murray
University of Melbourne
Sun 17 Jul
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
Belli
Doctoral Symposium
Opening
Doctoral Symposium
Session 1
Doctoral Symposium
Session 2
Doctoral Symposium
Session 3
Mon 18 Jul
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
Belli
PX
Session 1
PX
Session 2
PX
Session 3
PX
Session 4
Tue 19 Jul
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
15:00
30
16:00
30
17:00
30
18:00
30
Belli
FTfJP
Invited talk
FTfJP
Session 2
FTfJP
Session 3
FTfJP
Session 4
Sun 17 Jul
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
Belli
ECOOP Doctoral Symposium
Welcome
08:45 - 08:55
ECOOP Doctoral Symposium
Lightning Talks
08:55 - 09:15
ECOOP Doctoral Symposium
Live Programming Environments for Reactive MVU Applications
09:15 - 09:45
ECOOP Doctoral Symposium
User-Centric Static Analysis
10:05 - 10:35
ECOOP Doctoral Symposium
Domain-based Simulation Modelling to Enable Continuous Testing for Soft ...
10:35 - 11:05
ECOOP Doctoral Symposium
Coffee break
11:05 - 11:25
ECOOP Doctoral Symposium
Language Design for Validatable Information System Specifications
11:25 - 11:55
ECOOP Doctoral Symposium
Compositional and Mechanically Verified Program Analyzers
11:55 - 12:25
ECOOP Doctoral Symposium
Invited Talk: How to get your Ph.D. DONE
13:50 - 14:20
ECOOP Doctoral Symposium
Concept Parameters as a New Mechanism of Generic Programming for C# Lan ...
14:20 - 14:50
ECOOP Doctoral Symposium
Exploring optional security typing
14:50 - 15:20
ECOOP Doctoral Symposium
Sulong: Memory Safe and Efficient Execution of LLVM-Based Languages
16:00 - 16:30
ECOOP Doctoral Symposium
Invited Talk: Papers vs. Artefacts
16:30 - 17:00
ECOOP Doctoral Symposium
Invited Talk: PhD Reflections
17:00 - 17:30
Mon 18 Jul
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
Belli
PX
Introduction
08:45 - 09:00
PX
How Live are Live Programming Systems? – Benchmarking the Response Time ...
09:00 - 09:45
PX
Envision – Turning the IDE into a Visual Information System.
10:05 - 10:50
PX
Satisfaction, Time Investment and Success in Students' Programming Exer ...
10:50 - 11:35
PX
Towards Gaze Control in Programming Environments.
11:35 - 12:20
PX
Towards Making a Computer Tutor for Children of All Ages - A Memo.
13:50 - 14:35
PX
I sit down at my editor, and feel relaxed.
14:35 - 15:20
PX
Exemplifying Moldable Development.
16:00 - 16:45
PX
Evolving User Interfaces From Within Self-sustaining Programming Enviro ...
16:45 - 17:30
Tue 19 Jul
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
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Belli
FTfJP
Opening
10:05 - 10:10
FTfJP
Java Generics are Turing Complete
10:10 - 11:00
FTfJP
A Mechanical Soundness Proof for Subtyping Over Recursive Types
11:00 - 11:30
FTfJP
A formal account of SSA in Java-like languages
11:30 - 12:00
FTfJP
A Note on the Soundness of Difference Propagation
12:00 - 12:25
FTfJP
Generating Concurrency Checks Automatically
13:50 - 14:20
FTfJP
An Extended Buffered Memory Model With Full Reorderings
14:20 - 14:50
FTfJP
Towards a Model of Corecursion with Default
14:50 - 15:20
FTfJP
Tool Demonstration: The VeriFast Verification System for Java and C
16:00 - 16:30
FTfJP
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 Using VeriFast
16:30 - 17:00
FTfJP
Coupling Catch Clauses with Local Declarations
17:00 - 17:30
FTfJP
Towards Modular Reasoning for Context-Oriented Programs
17:30 - 18:00
FTfJP
Permission and Authority Revisited: Towards a Formalization
18:00 - 18:30
x
Mon 2 Dec 12:01