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
Complete 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: Alfieri
Venue
Congress Center
Room name
Alfieri
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
Session 1
STOP
at
Alfieri
08:45
10m
Day opening
Opening remarks
STOP
08:55
50m
Talk
Types for Ruby
STOP
Jeffrey S. Foster
University of Maryland, College Park
10:05 - 12:25
Session 2
STOP
at
Alfieri
10:05
50m
Talk
Optional Typing in Dart: Purity and Practice
STOP
Gilad Bracha
Google
Pre-print
10:55
30m
Beyond Types: Extending the Gradual Guarantee
STOP
James Noble
Victoria University of Wellington
,
Michael Homer
Victoria University of Wellington
,
Timothy Jones
Victoria University of Wellington
,
Sophia Drossopoulou
Imperial College London
,
Andrew Black
Portland State University
,
Kim Bruce
Pomona College
Link to publication
11:25
30m
Gradual Typing for Delimited Continuations
STOP
Yusuke Miyazaki
Kyoto University
,
Taro Sekiyama
,
Atsushi Igarashi
Kyoto University
Link to publication
11:55
30m
Talk
Automating Gradual Typing
STOP
Timothy Jones
Victoria University of Wellington
Link to publication
File Attached
13:50 - 15:20
Session 3
STOP
at
Alfieri
13:50
50m
Talk
Gradual types for real-world objects
STOP
Jan Vitek
Northeastern University
14:40
30m
A Systematic Performance Evaluation of Gradually Typed Functions and References
STOP
Andre Kuhlenschmidt
Indiana University
,
Deyaaeldeen Almahallawi
Indiana University
,
Jeremy G. Siek
Indiana University
16:00 - 16:40
Session 4
STOP
at
Alfieri
16:00
30m
From Optional to Gradual Typing via Transient Checks
STOP
Michael Vitousek
,
Jeremy G. Siek
Indiana University
16:30
10m
Day closing
Closing remarks
STOP
16:45 - 18:45
Welcome Session
Summer School
at
Alfieri
Chair(s):
Jan Vitek
Northeastern University
16:45
10m
Day opening
Welcome
Summer School
16:55
50m
Talk
My twenty-five years of ECOOP
Summer School
Jan Vitek
Northeastern University
File Attached
17:45
60m
Talk
Research in Academia and Industry
Summer School
S:
Jade Alglave
University College London
Mon 18 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:10 - 09:45
Session 1
ICOOOLPS
at
Alfieri
Chair(s):
Stefan Marr
Johannes Kepler University Linz
09:10
5m
Day opening
Welcome
ICOOOLPS
Stefan Marr
Johannes Kepler University Linz
09:15
30m
Talk
Source Language Representation of Function Summaries in Static Analysis
ICOOOLPS
Gábor Horváth
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
,
Norbert Pataki
Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers
Media Attached
File Attached
10:05 - 12:25
Session 2
ICOOOLPS
at
Alfieri
Chair(s):
Tomas Kalibera
Northeastern University
10:05
60m
Talk
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrumentation
ICOOOLPS
LubomÃr Bulej
Charles University
Media Attached
File Attached
11:05
30m
Talk
The Performance of Object Encodings in JavaScript
ICOOOLPS
Forrest Alexander
Portland State University
,
Andrew Black
Portland State University
Media Attached
File Attached
11:35
30m
Talk
Virtual Machine Warm-up Blows Hot and Cold
ICOOOLPS
Edd Barrett
King's College London
,
CF Bolz-Tereick
King's College London
,
Rebecca Killick
Department of Mathematics and Statistics, University of Lancaster
,
Vincent Knight
School of Mathematics, Cardiff University
,
Sarah Mount
King's College London
,
Laurence Tratt
King's College London
Link to publication
Media Attached
File Attached
12:05
20m
Other
Discussions
ICOOOLPS
13:50 - 15:20
Session 3
ICOOOLPS
at
Alfieri
Chair(s):
Edd Barrett
King's College London
13:50
60m
Talk
Growing an Abstract Grammar: Teaching Language Engineering
ICOOOLPS
Theo D'Hondt
Vrije Universiteit Brussel
Media Attached
14:50
30m
Talk
MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Language Implementations
ICOOOLPS
Shijie Xu
University of New Brunswick
,
David Bremner
University of New Brunswick
,
Daniel Heidinga
IBM
Media Attached
File Attached
16:00 - 17:30
Session 4
ICOOOLPS
at
Alfieri
Chair(s):
Eric Jul
Alcatel-Lucent Bell Labs
16:00
30m
Talk
TruffleReloader: A Low-Overhead Language-Neutral Reloader
ICOOOLPS
Tõnis Pool
ZeroTurnaround / University of Tartu
,
Allan Raundahl Gregersen
ZeroTurnaround
,
Vesal Vojdani
University of Tartu
Media Attached
File Attached
16:30
30m
Talk
Sulong - Execution of LLVM-Based Languages on the JVM
ICOOOLPS
Manuel Rigger
Johannes Kepler University, Linz, Austria
,
Matthias Grimmer
Johannes Kepler University Linz
,
Hanspeter Mössenböck
Johannes Kepler University Linz
Media Attached
File Attached
17:00
30m
Talk
Efficient Profiling of Actor-based Applications in Parallel and Distributed Systems
ICOOOLPS
Andrea RosÃ
Università della Svizzera italiana
,
Lydia Y. Chen
IBM Research Lab Zurich
,
Walter Binder
University of Lugano
Media Attached
File Attached
17:40 - 18:30
Session 5
ICOOOLPS
at
Alfieri
Chair(s):
Stefan Marr
Johannes Kepler University Linz
17:40
25m
Demonstration
Demo of Docking: Enabling Language Based Dynamic Coupling
ICOOOLPS
Magnus Haugom Christensen
University of Oslo
,
Eric Jul
Alcatel-Lucent Bell Labs
18:05
25m
Day closing
Discussions and Wrap Up
ICOOOLPS
Tue 19 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:45 - 12:25
Session 1
JSTools
at
Alfieri
10:45
5m
Day opening
Opening Remarks
JSTools
Julian Dolby
IBM Thomas J. Watson Research Center
10:50
40m
So You Want to Build Memory Tooling For JavaScript?
JSTools
Nick Fitzgerald
11:30
40m
Sound Type Inference for JavaScript
JSTools
Jean-Baptiste Jeannin
Carnegie Mellon University
13:50 - 15:20
Session 2
JSTools
at
Alfieri
13:50
30m
Talk
Invited Talk - Frozen Realms: Confining effects for safer JavaScript plugins
JSTools
Mark Miller
Google Inc.
14:20
30m
JavaScript Verification
JSTools
Philippa Gardner
Imperial College London
14:50
30m
What Went Wrong? Automatic Triage of Precision Loss During Static Analysis of JavaScript
JSTools
Alexander Jordan
Oracle Labs, Australia
16:00 - 17:30
Session 3
JSTools
at
Alfieri
16:00
40m
Verification of Communication in Web Applications
JSTools
Nathalie Oostvogels
Vrije Universiteit Brussel
16:40
40m
Fishing for JavaScript Bugs at the Shallow End
JSTools
Max Schaefer
Semmle
17:20
10m
Day closing
Closing Remarks
JSTools
Julian Dolby
IBM Thomas J. Watson Research Center
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
18:00
30
Alfieri
STOP
Session 1
STOP
Session 2
STOP
Session 3
STOP
Session 4
Summer School
Welcome Session
Mon 18 Jul
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
18:00
30
Alfieri
ICOOOLPS
Session 1
ICOOOLPS
Session 2
ICOOOLPS
Session 3
ICOOOLPS
Session 4
ICOOOLPS
Session 5
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
Alfieri
JSTools
Session 1
JSTools
Session 2
JSTools
Session 3
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
18:00
15
30
45
Alfieri
STOP
Opening remarks
08:45 - 08:55
STOP
Types for Ruby
08:55 - 09:45
STOP
Optional Typing in Dart: Purity and Practice
10:05 - 10:55
STOP
Beyond Types: Extending the Gradual Guarantee
10:55 - 11:25
STOP
Gradual Typing for Delimited Continuations
11:25 - 11:55
STOP
Automating Gradual Typing
11:55 - 12:25
STOP
Gradual types for real-world objects
13:50 - 14:40
STOP
A Systematic Performance Evaluation of Gradually Typed Functions and Re ...
14:40 - 15:10
STOP
From Optional to Gradual Typing via Transient Checks
16:00 - 16:30
STOP
Closing remarks
16:30 - 16:40
ECOOP Summer School
Welcome
16:45 - 16:55
ECOOP Summer School
My twenty-five years of ECOOP
16:55 - 17:45
ECOOP Summer School
Research in Academia and Industry
17:45 - 18:45
Mon 18 Jul
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
18:00
15
30
45
Alfieri
ICOOOLPS
Welcome
09:10 - 09:15
ICOOOLPS
Source Language Representation of Function Summaries in Static Analysis
09:15 - 09:45
ICOOOLPS
Beneath the Bytecode: Observing the JVM at Work Using Bytecode Instrume ...
10:05 - 11:05
ICOOOLPS
The Performance of Object Encodings in JavaScript
11:05 - 11:35
ICOOOLPS
Virtual Machine Warm-up Blows Hot and Cold
11:35 - 12:05
ICOOOLPS
Discussions
12:05 - 12:25
ICOOOLPS
Growing an Abstract Grammar: Teaching Language Engineering
13:50 - 14:50
ICOOOLPS
MHDeS: Deduplicate Method Handle Graph for Efficient Dynamic JVM Langua ...
14:50 - 15:20
ICOOOLPS
TruffleReloader: A Low-Overhead Language-Neutral Reloader
16:00 - 16:30
ICOOOLPS
Sulong - Execution of LLVM-Based Languages on the JVM
16:30 - 17:00
ICOOOLPS
Efficient Profiling of Actor-based Applications in Parallel and Distrib ...
17:00 - 17:30
ICOOOLPS
Demo of Docking: Enabling Language Based Dynamic Coupling
17:40 - 18:05
ICOOOLPS
Discussions and Wrap Up
18:05 - 18: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
Alfieri
JSTools
Opening Remarks
10:45 - 10:50
JSTools
So You Want to Build Memory Tooling For JavaScript?
10:50 - 11:30
JSTools
Sound Type Inference for JavaScript
11:30 - 12:10
JSTools
Invited Talk - Frozen Realms: Confining effects for safer JavaScript pl ...
13:50 - 14:20
JSTools
JavaScript Verification
14:20 - 14:50
JSTools
What Went Wrong? Automatic Triage of Precision Loss During Static Analy ...
14:50 - 15:20
JSTools
Verification of Communication in Web Applications
16:00 - 16:40
JSTools
Fishing for JavaScript Bugs at the Shallow End
16:40 - 17:20
JSTools
Closing Remarks
17:20 - 17:30
x
Wed 30 Oct 23:53