This program is tentative and subject to change.

This article extends tail-call optimisation by applying it to asynchronous calls. We first introduce Tail-Modulo-Await, a novel code transformation for asynchronous tail recursive functions that prevents the creation of unnecessary tasks. We then show how to combine Tail-Modulo-Await with the existing Tail-Modulo-Cons optimisation; we obtain an optimisation able to turn a recursive function with multiple tail calls under constructors into a parallel version of the function, also optimised in space. We formalise both optimisations over representative calculi, and prove them correct through backward simulations. Finally, we provide a proof-of-concept implementation as an OCaml syntax extension and evaluate it experimentally, showing our approach optimises both memory and execution time.

Slides (slides.pdf)11.78MiB

This program is tentative and subject to change.

Tue 25 Aug

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 15:00
Memory Models, Garbage Collection, and ConcurrencyICFP Papers at IP126 Auditorium
Chair(s): Mae Milano Princeton University
13:30
18m
Talk
Tail Modulo Async-AwaitRemote
ICFP Papers
Emma Nardino École Normale Supérieure de Lyon / LIP, Ludovic Henrio University of Lyon - ENS Lyon - UCBL - CNRS - Inria - LIP, Gabriel Radanne Inria, Yannick Zakowski Inria
DOI Pre-print File Attached
13:48
18m
Talk
Set-Theoretic Types for Erlang in PracticeRemote
ICFP Papers
Albert Schimpf University of Kaiserslautern-Landau, Annette Bieniusa RPTU Kaiserslautern-Landau
DOI
14:06
18m
Talk
Mode Crossing
ICFP Papers
Benjamin Peters MPI-SWS, Jules Jacobs Jane Street, Diana Kalinichenko Jane Street, Liam Stevenson Jane Street, Aspen Smith Jane Street, Derek Dreyer MPI-SWS, Richard A. Eisenberg Jane Street
DOI
14:24
18m
Talk
A Separation Logic for Parallel Time Complexity with Work and Span Credits
ICFP Papers
Alexandre Moine New York University, Sam Westrick New York University, Joseph Tassarotti New York University
DOI Pre-print
14:42
18m
Talk
LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
ICFP Papers
Michael Rainey Carnegie Mellon University, Michael Borkowski Purdue University, Michael Vollmer University of Kent, Chaitanya S. Koparkar Indiana University, Mikah Kainen Purdue University, Vidush Singhal Purdue University
DOI Pre-print
Hide past events