PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 11:55 - 12:20 at Stockholm - Theory

We study the data-parallel language ButF, inspired by the Futhark language, with the purpose of exploring its data-parallel nature. To this end we give a translation of ButF into a version of the 𝜋-calculus with broadcasting and labelled names. We show that our translation satisfies a property of operational correspondence, showing that it is both complete and sound. Moreover, we propose a cost model by annotating the translated ButF processes. This is used in a asymptotic complexity analysis of the translation in which we compare with the asymptotic cost of Futhark.

Extended Abstract (array24-paper4.pdf)674KiB

Tue 25 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
TheoryARRAY at Stockholm
10:40
25m
Talk
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
ARRAY
Robert Schenck DIKU, University of Copenhagen, Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Magnus Madsen Aarhus University, Martin Elsman University of Copenhagen, Denmark
File Attached
11:05
25m
Talk
An LLP (q, k) Parser Generator
ARRAY
William Due DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen
File Attached
11:30
25m
Talk
Mechanical Proofs in an Array-Combinator Language
ARRAY
Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Robert Schenck DIKU, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark
File Attached
11:55
25m
Talk
Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
ARRAY
Chris Oliver Paulsen Department of Computer Science, Aalborg University, Lars Jensen , Julian Teule Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University
File Attached