ICOOOLPS 2015
Mon 6 - Fri 10 July 2015
Prague, Czech Republic
co-located with
ECOOP 2015
Toggle navigation
Attending
Venue: Marriott
Restaurant: Velka Klasterni (Curry On)
Restaurant: Hergertova Cihelna (ECOOP)
Venue: FIT
Program
Complete Program
Your Program
Mon 6 Jul
Tue 7 Jul
Wed 8 Jul
Thu 9 Jul
Fri 10 Jul
Track/Call
Organization
ICOOOLPS 2015 Committees
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ICOOOLPS 2024
ICOOOLPS 2023
ICOOOLPS 2022
ICOOOLPS 2021
ICOOOLPS 2020
ICOOOLPS 2019
ICOOOLPS 2018
ICOOOLPS 2017
ICOOOLPS 2016
ICOOOLPS 2015
Sign in
Sign up
ECOOP 2015
(
series
) /
ICOOOLPS 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
Fri 29 Mar 01:23