ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany
Tue 7 Jun 2022 11:00 - 11:30 at Stockholm 2 - FTfJP 2022 B Chair(s): Alexander J. Summers
Automated Reasoning Repair (FTfJP_2022_paper_9061.pdf)520KiB

Tue 7 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
FTfJP 2022 BFTfJP at Stockholm 2
Chair(s): Alexander J. Summers University of British Columbia
11:00
30m
Paper
Automated Reasoning Repair
FTfJP
A: Amirfarhad Nilizadeh University of Central Florida, A: Gary T. Leavens University of Central Florida, A: David Cok Safer Software Consulting, LLC
File Attached
11:30
30m
Paper
On the need for a common API for abstract domains of object-oriented programs
FTfJP
A: Gianluca Amato University of Chieti-Pescara, A: Maria Chiara Meo University “G. d’Annunzio” of Chieti-Pescara, A: Francesca Scozzari University of Chieti-Pescara
File Attached
12:00
30m
Paper
A Graph-Based Formal Semantics of Reactive Programming from First Principles
FTfJP
A: Bjarno Oeyen Vrije Universiteit Brussel, A: Joeri De Koster Vrije Universiteit Brussel, Belgium, A: Wolfgang De Meuter Vrije Universiteit Brussel
Pre-print Media Attached File Attached