CHASE 2022
co-located with ICSE 2022
VenueDavid Lawrence Convention Center
Room nameGHC 6115 (at Carnegie Mellon University)
Room InformationNo extra information available
Program

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
10:45
75m
Keynote
Integrating Usability into Language and Type System Design
FormaliSE
Jonathan Aldrich Carnegie Mellon University
14:00 - 16:00
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