Memory Safety: Uniqueness as Separation (ATVA 2025 - APLAS Papers)

Who

Pilar Selene Linares Arévalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah

Track

ATVA 2025 APLAS Papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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 28 Oct 2025 11:00 - 11:30 at R104 - Type Systems, Safety, and Verification Chair(s): Alex Potanin

Pilar Selene Linares Arévalo

University of Melbourne

Australia

Arthur Azevedo de Amorim

Rochester Institute of Technology, USA

United States

Vincent Jackson

University of Melbourne

Australia

Liam O'Connor

Australian National University

Australia

Peter Schachte

The University of Melbourne

Australia

Christine Rizkallah

University of Melbourne

Australia

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi.

Use conference time zone: (GMT+05:30) Chennai, Kolkata, Mumbai, New DelhiSelect 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 28 Oct
Displayed time zone: Chennai, Kolkata, Mumbai, New Delhi change

11:00 - 12:30	Type Systems, Safety, and VerificationAPLAS Papers at R104 Chair(s): Alex Potanin Australian National University

11:00 30m Paper		Memory Safety: Uniqueness as Separation APLAS Papers Pilar Selene Linares Arévalo University of Melbourne, Arthur Azevedo de Amorim Rochester Institute of Technology, USA, Vincent Jackson University of Melbourne, Liam O'Connor Australian National University, Peter Schachte The University of Melbourne, Christine Rizkallah University of Melbourne
11:30 30m Paper		Fair Termination for Resource-Aware Active Objects APLAS Papers Francesco Dagnino , Paola Giannini University of Eastern Piedmont, Violet Ka I Pun Western Norway University of Applied Sciences, Ulises Torrella Høgskulen på Vestlandet
12:00 30m Paper		A Formal Foundation for Equational Reasoning on Probabilistic Programs APLAS Papers Reynald Affeldt National Institute of Advanced Industrial Science and Technology (AIST), Japan, Yoshihiro Ishiguro , Zachary Stone The MathComp-Analysis development team

Hide past events