Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers (ATVA 2025 - APLAS Papers) - ATVA 2025

Mon 27 - Fri 31 October 2025 Bengaluru, India

Who

Ryunosuke Endo, Tachio Terauchi

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 14:00 - 14:30 at R104 - Control, Effects, and Decidability

Ryunosuke Endo

Waseda University

Tachio Terauchi

Waseda University

Japan

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

	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