ECOOP 2015
Sun 5 - Fri 10 July 2015
Prague, Czech Republic
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Welcome
History
Students
Registration
Hotels
Food
Travel
Sponsoring
Conduct
Program
ECOOP Program
Your Program
Sun 5 Jul
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Tracks
ECOOP 2015
Artifacts
Curry On
Doctoral Symposium
Summer School
Posters
Research Track
Student Volunteers
Workshops
Workshops
COP
COP
COP
DSLDI
DSLDI
DSLDI
FTfJP
FTfJP
FTfJP
ICOOOLPS
JSTools
JSTools
JSTools
MASPEGHI
MASPEGHI
MASPEGHI
ML4PL
ML4PL
ML4PL
NetPL
PLAS
PLAS
PLAS
PLE
PLE
PLE
Pharo
Pharo
Pharo
RIOT
RIOT
RIOT
STOP
Truffle
Organization
ECOOP 2015 Committees
Organizing Committee
Track Committees
Artifacts
Doctoral Symposium
Academic Panel
Program Committee
Summer School
Posters
Research Track
Student Volunteers
Workshops
Contributors
People Index
Workshops
COP
Program Committee
DSLDI
Program Committee
FTfJP
Program committee
Steering Committee
ICOOOLPS
Program Committee
JSTools
Program Committee
MASPEGHI
Committee
ML4PL
Organization
Program committee
NetPL
Invited Speakers
Program Committee
PLAS
Program Committee
PLE
Organizers
Programme Committee
Pharo
Organizers
RIOT
Program Committee
STOP
Program Committee
Speakers
Truffle
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 2015
(
series
) /
Marriott
/
Room information: Hluboka I
Venue
Marriott
Room name
Hluboka I
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-05: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:30) Caracas
(GMT-03: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+10:00) Magadan
(GMT+11:30) 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
Mon 6 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:10 - 10:15
Day Opening
JSTools
at
Hluboka I
Chair(s):
Julian Dolby
IBM Research
,
Shu-yu Guo
Mozilla Corporation
,
Christian Hammer
Saarland University
,
Michael Pradel
TU Darmstadt
10:10
5m
Day opening
Opening Remarks
JSTools
10:15 - 10:45
Theory
JSTools
at
Hluboka I
Chair(s):
Christian Hammer
Saarland University
10:15
30m
Talk
ES5strict -> IVL, Principled Translation using Operational Semantics
JSTools
Daiva Naudžiūnienė
Imperial College London
10:50 - 12:20
Invited Talks at STOP
JSTools
at
Hluboka I
10:50
45m
Talk
Invited Talk at STOP by Andreas Rossberg
JSTools
11:35
45m
Talk
Invited Talk at STOP by Avik Chaudhuri
JSTools
13:50 - 14:35
Invited Talks at STOP II
JSTools
at
Hluboka I
13:50
45m
Talk
Invited Talk at STOP by Satish Chandra
JSTools
14:40 - 15:40
Practical Analysis
JSTools
at
Hluboka I
Chair(s):
Julian Dolby
IBM Research
14:40
30m
Talk
HybriDroid: Analysis Framework for Android Hybrid Applications
JSTools
Sukyoung Ryu
Korea Advanced Institute of Science and Technology
15:10
30m
Talk
Jalangi: A Dynamic Analyses Framework for JavaScript
JSTools
Koushik Sen
University of California, Berkeley
16:00 - 18:00
Practical Analysis II
JSTools
at
Hluboka I
Chair(s):
Michael Pradel
TU Darmstadt
16:00
30m
Talk
EventRacer: Scalable Analysis for Event-Driven Systems
JSTools
Martin Vechev
ETH Zurich
16:30
30m
Talk
Stateless Model Checking for JavaScript
JSTools
Anders Møller
Aarhus University
17:00
30m
Talk
MemInsight: Platform-Independent Memory Profiling for JavaScript
JSTools
Manu Sridharan
Samsung Research America
17:30
30m
Talk
Visualizing the interactions of client and server JS code
JSTools
Saba Alimadadi
University of British Columbia
18:00 - 18:30
Day Closing
JSTools
at
Hluboka I
Chair(s):
Julian Dolby
IBM Research
,
Shu-yu Guo
Mozilla Corporation
,
Christian Hammer
Saarland University
,
Michael Pradel
TU Darmstadt
18:00
30m
Day closing
Closing Remarks
JSTools
Tue 7 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
10:05 - 10:15
Welcome
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
10:05
10m
Day opening
Opening
FTfJP
10:15 - 12:15
Session 1
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
10:15
30m
Talk
A three-valued type system for true positives detection in Java-like languages
FTfJP
Davide Ancona
University of Genova
,
Federico Frassetto
10:45
30m
Talk
Imperative Objects with Dependent Types
FTfJP
Joana Campos
Lasige / Faculty of Sciences, Universidade de Lisboa
,
Vasco T. Vasconcelos
Lasige / Faculty of Sciences, Universidade de Lisboa
11:15
30m
Talk
Foo: A minimal Modern OO Calculus
FTfJP
Prodromos Gerakios
National Technical University of Athens
,
George Fourtounis
University of Athens
,
Yannis Smaragdakis
University of Athens
11:45
30m
Talk
Delegation vs Inheritance for Typestate Analysis
FTfJP
Du Li
Carnegie Mellon University
,
Alex Potanin
Victoria University of Wellington
,
Jonathan Aldrich
Carnegie Mellon University
12:15 - 12:35
Tool Demonstration 1
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
12:15
20m
Other
Why3
FTfJP
Léon Gondelman
LRI, Université Paris-Sud
13:45 - 14:45
Session 2
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
13:45
30m
Talk
Provably Live Exception Handling
FTfJP
Bart Jacobs
iMinds - Distrinet, KU Leuven
14:15
30m
Talk
Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML
FTfJP
Jorne Kandziora
University of Twente
,
Marieke Huisman
University of Twente
,
Christoph Bockisch
University of Twente
,
Marina Zaharieva-Stojanovski
University of Twente
14:45 - 15:35
Invited Talk
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
14:45
50m
Talk
Verification of Concurrent Software: Java and OpenCL
FTfJP
Marieke Huisman
University of Twente
16:00 - 17:30
Session 3
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
16:00
30m
Talk
Automatic Verification of Dafny Programs with Traits
FTfJP
Reza Ahmadi
University of Tampere
,
K. Rustan M. Leino
Microsoft Research
,
Jyrki Nummenmaa
University of Tampere
16:30
30m
Talk
Conditional Effects in Fine-grained Region Logic
FTfJP
Yuyan Bao
University of Central Florida
,
Gary T. Leavens
Central Florida University
,
Gidon Ernst
Augsburg University
17:00
30m
Talk
Regression Verification for Java Using a Secure Information Flow Calculus
FTfJP
Bernhard Beckert
Karlsruhe Institute of Technology
,
Vladimir Klebanov
Karlsruhe Institute of Technology
,
Mattias Ulbrich
Karlsruhe Institute of Technology
17:30 - 17:50
Tool Demonstration 2
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
17:30
20m
Other
Viper (Verification Infrastructure for Permission-based Reasoning)
FTfJP
Malte Schwerhoff
ETH Zurich, Switzerland
17:50 - 18:00
Closing
FTfJP
at
Hluboka I
Chair(s):
Rosemary Monahan
Maynooth University
17:50
10m
Day closing
Closing
FTfJP
Mon 6 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
Hluboka I
JSTools
Day Opening
JSTools
Theory
JSTools
Invited Talks at STOP
JSTools
Invited Talks at STOP II
JSTools
Practical Analysis
JSTools
Practical Analysis II
JSTools
Day Closing
Tue 7 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
Hluboka I
FTfJP
FTfJP
Welcome
FTfJP
Session 1
FTfJP
Tool Demonstration 1
FTfJP
Session 2
FTfJP
Invited Talk
FTfJP
Session 3
FTfJP
Tool Demonstration 2
FTfJP
Closing
Mon 6 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
Hluboka I
JSTools
Opening Remarks
10:10 - 10:15
JSTools
ES5strict -> IVL, Principled Translation using Operational Semantics
10:15 - 10:45
JSTools
Invited Talk at STOP by Andreas Rossberg
10:50 - 11:35
JSTools
Invited Talk at STOP by Avik Chaudhuri
11:35 - 12:20
JSTools
Invited Talk at STOP by Satish Chandra
13:50 - 14:35
JSTools
HybriDroid: Analysis Framework for Android Hybrid Applications
14:40 - 15:10
JSTools
Jalangi: A Dynamic Analyses Framework for JavaScript
15:10 - 15:40
JSTools
EventRacer: Scalable Analysis for Event-Driven Systems
16:00 - 16:30
JSTools
Stateless Model Checking for JavaScript
16:30 - 17:00
JSTools
MemInsight: Platform-Independent Memory Profiling for JavaScript
17:00 - 17:30
JSTools
Visualizing the interactions of client and server JS code
17:30 - 18:00
JSTools
Closing Remarks
18:00 - 18:30
Tue 7 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
Hluboka I
FTfJP
Opening
10:05 - 10:15
FTfJP
A three-valued type system for true positives detection in Java-like la ...
10:15 - 10:45
FTfJP
Imperative Objects with Dependent Types
10:45 - 11:15
FTfJP
Foo: A minimal Modern OO Calculus
11:15 - 11:45
FTfJP
Delegation vs Inheritance for Typestate Analysis
11:45 - 12:15
FTfJP
Why3
12:15 - 12:35
FTfJP
Provably Live Exception Handling
13:45 - 14:15
FTfJP
Run-time Assertion Checking of JML Annotations in Multithreaded Applica ...
14:15 - 14:45
FTfJP
Verification of Concurrent Software: Java and OpenCL
14:45 - 15:35
FTfJP
Automatic Verification of Dafny Programs with Traits
16:00 - 16:30
FTfJP
Conditional Effects in Fine-grained Region Logic
16:30 - 17:00
FTfJP
Regression Verification for Java Using a Secure Information Flow Calculus
17:00 - 17:30
FTfJP
Viper (Verification Infrastructure for Permission-based Reasoning)
17:30 - 17:50
FTfJP
Closing
17:50 - 18:00
x
Thu 21 Nov 09:36