MSR 2026
Mon 13 - Tue 14 April 2026
Rio de Janeiro, Brazil
co-located with
ICSE 2026
Toggle navigation
Attending
Venue: Windsor Convention Center and Hotels
MSR Social Events
MSR EDI Plan
MSR Newcomers get-together
ICSE 2026
Registration
Visa and Travel Authorization
Code of Conduct
Equity, Diversity, and Inclusion Plan for ICSE 2026
Official Travel Services
Social Events
Sustainability at ICSE 2026
Travel Support
In-Person Conference
Visiting Rio | Touristic Advice
Program
MSR Program
Your Program
Mon 13 Apr
Tue 14 Apr
Tracks
MSR 2026
MSR Program
Technical Papers
Industry Track
Data and Tool Showcase Track
FOSS Award
Junior PC
Keynotes
MSR Awards
Mining Challenge
Registered Reports
Social Events
Tutorials
Vision and Reflection
ICSE 2026
Social, Networking and Special Rooms
Organization
MSR 2026 Committees
Organizing Committee
Track Committees
Technical Papers
Industry Track
Data and Tool Showcase Track
FOSS Award
Junior PC
MSR Awards
Mining Challenge
Registered Reports
Tutorials
Vision and Reflection
Contributors
People Index
Search
Series
Series
MSR 2026
MSR 2025
MSR 2024
MSR 2023
MSR 2022
MSR 2021
MSR 2020
MSR 2019
MSR 2018
Sign in
Sign up
ICSE 2026
(
series
) /
MSR 2026
(
series
) /
Windsor Convention Center and Hotels
/
Room information: Capri V
Venue
Windsor Convention Center and Hotels
Room name
Capri V
Floor
0
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-03:00) Brasilia, Distrito Federal, Brazil
.
Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, Brazil
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(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
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
DS Session 1
CAIN Doctoral Symposium
at
Capri V
Chair(s):
Helena Holmström Olsson
Malmö University
11:00
30m
Keynote
AI Reinventing Software Engineering
CAIN Doctoral Symposium
Jan Bosch
Chalmers University of Technology
11:30
30m
Doctoral symposium paper
Closing the Diagnostic Gap: An Explainable Testing Framework for Validation and Verification of AI-Based Systems
Doctoral Symposium
CAIN Doctoral Symposium
Halit Eris
Technical University of Munich
12:00
30m
Doctoral symposium paper
The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by Design
Doctoral Symposium
CAIN Doctoral Symposium
Filippo Scaramuzza
Tilburg University and Eindhoven University of Technology
14:00 - 15:30
DS Session 2
CAIN Doctoral Symposium
at
Capri V
Chair(s):
Helena Holmström Olsson
Malmö University
14:00
30m
Doctoral symposium paper
Toward Architecture-Aware Evaluation Metrics for LLM Agents
Doctoral Symposium
CAIN Doctoral Symposium
Débora Lêda de Lucena Souza
Federal University of Campina Grande
14:30
30m
Doctoral symposium paper
Characterizing Architectural Complexity on Machine Learning-Enabled Systems
Doctoral Symposium
CAIN Doctoral Symposium
Renato Cordeiro Ferreira
IME-USP | JADS-TiU/TUe
15:00
30m
Keynote
Spray and Pray: Curse or Cure for Academic Publishing in the Age of GenAI?
CAIN Doctoral Symposium
Brian Fitzgerald
Lero - The Irish Software Research Centre and University of Limerick
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Tuesday Quiet Room
ICSE Social, Networking and Special Rooms
at
Capri V
Quiet Room for you to relax or work in a peaceful environment during ICSE 2026.
08:00
9h30m
Other
Quiet Room
ICSE Social, Networking and Special Rooms
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Wednesday Quiet Room
ICSE Social, Networking and Special Rooms
at
Capri V
Quiet Room for you to relax or work in a peaceful environment during ICSE 2026.
08:00
9h30m
Other
Quiet Room
ICSE Social, Networking and Special Rooms
10:30 - 11:00
Neurodiverse Café
ICSE Social, Networking and Special Rooms
at
Capri V
10:30
30m
Social Event
Neurodiverse Café
ICSE Social, Networking and Special Rooms
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Thursday Quiet Room
ICSE Social, Networking and Special Rooms
at
Capri V
Quiet Room for you to relax or work in a peaceful environment during ICSE 2026.
08:00
9h30m
Other
Quiet Room
ICSE Social, Networking and Special Rooms
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
08:00 - 17:30
Friday Quiet Room
ICSE Social, Networking and Special Rooms
at
Capri V
Quiet Room for you to relax or work in a peaceful environment during ICSE 2026.
08:00
9h30m
Other
Quiet Room
ICSE Social, Networking and Special Rooms
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 10:30
KEYNOTE
STATIC
at
Capri V
09:00
30m
Day opening
STATIC 2026 Introduction
STATIC
Jordan Samhi
University of Luxembourg, Luxembourg
,
Martin Kellogg
New Jersey Institute of Technology
,
Eric Bodden
Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM
,
Jacques Klein
University of Luxembourg
09:30
60m
Keynote
Program-level Security Analysis: A Journey From Safety to Security (or, What About The Attacker?)
STATIC
K:
Sébastien Bardin
CEA LIST, University Paris-Saclay
11:00 - 12:30
Papers
STATIC
at
Capri V
11:00
30m
Talk
Revisiting Halstead’s Metrics through Abstract Syntax Trees in C
STATIC
Arthur Morgado Teixeira
Universidade Vila Velha
,
Abrantes Araújo Silva Filho
Universidade Vila Velha
,
Jean-Rémi Bourguet
Universidade Vila Velha
11:30
30m
Talk
FP-Predictor – False Positive Prediction for Static Analysis Reports
STATIC
Tom Ohlmer
Paderborn University
,
Michael Schlichtig
Heinz Nixdorf Institute at Paderborn University
,
Eric Bodden
Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM
14:00 - 15:30
Invited Talks
STATIC
at
Capri V
14:00
90m
Talk
How Context-Sensitive Static Analysis Led to the Best Smart Contract Decompiler
STATIC
S:
Yannis Smaragdakis
University of Athens
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Capri V
CAIN Doctoral Symposium
CAIN Doctoral Symposium
DS Session 1
CAIN Doctoral Symposium
DS Session 2
CAIN Doctoral Symposium
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
30
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
Capri V
ICSE Social, Networking and Special Rooms
Tuesday Quiet Room
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
30
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
Capri V
ICSE Social, Networking and Special Rooms
Wednesday Quiet Room
ICSE Social, Networking and Special Rooms
Neurodiverse Café
10:30 - 11:00
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
30
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
Capri V
ICSE Social, Networking and Special Rooms
Thursday Quiet Room
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
30
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
Capri V
ICSE Social, Networking and Special Rooms
Friday Quiet Room
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Capri V
STATIC
KEYNOTE
STATIC
Papers
STATIC
Invited Talks
STATIC
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Capri V
CAIN Doctoral Symposium
AI Reinventing Software Engineering
11:00 - 11:30
CAIN Doctoral Symposium
Doctoral Symposium
Closing the Diagnostic Gap: An Explainable Testing Framework for Valida ...
11:30 - 12:00
CAIN Doctoral Symposium
Doctoral Symposium
The Inauditable Lie: Achieving Verifiable and Compliant AI Systems by D ...
12:00 - 12:30
CAIN Doctoral Symposium
Doctoral Symposium
Toward Architecture-Aware Evaluation Metrics for LLM Agents
14:00 - 14:30
CAIN Doctoral Symposium
Doctoral Symposium
Characterizing Architectural Complexity on Machine Learning-Enabled Systems
14:30 - 15:00
CAIN Doctoral Symposium
Spray and Pray: Curse or Cure for Academic Publishing in the Age of GenAI?
15:00 - 15:30
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
15
30
45
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
17:00
15
30
45
Capri V
ICSE Social, Networking and Special Rooms
Quiet Room
08:00 - 17:30
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
15
30
45
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
17:00
15
30
45
Capri V
ICSE Social, Networking and Special Rooms
Quiet Room
08:00 - 17:30
Neurodiverse Café
10:30 - 11:00
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
15
30
45
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
17:00
15
30
45
Capri V
ICSE Social, Networking and Special Rooms
Quiet Room
08:00 - 17:30
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
8:00
15
30
45
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
17:00
15
30
45
Capri V
ICSE Social, Networking and Special Rooms
Quiet Room
08:00 - 17:30
Sat 18 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
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
Capri V
STATIC
STATIC 2026 Introduction
09:00 - 09:30
STATIC
Program-level Security Analysis: A Journey From Safety to Security (or, ...
09:30 - 10:30
STATIC
Revisiting Halstead’s Metrics through Abstract Syntax Trees in C
11:00 - 11:30
STATIC
FP-Predictor – False Positive Prediction for Static Analysis Reports
11:30 - 12:00
STATIC
How Context-Sensitive Static Analysis Led to the Best Smart Contract De ...
14:00 - 15:30
x
Thu 9 Apr 19:47