SANER 2025
Tue 4 - Fri 7 March 2025
Montréal, Québec, Canada
Toggle navigation
Attending
Venue: Polytechnique Montréal
Travelling to Montreal
Registration
Sponsorship Opportunities
Equity, Diversity and Inclusion Plan
Events and Activities
Program
SANER Program
Your Program
Keynotes
Tue 4 Mar
Wed 5 Mar
Thu 6 Mar
Fri 7 Mar
Tracks
SANER 2025
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Registered Report Track
Tool Demo Track
Journal First Track
Tutorials Track
Workshops
Student Volunteers
Organization
SANER 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Industrial Track
Early Research Achievement (ERA) Track
Short Papers and Posters Track
Reproducibility Studies and Negative Results (RENE) Track
Registered Report Track
Tool Demo Track
Journal First Track
Tutorials Track
Workshops
Student Volunteers
Contributors
People Index
Search
Series
Series
SANER 2026
SANER 2025
SANER 2024
Sign in
Sign up
SANER 2025
(
series
) /
Polytechnique Montréal
/
Room information: M-2107
Venue
Polytechnique Montréal
Room name
M-2107
Capacity
30
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-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07: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-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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 4 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
IWBOSE: Session 1
Workshops
at
M-2107
09:00
15m
Talk
IWBOSE: Opening Remarks
Workshops
Henrique Rocha
Loyola University Maryland, USA
,
Roberto Tonelli
University of Cagliari
09:15
25m
Talk
Metamorphic Testing for Smart Contract Validation: A Case Study of Ethereum-Based Crowdfunding Contracts.
Workshops
Irving Jared Villanueva
,
Madhusudan Srinivasan
East Carolina University
,
Faqeer ur Rehman
09:40
25m
Talk
Instrumenting Transaction Trace Properties in Smart Contracts: Extending EVM for Real-Time Security
Workshops
Zhiyang Chen
Zircuit & University of Toronto
,
Jan Gorzny
Zircuit
,
Martin Derka
10:05
25m
Talk
Tokenizing Urban Sustainability: Leveraging Open Data and Blockchain for Smarter Cities
Workshops
Antonio Pierro
,
Andy Amoordon
Université Paris 1 Panthéon-Sorbonne
11:00 - 12:30
IWBOSE: Session 2
Workshops
at
M-2107
11:00
25m
Talk
Simulation of Energy Communities Using Simulink and the Ethereum Sepolia Blockchain
Workshops
Azmat Ullah
,
Giuseppe Pierro
University of Cagliari
11:25
25m
Talk
Decoding the Influence: Analyzing the Impact of Crypto Signals on Software Repositories
Workshops
Shawal Khalid
Virginia Tech
,
Huayu Liang
Virginia Tech
,
Chris Brown
Virginia Tech
11:50
20m
Talk
Smart contract-based automation for ephemeral team composition
Workshops
Maria Ilaria Lunesu
Università degli studi di Cagliari
,
Andrea Pinna
University of Cagliari
,
Alice Zonca
12:10
20m
Talk
Large Language Models for Synthetic Dataset Generation: A Case Study on Ethereum Smart Contract DoS Vulnerabilities
Workshops
Giacomo Ibba
University of Cagliari - Department of Mathematics and Computer Science
,
Gavina Baralla
,
Giuseppe Destefanis
Brunel University London
Tue 4 Mar
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
M-2107
Workshops
IWBOSE: Session 1
Workshops
IWBOSE: Session 2
Tue 4 Mar
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
M-2107
SANER Workshops
IWBOSE: Opening Remarks
09:00 - 09:15
SANER Workshops
Metamorphic Testing for Smart Contract Validation: A Case Study of Ethe ...
09:15 - 09:40
SANER Workshops
Instrumenting Transaction Trace Properties in Smart Contracts: Extendin ...
09:40 - 10:05
SANER Workshops
Tokenizing Urban Sustainability: Leveraging Open Data and Blockchain fo ...
10:05 - 10:30
SANER Workshops
Simulation of Energy Communities Using Simulink and the Ethereum Sepoli ...
11:00 - 11:25
SANER Workshops
Decoding the Influence: Analyzing the Impact of Crypto Signals on Softw ...
11:25 - 11:50
SANER Workshops
Smart contract-based automation for ephemeral team composition
11:50 - 12:10
SANER Workshops
Large Language Models for Synthetic Dataset Generation: A Case Study on ...
12:10 - 12:30
x
Thu 3 Apr 07:37
:
: