PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Tue 25 Jun 2024 16:50 - 17:15 at Stockholm - Array Languages

Under is a dyadic operator in array programming languages that utilizes rank polymorphic function inverses. The BQN array language implements structural and computational cases of Under. In this work we showcase how the the lens properties of structural Under can be used to model parallel programming on GPUs. In particular, we showcase Under’s connectivity to static memory allocations in the context of GPUs, and how it may coincidentally promote programming approaches leveraging $n$-assignment register objects.

Extended Abstract (array24-paper12.pdf)225KiB

Tue 25 Jun

Displayed time zone: Windhoek change

16:00 - 17:40
Array LanguagesARRAY at Stockholm
16:00
25m
Talk
Points for Free: Embedding Pointful Array Programming in Python
ARRAY
Jakub Bachurski University of Cambridge, Alan Mycroft University of Cambridge, UK
DOI
16:25
25m
Talk
Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments
ARRAY
Aaron Hsu Dyalog, Ltd., Brandon Wilson
File Attached
16:50
25m
Talk
On Structural Under and GPUs
ARRAY
Juuso Haavisto University of Oxford
File Attached
17:15
25m
Talk
The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum ComputingRemote
ARRAY
Santiago Núñez-Corrales National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Phuong Cao National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Bach Hoang National Center for Supercomputing Applications, University of Illinois Urbana-Champaign
File Attached