MO2RE 2025
Sat 26 April - Sun 4 May 2025
Ottawa, Ontario, Canada
co-located with
ICSE 2025
Toggle navigation
Attending
Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
Venue: Offsite Special Venue
Program
MO2RE Program
Your Program
Filter by Day
Sat 26 Apr
Sun 27 Apr
Mon 28 Apr
Tue 29 Apr
Wed 30 Apr
Thu 1 May
Fri 2 May
Sat 3 May
Sun 4 May
Track/Call
Organization
MO2RE 2025 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
MO2RE 2025
MO2RE 2024
Sign in
Sign up
ICSE 2025
(
series
) /
MO2RE 2025 (
series
) /
Rogers Centre, Ottawa (formerly Shaw Centre)
/
Room information: 103
Venue
Rogers Centre, Ottawa (formerly Shaw Centre)
Room name
103
Floor
1
Room number
103
Capacity
78
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
Tutorial 1 (Part 1)
ICSE Tutorials and Technical Briefings
at
103
09:00
90m
Tutorial
Tutorial 1: Quantum Software Testing
Testing and QA
Quantum
ICSE Tutorials and Technical Briefings
11:00 - 12:30
Tutorial 1 (Part 2)
ICSE Tutorials and Technical Briefings
at
103
11:00
90m
Tutorial
Tutorial 1: Quantum Software Testing
Testing and QA
Quantum
ICSE Tutorials and Technical Briefings
14:00 - 15:30
Tutorial 2 (Part 1)
ICSE Tutorials and Technical Briefings
at
103
14:00
90m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
SE for AI
Requirements
Human/Social
Real-Time+Safety
ICSE Tutorials and Technical Briefings
16:00 - 17:30
Tutorial 2 (Part 2)
ICSE Tutorials and Technical Briefings
at
103
16:00
90m
Tutorial
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
SE for AI
Requirements
Human/Social
Real-Time+Safety
ICSE Tutorials and Technical Briefings
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
11:00 - 12:30
Formal Methods 1
ICSE Research Track
/
ICSE New Ideas and Emerging Results (NIER)
at
103
11:00
15m
Talk
SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
ICSE Research Track
Lezhi Ma
Nanjing University
,
Shangqing Liu
Nanyang Technological University
,
Yi Li
Nanyang Technological University
,
Xiaofei Xie
Singapore Management University
,
Lei Bu
Nanjing University
11:15
15m
Talk
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated Formal Verification
ICSE Research Track
Yizhou Chen
Peking University
,
Zeyu Sun
Institute of Software, Chinese Academy of Sciences
,
Guoqing Wang
Peking University
,
Dan Hao
Peking University
11:30
15m
Talk
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
ICSE New Ideas and Emerging Results (NIER)
Long Doan
George Mason University
,
ThanhVu Nguyen
George Mason University
11:45
15m
Talk
Formally Verified Binary-level Pointer Analysis
ICSE Research Track
Freek Verbeek
Open Universiteit & Virginia Tech
,
Ali Shokri
Virginia Tech
,
Daniel Engel
Open University Of The Netherlands
,
Binoy Ravindran
Virginia Tech
12:00
15m
Talk
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
ICSE Research Track
ziji wu
National University of Defense Technology
,
yu huang
National University of Defense Technology
,
peishan huang
National University of Defense Technology
,
shanghua wen
National University of Defense Technology
,
minglong li
National University of Defense Technology
,
Ji Wang
National University of Defense Technology
12:15
7m
Talk
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
ICSE New Ideas and Emerging Results (NIER)
Junjie Sheng
East China Normal University
,
Yanqiu Lin
East China Normal University
,
Jiehao Wu
East China Normal University
,
Yanhong Huang
East China Normal University
,
Jianqi Shi
East China Normal University
,
Min Zhang
East China Normal University
,
Xiangfeng Wang
East China Normal University
12:22
7m
Talk
Listening to the Firehose: Sonifying Z3’s Behavior
ICSE New Ideas and Emerging Results (NIER)
Finn Hackett
University of British Columbia
,
Ivan Beschastnikh
University of British Columbia
16:00 - 17:30
Formal Methods 2
ICSE Research Track
/
ICSE New Ideas and Emerging Results (NIER)
/
ICSE Journal-first Papers
at
103
16:00
15m
Talk
ConsCS: Effective and Efficient Verification of Circom Circuits
ICSE Research Track
Jinan Jiang
The Hong Kong Polytechnic University
,
Xinghao Peng
,
Jinzhao Chu
The Hong Kong Polytechnic University
,
Xiapu Luo
Hong Kong Polytechnic University
16:15
15m
Talk
Constrained LTL Specification Learning from Examples
ICSE Research Track
Changjian Zhang
Carnegie Mellon University
,
Parv Kapoor
Carnegie Mellon University
,
Ian Dardik
Carnegie Mellon University
,
Leyi Cui
Columbia University, New York
,
Romulo Meira-Goes
The Pennsylvania State University
,
David Garlan
Carnegie Mellon University
,
Eunsuk Kang
Carnegie Mellon University
16:30
15m
Talk
LLM-aided Automatic Modeling for Security Protocol Verification
ICSE Research Track
Ziyu Mao
Zhejiang University
,
Jingyi Wang
Zhejiang University
,
Jun Sun
Singapore Management University
,
Shengchao Qin
Xidian University
,
Jiawen Xiong
East China Normal University
16:45
15m
Talk
Model Assisted Refinement of Metamorphic Relations for Scientific Software
ICSE New Ideas and Emerging Results (NIER)
Clay Stevens
Iowa State University
,
Katherine Kjeer
Iowa State University
,
Ryan Richard
Iowa State University
,
Edward Valeev
Virginia Tech
,
Myra Cohen
Iowa State University
17:00
15m
Talk
Precisely Extracting Complex Variable Values from Android Apps
ICSE Journal-first Papers
Marc Miltenberger
Fraunhofer SIT; ATHENE
,
Steven Arzt
Fraunhofer SIT; ATHENE
17:15
7m
Talk
A Unit Proofing Framework for Code-level Verification: A Research Agenda
ICSE New Ideas and Emerging Results (NIER)
Paschal Amusuo
Purdue University
,
Parth Vinod Patil
Purdue University
,
Owen Cochell
Michigan State University
,
Taylor Le Lievre
Purdue University
,
James C. Davis
Purdue University
Pre-print
17:22
7m
Talk
Automated Testing Linguistic Capabilities of NLP Models
ICSE Journal-first Papers
Jaeseong Lee
The University of Texas at Dallas
,
Simin Chen
University of Texas at Dallas
,
Austin Mordahl
The University of Texas at Dallas
,
Cong Liu
University of California, Riverside
,
Wei Yang
UT Dallas
,
Shiyi Wei
University of Texas at Dallas
Sun 27 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
103
TechDebt Technical Papers
TechDebt Technical Papers
TechDebt Technical Papers
TechDebt Technical Papers
Mon 28 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
103
TechDebt Technical Papers
TechDebt Technical Papers
TechDebt Technical Papers
TechDebt Technical Papers
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
103
ICSE Tutorials and Technical Briefings
Tutorial 1 (Part 1)
ICSE Tutorials and Technical Briefings
Tutorial 1 (Part 2)
ICSE Tutorials and Technical Briefings
Tutorial 2 (Part 1)
ICSE Tutorials and Technical Briefings
Tutorial 2 (Part 2)
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
103
ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)
Formal Methods 1
ICSE Research Track + ICSE New Ideas and Emerging Results (NIER) + ICSE Journal-first Papers
Formal Methods 2
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
16:00
15
30
45
17:00
15
30
45
103
ICSE Tutorials and Technical Briefings
Testing and QA
Quantum
Tutorial 1: Quantum Software Testing
09:00 - 10:30
ICSE Tutorials and Technical Briefings
Testing and QA
Quantum
Tutorial 1: Quantum Software Testing
11:00 - 12:30
ICSE Tutorials and Technical Briefings
SE for AI
Requirements
Human/Social
Real-Time+Safety
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ...
14:00 - 15:30
ICSE Tutorials and Technical Briefings
SE for AI
Requirements
Human/Social
Real-Time+Safety
Tutorial 2: Social, Legal, Ethical, Empathetic and Cultural Requirement ...
16:00 - 17:30
Wed 30 Apr
Displayed time zone:
Eastern Time (US & Canada)
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
17:00
15
30
45
103
ICSE Research Track
SpecGen: Automated Generation of Formal Program Specifications via Larg ...
11:00 - 11:15
ICSE Research Track
Gpass: a Goal-adaptive Neural Theorem Prover based on Coq for Automated ...
11:15 - 11:30
ICSE New Ideas and Emerging Results (NIER)
AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants
11:30 - 11:45
ICSE Research Track
Formally Verified Binary-level Pointer Analysis
11:45 - 12:00
ICSE Research Track
EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Fram ...
12:00 - 12:15
ICSE New Ideas and Emerging Results (NIER)
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Gener ...
12:15 - 12:22
ICSE New Ideas and Emerging Results (NIER)
Listening to the Firehose: Sonifying Z3’s Behavior
12:22 - 12:29
ICSE Research Track
ConsCS: Effective and Efficient Verification of Circom Circuits
16:00 - 16:15
ICSE Research Track
Constrained LTL Specification Learning from Examples
16:15 - 16:30
ICSE Research Track
LLM-aided Automatic Modeling for Security Protocol Verification
16:30 - 16:45
ICSE New Ideas and Emerging Results (NIER)
Model Assisted Refinement of Metamorphic Relations for Scientific Software
16:45 - 17:00
ICSE Journal-first Papers
Precisely Extracting Complex Variable Values from Android Apps
17:00 - 17:15
ICSE New Ideas and Emerging Results (NIER)
A Unit Proofing Framework for Code-level Verification: A Research Agenda
17:15 - 17:22
ICSE Journal-first Papers
Automated Testing Linguistic Capabilities of NLP Models
17:22 - 17:29
x
Mon 17 Mar 00:29
:
: