Effectful Assembly Programming with AsmFX (HOPE 2024)

Mon 2 - Sat 7 September 2024 Milan, Italy

Who

Brian Campbell, Sam Lindley, Wilmer Ricciotti, Ian Stark

Track

HOPE 2024

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Mon 2 Sep 2024 14:00 - 14:30 at Orange 1 - Session 2

Abstract

We propose a collection of instructions for an abstract assembly language, AsmFX, to capture the processor-level control-flow requirements of effect handlers. These half-dozen instructions are sufficient to directly implement various kinds of effect handlers on top of a conventional machine architecture.

Brian Campbell

University of Edinburgh

Sam Lindley

University of Edinburgh

United Kingdom

Wilmer Ricciotti

University of Edinburgh, UK

Italy

Ian Stark

The University of Edinburgh