Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019
Montreal, QC, Canada
Toggle navigation
Attending
Venue: Fairmont The Queen Elizabeth Hotel
Accommodation
Registration
Registration Desk Hours
Resume Database
Visas and Travel Authorizations
Travel Support
Childcare
Montréal
Code of Conduct
Diversity and Inclusion Plan
Logo
Sponsorship
Sponsors and Supporters
Sponsorship Opportunities
Logo
Exhibits
Program
ICSE Program
Your Program
Week Overview
Industry Program
Keynotes
Technical Briefings
Tutorials
Social Events
Awards
Community Meetings
Proceedings
Photos and Videos
Filter by Day
Fri 24 May
Sat 25 May
Sun 26 May
Mon 27 May
Tue 28 May
Wed 29 May
Thu 30 May
Fri 31 May
Tracks
ICSE 2019
Plenary
Technical Track
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Technical Briefings
Industry Program
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Student Mentoring Workshop
Faculty Mentorship Lunch
Co-Located Events
ROSE Festival
Most Influential Paper ICSE N-10
Tutorials
Student Volunteers
Practice Speaker Room
Submitting to ICSE2019: Q&A
Resources
Community Meetings
Papers
Co-hosted Conferences
FormaliSE
ICGSE
ICGSE
ICGSE
Main
ICGSE
Research Papers
ICGSE
Journal-First Paper Presentations
ICGSE
Experience Reports
ICGSE
Industry Talks
ICGSE
Doctoral Symposium
ICGSE
JSS Special Issue
ICPC
ICPC
ICPC
Presentations
ICPC
Technical Research
ICPC
Tools Demo
ICPC
Replications
ICPC
Negative Results
ICSSP
MOBILESoft
MSR
MSR
MSR
Technical Papers
MSR
Mining Challenge
MSR
Data Showcase
MSR
Keynote
MSR
Education
MSR
MSR Awards
MSR
MIP Award
MSR
FOSS Award
MSR
Plenary
MSR
Paper Presentations
OSS
OSS
OSS
CROSSMINER
OSS
Invited Speakers
OSS
Panel
OSS
Papers
TechDebt
Co-hosted Symposia
SEAMS
SEAMS
SEAMS
Organization
ICSE 2019 Committees
Organizing Committee
Track Committees
Technical Track
Program Board
Program Committee
Journal-First Papers
Software Engineering in Practice
Software Engineering Education and Training
Software Engineering in Society
New Ideas and Emerging Results
Demonstrations
ACM Student Research Competition
Artifact Evaluation
Posters
Workshops
Doctoral Symposium
New Faculty Symposium
Most Influential Paper ICSE N-10
Contributors
People Index
Co-hosted Conferences
FormaliSE
Organizing Committee
Program Chairs
Program Committee
ICGSE
Organizing Committee
Industry Liaisons
ICGSE 2019 Research Papers
ICGSE 2019 Experience Reports
ICPC
Organization Committee
Steering Committee
ICPC 2019 Technical Research
ICPC 2019 Tools Demo
ICPC 2019 Replications
ICPC 2019 Negative Results
ICSSP
Organizing Committee
Program Committee
Steering Committee
MOBILESoft
Organizing Committee
Program Committee
MSR
Organizing Committee
MSR 2019 Technical Papers
MSR 2019 Mining Challenge
MSR 2019 Data Showcase
MSR 2019 Education
MSR 2019 MSR Awards
MSR 2019 MIP Award
MSR 2019 FOSS Award
OSS
Organizing Committee
Program Committee
TechDebt
Organizing Committee
Co-hosted Symposia
SEAMS
Organizing Committee
Program Committee
Artifact Program Committee
Doctoral Projects Program Committee
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2019
(
series
) /
Fairmont The Queen Elizabeth Hotel
/
Room information: Foyer
Venue
Fairmont The Queen Elizabeth Hotel
Room name
Foyer
Floor
0
Room number
35
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-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+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
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Coffee break
MOBILESoft
at
Foyer
10:30 - 11:00
Break
ICPC Presentations
at
Foyer
10:30 - 11:00
[Day 1] - First coffee break
ICGSE Main
at
Foyer
12:30 - 14:00
[Day 1] - Lunch break
ICGSE Main
at
Foyer
12:40 - 14:00
Lunch
ICPC Presentations
at
Foyer
15:30 - 16:00
Break
ICPC Presentations
at
Foyer
15:30 - 16:00
[Day 1] - Second coffee break
ICGSE Main
at
Foyer
15:30 - 16:00
Break
MOBILESoft
at
Foyer
17:45 - 18:00
[Day 1] - Break
ICGSE Main
at
Foyer
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
TechDebt
at
Foyer
10:30 - 11:00
[Day 2] - First coffee break
ICGSE Main
at
Foyer
10:30 - 11:00
Coffee break
MOBILESoft
at
Foyer
10:35 - 11:00
Break
ICPC Presentations
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
12:30 - 14:00
[Day 2] - Lunch break
ICGSE Main
at
Foyer
12:30
90m
Meeting
Steering Board meeting at Dièse
ICGSE Main
12:30 - 14:00
Lunch and Poster Review
TechDebt
at
Foyer
12:30 - 14:00
Lunch
MOBILESoft
at
Foyer
12:30 - 14:00
Lunch
ICPC Presentations
at
Foyer
12:30 - 13:50
Lunch
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
TechDebt
at
Foyer
15:30 - 16:00
Break
ICPC Presentations
at
Foyer
15:30 - 16:00
[Day 2] - Second coffee break
ICGSE Main
at
Foyer
15:45 - 16:00
Break
MOBILESoft
at
Foyer
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
09:30 - 09:40
Mini-break
MSR Plenary
at
Foyer
09:30 - 09:40
Mini-break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Coffee break
FormaliSE
at
Foyer
10:30
30m
Coffee break
Coffee break
FormaliSE
10:30 - 11:00
Break
MSR Plenary
at
Foyer
10:30 - 11:00
Break
TechDebt
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
11:45 - 11:55
Mini-break
MSR Plenary
at
Foyer
12:30 - 14:00
Lunch
FormaliSE
at
Foyer
12:30
90m
Lunch
Lunch
FormaliSE
12:30 - 13:50
Lunch
MSR Plenary
at
Foyer
12:30 - 14:00
Lunch
TechDebt
at
Foyer
14:00 - 15:30
Session 3
FormaliSE
at
Foyer
Chair(s):
Eunsuk Kang
Carnegie Mellon University
14:00
25m
Full-paper
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
FormaliSE
Hoang-Dung Tran
Vanderbilt University
,
Patrick Musau
Vanderbilt University
,
Diego Manzanas Lopez
Vanderbilt University
,
Xiao Dong Yang
Vanderbilt University
,
Luan Nguyen
University of Pennsylvania
,
Weiming Xiang
Vanderbilt University
,
Taylor T Johnson
Vanderbilt University
14:25
15m
Short-paper
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
FormaliSE
Maxime Cordy
SnT, University of Luxembourg
,
Axel Legay
,
Sami Lazreg
Visteon Electronics and Universite Cote d Azur
,
Philippe Collet
University of Nice
14:40
25m
Full-paper
Verifying Channel Communication Correctness for a Multi-Core Cooperatively Scheduled Runtime Using CSP
FormaliSE
Jan Pedersen
University of Nevada Las Vegas
,
Kevin Chalmers
Edinburgh Napier University
15:05
25m
Full-paper
A Generalized Program Verification Workflow Based on Loop Elimination and SA Form
FormaliSE
Cláudio Belo Lourenço
LRI, Université Paris-Sud & INRIA Saclay
,
Maria João Frade
HASLab/INESC TEC & Universidade do Minho, Portugal
,
Jorge Sousa Pinto
HASLab/INESC TEC & Universidade do Minho, Portugal
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
14:35 - 14:45
Mini-break
MSR Plenary
at
Foyer
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Coffee break
FormaliSE
at
Foyer
15:30
30m
Coffee break
Tea break
FormaliSE
15:30 - 16:00
Break
MSR Plenary
at
Foyer
15:30 - 16:00
Break / Informal Demos Continue
TechDebt
at
Foyer
Sat 25 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Foyer
MOBILESoft
Coffee break
ICPC Presentations
Break
10:30 - 11:00
ICGSE Main
[Day 1] - First coffee break
10:30 - 11:00
ICGSE Main
[Day 1] - Lunch break
ICPC Presentations
Lunch
12:40 - 14:00
ICPC Presentations
Break
ICGSE Main
[Day 1] - Second coffee break
15:30 - 16:00
MOBILESoft
Break
15:30 - 16:00
ICGSE Main
[Day 1] - Break
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Foyer
MSR Plenary
Break
TechDebt
Break
10:30 - 11:00
ICGSE Main
[Day 2] - First coffee break
10:30 - 11:00
MOBILESoft
Coffee break
10:30 - 11:00
ICPC Presentations
Break
10:35 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
ICGSE Main
[Day 2] - Lunch break
TechDebt
Lunch and Poster Review
12:30 - 14:00
MOBILESoft
Lunch
12:30 - 14:00
ICPC Presentations
Lunch
12:30 - 14:00
MSR Plenary
Lunch
12:30 - 13:50
MSR Plenary
Mini-break
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break
15:30 - 16:00
ICPC Presentations
Break
15:30 - 16:00
ICGSE Main
[Day 2] - Second coffee break
15:30 - 16:00
MOBILESoft
Break
15:45 - 16:00
Mon 27 May
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
Foyer
MSR Plenary
Mini-break
MSR Plenary
Mini-break
09:30 - 09:40
MSR Plenary
Break
FormaliSE
Coffee break
10:30 - 11:00
MSR Plenary
Break
10:30 - 11:00
TechDebt
Break
10:30 - 11:00
MSR Plenary
Mini-break
MSR Plenary
Mini-break
11:45 - 11:55
FormaliSE
Lunch
MSR Plenary
Lunch
12:30 - 13:50
TechDebt
Lunch
12:30 - 14:00
FormaliSE
Session 3
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Mini-break
14:35 - 14:45
MSR Plenary
Break
FormaliSE
Coffee break
15:30 - 16:00
MSR Plenary
Break
15:30 - 16:00
TechDebt
Break / Informal Demos Continue
15:30 - 16:00
Sun 26 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
12:00
15
30
45
13:00
15
30
45
Foyer
ICGSE Main
Steering Board meeting at Dièse
12:30 - 14:00
Mon 27 May
Displayed time zone:
Eastern Time (US & Canada)
change
Room
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
Foyer
FormaliSE
Coffee break
10:30 - 11:00
FormaliSE
Lunch
12:30 - 14:00
FormaliSE
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural ...
14:00 - 14:25
FormaliSE
Towards Sampling and Simulation-Based Analysis of Featured Weighted Aut ...
14:25 - 14:40
FormaliSE
Verifying Channel Communication Correctness for a Multi-Core Cooperativ ...
14:40 - 15:05
FormaliSE
A Generalized Program Verification Workflow Based on Loop Elimination a ...
15:05 - 15:30
FormaliSE
Tea break
15:30 - 16:00
x
Tue 31 Dec 05:40