On the need for a common API for abstract domains of object-oriented programs (FTfJP 2022 - Workshop on Formal Techniques for Java-like Programs)

Mon 6 June - Thu 7 July 2022 Berlin, Germany

Who

Gianluca Amato, Maria Chiara Meo, Francesca Scozzari

Track

FTfJP 2022

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

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 programSpecify a time band

Save

When

Tue 7 Jun 2022 11:30 - 12:00 at Stockholm 2 - FTfJP 2022 B Chair(s): Alexander J. Summers

File attachments

Presentation Slides (FTfJP_2022_slides.pdf)	336KiB
On the need for a common API for abstract domains of object-oriented programs (FTfJP_2022_paper_4753.pdf)	428KiB

Gianluca AmatoAuthor

University of Chieti-Pescara

Italy

Maria Chiara MeoAuthor

University “G. d’Annunzio” of Chieti-Pescara

Italy

Francesca ScozzariAuthor

University of Chieti-Pescara

Italy

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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