Write a Blog >>
MSR 2022
Mon 23 - Tue 24 May 2022
co-located with
ICSE 2022
Toggle navigation
Attending
Venue: David Lawrence Convention Center
Virtual: Midspace
Virtual MSR 2022 - Welcome and Information
In-Person MSR 2022 - Welcome and Information
FAQs for Virtual MSR
FAQs for In-person MSR
Widening Participation Program
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
MSR Program
Your Program
Awards
Virtual
In-person
Mon 23 May
Tue 24 May
Tracks
MSR 2022
Data and Tool Showcase Track
FOSS Award
Hackathon
Industry Track
Keynotes
MIP Award
MSR Awards
Mining Challenge
Registered Reports
Shadow PC
Technical Papers
Tutorials
Vision and Reflection
Organization
MSR 2022 Committees
Organizing Committee
Track Committees
Data and Tool Showcase Track
FOSS Award
Hackathon
Industry Track
MIP Award
MSR Awards
Mining Challenge
Registered Reports
Shadow PC
Shadow PC Co-chairs
Shadow PC Advisors
Shadow PC Members
Technical Papers
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 2022
(
series
) /
MSR 2022
(
series
) /
David Lawrence Convention Center
/
Room information: GHC 6115 (at Carnegie Mellon University)
Venue
David Lawrence Convention Center
Room name
GHC 6115 (at Carnegie Mellon University)
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
Sun 22 May
Displayed time zone:
Eastern Time (US & Canada)
change
10:00 - 10:45
Check-in (with light breakfast)
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
10:45 - 12:00
Opening and Keynote
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
10:45
75m
Keynote
Integrating Usability into Language and Type System Design
FormaliSE
Jonathan Aldrich
Carnegie Mellon University
14:00 - 16:00
Technical Session
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
14:00
30m
Paper
Towards Automated Input Generation for Sketching Alloy Models
FormaliSE
Ana Jovanovic
,
Allison Sullivan
University of Texas at Arlington
14:30
30m
Paper
Automating Cryptographic Protocol Language Generation from Structured Specifications
FormaliSE
Roberto Metere
Newcastle University
,
Luca Arnaboldi
The University of Edinburgh
15:00
30m
Talk
Counterexample-Guided Inductive Repair of Reactive Contracts
FormaliSE
Soha Hussein
University of Minnesota, USA / Ain Shams University, Egypt
,
Sanjai Rayadurgam
University of Minnesota
,
Stephen McCamant
University of Minnesota, USA
,
Vaibhav Sharma
Amazon
,
Mats Heimdahl
University of Minnesota
15:30
30m
Talk
Property-Driven Testing of Black-Box Functions
FormaliSE
Arnab Sharma
University of Paderborn
,
Vitalik Melnikov
,
Eyke Hüllermeier
,
Heike Wehrheim
Carl von Ossietzky Universität Oldenburg / University of Oldenburg
16:00 - 16:30
Coffee Break
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
16:30 - 17:30
Tutorial and Closing
FormaliSE
at
GHC 6115 (at Carnegie Mellon University)
16:30
60m
Tutorial
Formally validating Model-Based Safety Assurance Cases
FormaliSE
Torin Viger
Sun 22 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
GHC 6115 (at Carnegie Mellon University)
FormaliSE
Check-in (with light breakfast)
FormaliSE
Opening and Keynote
FormaliSE
Technical Session
FormaliSE
Coffee Break
FormaliSE
Tutorial and Closing
Sun 22 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
16:00
15
30
45
17:00
15
30
45
GHC 6115 (at Carnegie Mellon University)
FormaliSE
Integrating Usability into Language and Type System Design
10:45 - 12:00
FormaliSE
Towards Automated Input Generation for Sketching Alloy Models
14:00 - 14:30
FormaliSE
Automating Cryptographic Protocol Language Generation from Structured S ...
14:30 - 15:00
FormaliSE
Counterexample-Guided Inductive Repair of Reactive Contracts
15:00 - 15:30
FormaliSE
Property-Driven Testing of Black-Box Functions
15:30 - 16:00
FormaliSE
Formally validating Model-Based Safety Assurance Cases
16:30 - 17:30
x
Sat 23 Nov 09:00