Runtime verification of hash code in mutable classes (FTfJP 2023)

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Who

Davide Ancona, Angelo Ferrando, Viviana Mascardi

Track

FTfJP 2023

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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 18 Jul 2023 15:30 - 15:55 at Anderson Seminar Room (Gates 271) - Other topics

Davide Ancona

DIBRIS, University of Genova, Italy

Italy

Angelo Ferrando

DIBRIS, Università di Genova

Italy

Viviana Mascardi

DIBRIS, University of Genova, Italy

Italy

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

15:30 - 17:00	Other topicsFTfJP at Anderson Seminar Room (Gates 271)

15:30 25m Talk		Runtime verification of hash code in mutable classes FTfJP Davide Ancona DIBRIS, University of Genova, Italy, Angelo Ferrando DIBRIS, Università di Genova, Viviana Mascardi DIBRIS, University of Genova, Italy
15:55 25m Talk		Verifying Well-Typedness Preservation of Refactorings using Scope Graphs FTfJP Luka Miljak Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Flip van Spaendonck TU Eindhoven DOI
16:25 20m Talk		Using Rewrite Strategies for Efficient Functional Automatic Differentiation FTfJP Timon Böhler Technical University of Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt Pre-print