ECOOP 2022
Mon 6 June - Thu 7 July 2022
Berlin, Germany
Toggle navigation
Attending
ECOOP: Scandic Potsdamer Platz, Berlin
VCOOP: Virtual Meeting(s)
Banquet: Clärchen's Ballhaus
Sponsorship
Conduct
Visa
Accommodation
Registration
Schedule
Conference Impressions
A Taste of ECOOP
Program
ECOOP Program
Your Program
Filter by Day
Mon 6 Jun
Tue 7 Jun
Wed 8 Jun
Thu 9 Jun
Fri 10 Jun
Sat 11 Jun
Sun 12 Jun
Mon 13 Jun
Tue 14 Jun
Wed 15 Jun
Thu 16 Jun
Fri 17 Jun
Sat 18 Jun
Sun 19 Jun
Mon 20 Jun
Tue 21 Jun
Wed 22 Jun
Thu 23 Jun
Fri 24 Jun
Sat 25 Jun
Sun 26 Jun
Mon 27 Jun
Tue 28 Jun
Wed 29 Jun
Thu 30 Jun
Fri 1 Jul
Sat 2 Jul
Sun 3 Jul
Mon 4 Jul
Tue 5 Jul
Wed 6 Jul
Thu 7 Jul
Tracks
ECOOP 2022
Awards
Keynotes
Research Papers
Workshops
Artifacts
Doctoral Symposium
Expert Discussion
Hub Talks
Student Volunteers
Workshops
COP
FTfJP
ICOOOLPS
PAW
PLF
PRIDE
Truffle
VORTEX
VORTEX
- Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
- Hardware-assisted Runtime Monitoring
- To Monitorability and Beyond (online talk)
Co-hosted Symposia
Scala
Organization
ECOOP 2022 Committees
Organizers
Track Committees
Research Papers
Program Committee
Extended Review Committee
Workshops
Artifacts
Doctoral Symposium
Academic Panel
Organizing Committee
Program Committee
Expert Discussion
Hub Talks
Student Volunteers
Contributors
People Index
Workshops
COP
Program Committee
Workshop Organizers
FTfJP
Program Committee Chair
Program Committee
Steering Committee
ICOOOLPS
Organizing Committee
Program Committee
PAW
Organizing Committee
Program Committee
PLF
Organizing Committee
PRIDE
PRIDE 2022 Workshop Organizers
Truffle
Truffle 2022 Workshop Organizers
VORTEX
VORTEX 2022 Workshop Organizers
Co-hosted Symposia
Scala
Keynote
Organizing Committee
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 2022
(
series
) /
Scandic Potsdamer Platz, Berlin
/
Room information: Stockholm
Venue
Scandic Potsdamer Platz, Berlin
Room name
Stockholm
Floor
2
Capacity
54
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+02: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
Mon 6 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
11:00 - 12:30
Morning session
VORTEX
at
Stockholm
Chair(s):
Davide Ancona
DIBRIS, University of Genova, Italy
11:00
5m
Day opening
Opening
VORTEX
Davide Ancona
DIBRIS, University of Genova, Italy
,
Adrian Francalanza
University of Malta
11:05
40m
Keynote
Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
VORTEX
I:
Nobuko Yoshida
Imperial College London
11:45
20m
Talk
Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
VORTEX
S:
Gaurav Gupta
,
Saumya Shankar
,
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
12:05
20m
Talk
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
VORTEX
S:
Rahul Bharadwaj Pendyala
,
Srinivas Pinisetty
Indian Institute of Technology Bhubaneswar
,
Abhinandan Panda
13:30 - 15:00
First afternoon session
VORTEX
at
Stockholm
Chair(s):
Gary T. Leavens
University of Central Florida
13:30
40m
Keynote
Hardware-assisted Runtime Monitoring
VORTEX
I:
Volker Stolz
Høgskulen på Vestlandet
Link to publication
14:10
20m
Talk
Predictive Semantics for Past-CTL Runtime Monitors
VORTEX
S:
Giorgio Audrito
Università di Torino
,
Volker Stolz
Høgskulen på Vestlandet
,
Gianluca Torta
14:30
20m
Talk
HIBOU : Tooling Offline Runtime Verification against Interaction Models
VORTEX
S:
Erwan Mahe
,
Boutheina Bannour
,
Christophe Gaston
,
Arnault Lapitre
,
Pascale Le Gall
CentraleSupelec
15:30 - 17:00
Second afternoon session
VORTEX
at
Stockholm
Chair(s):
Volker Stolz
Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I:
Antonis Achilleos
Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh
University of Central Florida
,
S:
Gary T. Leavens
University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
S:
Richard Lipka
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona
DIBRIS, University of Genova, Italy
,
Adrian Francalanza
University of Malta
Mon 6 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
Stockholm
VORTEX
VORTEX
Morning session
VORTEX
First afternoon session
VORTEX
Second afternoon session
Mon 6 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
Stockholm
VORTEX
Opening
11:00 - 11:05
VORTEX
Specification-Guided Hybrid Dynamic Verification for Parallel and Dist ...
11:05 - 11:45
VORTEX
Towards a Secure Framework for Artifact-centric Workflows Leveraging Ru ...
11:45 - 12:05
VORTEX
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitorin ...
12:05 - 12:25
VORTEX
Hardware-assisted Runtime Monitoring
13:30 - 14:10
VORTEX
Predictive Semantics for Past-CTL Runtime Monitors
14:10 - 14:30
VORTEX
HIBOU : Tooling Offline Runtime Verification against Interaction Models
14:30 - 14:50
VORTEX
To Monitorability and Beyond (online talk)
15:30 - 16:10
VORTEX
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
16:10 - 16:30
VORTEX
Runtime monitoring of Java duplicate memory allocations (online talk)
16:30 - 16:50
VORTEX
Closing
16:50 - 16:55
x
Sat 7 Dec 17:53