CHASE 2022
Wed 18 - Thu 19 May 2022
Pittsburgh, Pennsylvania, United States
co-located with
ICSE 2022
Toggle navigation
Attending
CHASE: Hybrid model
Venue: David Lawrence Convention Center
Virtual: Midspace
ICSE 2022
Overview
Attending Virtually
Attending In-Person
Registration
Code of Conduct
Diversity, Equity, and Inclusion
Travel Support
Social Events
Sustainability
Program
CHASE Program
Your Program
Wed 18 May
Thu 19 May
Track/Call
Organization
CHASE 2022 Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
CHASE 2025
CHASE 2024
CHASE 2023
CHASE 2022
CHASE 2021
Sign in
Sign up
ICSE 2022
(
series
) /
CHASE 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
Thu 19 Dec 02:57