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
Complete 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 2
Venue
Scandic Potsdamer Platz, Berlin
Room name
Stockholm 2
Floor
2
Capacity
20
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
Tue 7 Jun
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
FTfJP 2022 A
FTfJP
at
Stockholm 2
Chair(s):
Gary T. Leavens
University of Central Florida
09:00
30m
Meeting
Welcome to FTfJP 22
FTfJP
09:30
30m
Paper
Rusty Links in Local Chains
FTfJP
A:
James Noble
Creative Research & Programming
,
A:
Julian Mackay
Victoria University of Wellington
,
A:
Tobias Wrigstad
Uppsala University
File Attached
10:00
30m
Paper
Using Functional Reactive Programming to Define Safe Actor Systems
FTfJP
A:
Nick Webster
Victoria University of Wellington
,
A:
Marco Servetto
Victoria University Wellington, New Zealand
,
A:
Michael Homer
Victoria University of Wellington
File Attached
11:00 - 12:30
FTfJP 2022 B
FTfJP
at
Stockholm 2
Chair(s):
Alexander J. Summers
University of British Columbia
11:00
30m
Paper
Automated Reasoning Repair
FTfJP
A:
Amirfarhad Nilizadeh
University of Central Florida
,
A:
Gary T. Leavens
University of Central Florida
,
A:
David Cok
Safer Software Consulting, LLC
File Attached
11:30
30m
Paper
On the need for a common API for abstract domains of object-oriented programs
FTfJP
A:
Gianluca Amato
University of Chieti-Pescara
,
A:
Maria Chiara Meo
University “G. d’Annunzio” of Chieti-Pescara
,
A:
Francesca Scozzari
University of Chieti-Pescara
File Attached
12:00
30m
Paper
A Graph-Based Formal Semantics of Reactive Programming from First Principles
FTfJP
A:
Bjarno Oeyen
Vrije Universiteit Brussel
,
A:
Joeri De Koster
Vrije Universiteit Brussel, Belgium
,
A:
Wolfgang De Meuter
Vrije Universiteit Brussel
Pre-print
Media Attached
File Attached
13:30 - 15:00
FTfJP 2022 C
FTfJP
at
Stockholm 2
Chair(s):
Henrique Rebelo
Universidade Federal de Pernambuco
13:30
30m
Lunch
Extended Lunch
FTfJP
14:00
60m
Keynote
Challenges in the field-sensitive analysis of LLVM IR
FTfJP
Eric Bodden
University of Paderborn; Fraunhofer IEM
15:30 - 17:00
FTfJP 2022 D
FTfJP
at
Stockholm 2
Chair(s):
Henrique Rebelo
Universidade Federal de Pernambuco
15:30
30m
Talk
Documentation and Educational Materials for a 2nd edition of the Java Modeling Language
FTfJP
A:
David Cok
Safer Software Consulting, LLC
File Attached
16:00
30m
Paper
Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
FTfJP
A:
Nikolai Kudasov
Innopolis University, Russia
,
A:
Violetta Sim
Innopolis University
Link to publication
DOI
Pre-print
File Attached
16:30
30m
Meeting
Discussion and Wrap-Up
FTfJP
Tue 7 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 2
FTfJP
FTfJP 2022 A
FTfJP
FTfJP 2022 B
FTfJP
FTfJP 2022 C
FTfJP
FTfJP 2022 D
Tue 7 Jun
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
Stockholm 2
FTfJP
Welcome to FTfJP 22
09:00 - 09:30
FTfJP
Rusty Links in Local Chains
09:30 - 10:00
FTfJP
Using Functional Reactive Programming to Define Safe Actor Systems
10:00 - 10:30
FTfJP
Automated Reasoning Repair
11:00 - 11:30
FTfJP
On the need for a common API for abstract domains of object-oriented pr ...
11:30 - 12:00
FTfJP
A Graph-Based Formal Semantics of Reactive Programming from First Princ ...
12:00 - 12:30
FTfJP
Extended Lunch
13:30 - 14:00
FTfJP
Challenges in the field-sensitive analysis of LLVM IR
14:00 - 15:00
FTfJP
Documentation and Educational Materials for a 2nd edition of the Java M ...
15:30 - 16:00
FTfJP
Formalizing $\varphi$-calculus: a purely object-oriented calculus of de ...
16:00 - 16:30
FTfJP
Discussion and Wrap-Up
16:30 - 17:00
x
Fri 4 Oct 10:40