FTfJP 2022
Mon 6 - Fri 10 June 2022
Berlin, Germany
co-located with
ECOOP 2022
Toggle navigation
Attending
ECOOP: Scandic Potsdamer Platz, Berlin
VCOOP: Virtual Meeting(s)
Banquet: Clärchen's Ballhaus
Program
Complete Program
Your Program
Mon 6 Jun
Tue 7 Jun
Wed 8 Jun
Thu 9 Jun
Fri 10 Jun
Track/Call
Organization
FTfJP 2022 Committees
Track Committees
Program Committee Chair
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
FTfJP 2023
FTfJP 2022
FTfJP 2021
FTfJP 2020
FTfJP 2019
FTfJP 2018
FTfJP 2017
FTfJP 2016
FTfJP 2015
Sign in
Sign up
ECOOP 2022
(
series
) /
FTfJP 2022 (
series
) /
Scandic Potsdamer Platz, Berlin
/
Room information: Copenhagen 1
Venue
Scandic Potsdamer Platz, Berlin
Room name
Copenhagen 1
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
Session 1
PRIDE
at
Copenhagen 1
Chair(s):
Linghui Luo
Amazon Web Services
09:15
15m
Talk
Welcome by the Organizers
PRIDE
09:30
25m
Talk
A GitLab IDE Integration Based on MagpieBridge
PRIDE
Julian Thome
GitLab Inc.
File Attached
09:55
35m
Talk
GobPie: An IDE Integration for Goblint Using MagpieBridge
PRIDE
Karoliine Holter
University of Tartu, Estonia
,
Sarah Tilscher
File Attached
11:00 - 12:30
Session 2
PRIDE
at
Copenhagen 1
Chair(s):
Julian Thome
GitLab Inc.
11:00
25m
Talk
Secucheck: Building a Configurable Taint Analysis
PRIDE
Goran Piskachev
Fraunhofer IEM
File Attached
11:25
25m
Talk
Experience From Integrating Secucheck-Kotlin Into IDE
PRIDE
Ranjith Krishnamurthy
Fraunhofer IEM
File Attached
13:30 - 15:00
Session 3
PRIDE
at
Copenhagen 1
Chair(s):
Julian Dolby
IBM Research, USA
14:00
25m
Talk
Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Magpiebridge
PRIDE
Idriss Riouak
Department of Computer Science, Lund University, Sweden
File Attached
14:25
25m
Talk
Property Probes: Source Code Based Exploration of Program Analysis Results
PRIDE
Anton Risberg Alaküla
Department of Computer Science, Lund University, Sweden
File Attached
15:30 - 17:00
Session 4
PRIDE
at
Copenhagen 1
15:30
60m
Talk
MagpieBridge Tutorial Given By the Organizers
PRIDE
File Attached
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
Copenhagen 1
PRIDE
Session 1
PRIDE
Session 2
PRIDE
Session 3
PRIDE
Session 4
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
Copenhagen 1
PRIDE
Welcome by the Organizers
09:15 - 09:30
PRIDE
A GitLab IDE Integration Based on MagpieBridge
09:30 - 09:55
PRIDE
GobPie: An IDE Integration for Goblint Using MagpieBridge
09:55 - 10:30
PRIDE
Secucheck: Building a Configurable Taint Analysis
11:00 - 11:25
PRIDE
Experience From Integrating Secucheck-Kotlin Into IDE
11:25 - 11:50
PRIDE
Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Ma ...
14:00 - 14:25
PRIDE
Property Probes: Source Code Based Exploration of Program Analysis Results
14:25 - 14:50
PRIDE
MagpieBridge Tutorial Given By the Organizers
15:30 - 16:30
x
Fri 29 Mar 10:19