ARRAY 2024
as the organisers put it
The workshop is on June 25th in room “Stockholm”. Array-oriented programming unites two uncommon properties. As an abstraction, it directly mirrors high-level mathematical concepts commonly used in many fields from natural sciences over engineering to financial modeling. As a language feature, it exposes regular control flow, exhibits structured data dependencies, and lends itself to many types of program analysis. Furthermore, many modern computer architectures, particularly highly parallel architectures such as GPUs and FPGAs, are well-suited to efficiently execute array operations. The ...
who it's for
array language researchers, compiler engineers, python library authors, parallel runtime developers, gpu programmers, formal methods researchers, language designers, high-performance computing developers
topics
APL-style quantum verification with Z3; data-parallel nano parsing; pointful array DSL for Python; zero-overhead parallel scans; work-stealing with self-scheduling; owner-compute distributed shared memory; statically allocated JIT for flat arrays; Futhark-to-pi-calculus translation; index-function based program proofs; LLP (q,k) data-parallel parser generator; rank-polymorphic inference via integer linear programming
| title | author | length |
|---|---|---|
| The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum(…) | Santiago Núñez-Corrales, Phuong M. Cao, Bach Hoang | 17m |
Claims that APL-style array language makes formal verification practical for quantum code by mapping a restricted QL/QPL subset to SMT checks and extracting… | ||
| Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments | Aaron W Hsu, Brandon Wilson | 25m |
Proposes a data‑parallel parsing architecture that runs many tiny nano passes over the whole input, using APL-style tree wrangling and parent vector / depth… | ||
| Escaping the Pointless: Embedding Pointful Array Programming in Python | Jakub Bachurski, Alan Mycroft | 24m |
Ein is a new pointful array DSL embedded in Python that names indices and compiles into NumPy/JAX/TensorFlow calls; it implements an axial applicative… | ||
| Zero-Overhead Parallel Scans for Multi-Core CPUs | Ivo Gabe de Wolff, David van Balen, Gabriele Keller, Trevor L. McDonell | 25m |
Claims zero single-thread overhead parallel scans for multi-core CPUs and delivers two concrete algorithms: assisted reduce-and-scan and adaptive chain scan… | ||
| Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling | Ivo Gabe de Wolff, Gabriele Keller | 25m |
Work Assisting implements a scheduler that links task-parallel work stealing with data-parallel self scheduling by having threads publish current loops in a… | ||
| Shray: an Owner-Compute Distributed Shared-Memory System | Stefan Schrijvers, Thomas Koopman, Sven-Bodo Scholz | 24m |
Shray implements an owner-compute DSM for arrays by mapping the whole logical array into virtual memory and catching accesses via segfault/mprotect cache fetch… | ||
| Apple Array Allocation | Vanessa McHale | 23m |
Presents a JITed expression language that uses statically determined memory allocation to manage flat immutable arrays with no garbage collector and no… | ||
| Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus | Chris Oliver Paulsen, Lars Jensen, Julian Teule, Hans Hüttel | 23m |
Translate a simplified Futhark-like language ButF into a Pi-calculus extended with broadcasting and labelled names, implement arrays as a network of persistent… | ||
| Mechanical Proofs in an Array-Combinator Language | Nikolaj Hey Hinnerskov, Robert Schenck, Cosmin Oancea | 26m |
Prototype system converts functional data parallel programs into index functions that map indices to values and generates algebraic queries proving properties… | ||
| An LLP (q, k) Parser Generator | William Due, Troels Henriksen | 23m |
An implementation called Alpac generator produces LLP(q,k) parsers meant for data parallelism and is used to build a JSON parser; the work resolves minor… | ||
| AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming | Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen, Magnus Madsen, Martin Elsman | 25m |
Automatic insertion of map/rep annotations reduces array boilerplate by encoding rank differences as constraints, linearizing them into integer linear… | ||
| nothing matches | ||