Positive Sharing and Abstract Machines (ATVA 2025 - APLAS Papers) - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Who

Beniamino Accattoli, Claudio Sacerdoti Coen, Jui-Hsuan Wu

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 15:00 - 15:30 at R104 - Control, Effects, and Decidability Chair(s): Sanjiva Prasad

Beniamino Accattoli

Inria & Ecole Polytechnique

France

Claudio Sacerdoti Coen

University of Bologna

Jui-Hsuan Wu

CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668

France

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

	14:00 - 15:30	Control, Effects, and DecidabilityAPLAS Papers at R104 Chair(s): Sanjiva Prasad Indian Institute of Technology Delhi

	14:00 30m Paper		Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers APLAS Papers Ryunosuke Endo Waseda University, Tachio Terauchi Waseda University
	14:30 30m Paper		Expressive Power of One-Shot Control Operators and Coroutines APLAS Papers Kentaro Kobayashi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
	15:00 30m Paper		Positive Sharing and Abstract Machines APLAS Papers Beniamino Accattoli Inria & Ecole Polytechnique, Claudio Sacerdoti Coen University of Bologna, Jui-Hsuan Wu CNRS - ENS Lyon - Université Claude Bernard Lyon 1 - LIP - UMR 5668

Hide past events