MSR 2025
Mon 28 - Tue 29 April 2025
Ottawa, Ontario, Canada
co-located with
ICSE 2025
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
Venue: Offsite Special Venue
Reception venue: National Arts Centre
Registration
MSR Banquet
Equity, Diversity, and Inclusion Plan
ICSE 2025
Registration
Food at ICSE2025
Fun Activities
Social media
Hotels
Getting Around Ottawa
Visa and Travel Authorization
Travelling to Ottawa
Travel Support
Code of Conduct
Equity, Diversity, and Inclusion Plan
Sustainability
FAQ
Program
MSR Program
Your Program
Mon 28 Apr
Tue 29 Apr
Tracks
MSR 2025
Data and Tool Showcase Track
FCA Award
Industry Track
Junior PC
Keynotes
MIP Award
MSR Awards
Mining Challenge
Program
Registered Reports
Technical Papers
Tutorials
Vision and Reflection
Organization
MSR 2025 Committees
Organizing Committee
Track Committees
Data and Tool Showcase Track
FCA Award
Industry Track
Junior PC
MSR Awards
Mining Challenge
Registered Reports
Technical Papers
Tutorials
Vision and Reflection
Contributors
People Index
Search
Series
Series
MSR 2025
MSR 2024
MSR 2023
MSR 2022
MSR 2021
MSR 2020
MSR 2019
MSR 2018
Sign in
Sign up
ICSE 2025
(
series
) /
MSR 2025
(
series
) /
Rogers Centre, Ottawa (formerly Shaw Centre)
/
Room information: 107
Venue
Rogers Centre, Ottawa (formerly Shaw Centre)
Room name
107
Floor
1
Room number
107
Capacity
42
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
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+03: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 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote
STATIC
at
107
Chair(s):
Martin Kellogg
New Jersey Institute of Technology
,
Jacques Klein
University of Luxembourg
,
Jordan Samhi
University of Luxembourg, Luxembourg
09:30
15m
Day opening
Introduction by the Organization Chairs
STATIC
O:
Jordan Samhi
University of Luxembourg, Luxembourg
,
O:
Eric Bodden
Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
,
O:
Martin Kellogg
New Jersey Institute of Technology
,
O:
Jacques Klein
University of Luxembourg
09:45
45m
Keynote
Keynote
STATIC
TBD
11:00 - 12:30
Paper Presentations
STATIC
at
107
11:00
30m
Talk
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis
STATIC
Tanmay Tirpankar
University of Utah
,
Artem Yadrov
University of Utah
,
Pavel Panchekha
University of Utah
,
Ganesh Gopalakrishnan
University of Utah
11:30
30m
Talk
Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS
STATIC
Florian Magin
Fraunhofer SIT | ATHENE
,
Gwendal Patat
Fraunhofer SIT | ATHENE
,
Fabian Scherf
Fraunhofer SIT | ATHENE
12:00
30m
Talk
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine
STATIC
Semyon Grigorev
Saint Petersburg State University, Russia
,
Anna Chistyakova
Saint-Petersburg State University
,
Maxim Nigmatulin
Saint-Petersburg State University
,
Ekaterina Shemetova
Saint-Petersburg State University
,
Danil Parfenov
Saint-Petersburg State University
,
David Akhmedov
Saint-Petersburg State University
14:00 - 15:30
Invited Talks
STATIC
at
107
14:00
45m
Talk
Invited Talk 1
STATIC
TBD
14:45
45m
Talk
Invited Talk 2
STATIC
TBD
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
107
STATIC
Keynote
STATIC
Paper Presentations
STATIC
Invited Talks
STATIC
Tue 29 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
107
STATIC
Introduction by the Organization Chairs
09:30 - 09:45
STATIC
Keynote
09:45 - 10:30
STATIC
FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-P ...
11:00 - 11:30
STATIC
Heros in Action: Analyzing Objective-C Binaries through Decompilation a ...
11:30 - 12:00
STATIC
PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant fo ...
12:00 - 12:30
STATIC
Invited Talk 1
14:00 - 14:45
STATIC
Invited Talk 2
14:45 - 15:30
x
Mon 31 Mar 17:56