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 JunDisplayed time zone: Windhoek change
Tue 25 Jun
Displayed time zone: Windhoek change
16:00 - 17:40 | |||
16:00 25mTalk | Points for Free: Embedding Pointful Array Programming in Python ARRAY DOI | ||
16:25 25mTalk | Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments ARRAY File Attached | ||
16:50 25mTalk | On Structural Under and GPUs ARRAY Juuso Haavisto University of Oxford File Attached | ||
17:15 25mTalk | 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 |