A Formal Foundation for Equational Reasoning on Probabilistic Programs (ATVA 2025 - APLAS Papers) - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Who

Reynald Affeldt, Yoshihiro Ishiguro, Zachary Stone

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

When

Tue 28 Oct 2025 12:00 - 12:30 at R104 - Type Systems, Safety, and Verification Chair(s): Alex Potanin

Reynald Affeldt

National Institute of Advanced Industrial Science and Technology (AIST), Japan

Yoshihiro Ishiguro

Zachary Stone

The MathComp-Analysis development team

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

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