ARRAY 2019
as the organisers put it
6th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming Array-oriented programming offers a unique blend of programmer productivity and high-performance parallel execution. As an abstraction, it directly mirrors high-level mathematical constructions commonly used in many fields from natural sciences through engineering to financial modelling. 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, particularl ...
| title | author | length |
|---|---|---|
| Convolutional Neural Networks in APL | Artjoms Šinkarovs, Robert Bernecky, Sven-Bodo Scholz | 27m |
Implements a MNIST/LeNet-style CNN in APL using ten one-line APL building blocks that avoid explicit indexing, showing convolution, pooling and fully connected… | ||
| Records with Rank Polymorphism | Justin Slepak, Olin Shivers, Panagiotis Manolios | 28m |
Remora implements rank-polymorphism and the team embeds a dataframe library to show how columnar tables map to vectors of records, using Racket, Standard ML… | ||
| Code Generation in Linnea | Henrik Barthels, Paolo Bientinesi | 28m |
Linnea generates explicit BLAS and LAPACK kernels calls from high-level linear-algebra expressions, rewrites expressions to expose common subexpressions, and… | ||
| Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods | Erdal Mutlu, Karol Kowalski, Sriram Krishnamoorthy | 27m |
Proposes a concrete block-sparse tensor algebra and C++ API that encodes index spaces, dependency maps and tiled index sequences so sparse/compressed formats… | ||
| ALPyNA: Acceleration of Loops in Python for Novel Architectures | DaDejice Jacob, Jeremy Singer | 27m |
ALPyNA is an automatic loop-parallelization framework for CPython that staged dependence analysis (static skeletal graphs plus runtime type and bounds… | ||
| Linear Algebraic Depth-First Search | Daniele G. Spampinato, Upasana Sridhar, Tze Meng Low | 28m |
Argues a concrete linear-algebra formulation for depth-first search that encodes the stack and frontier via row/column permutations on the adjacency matrix… | ||
| Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays | Benjamin Chetioui | 26m |
Numerous scientific-computational domains make use of array data. The core computing of the numerical methods and the algorithms involved is related to… | ||
| Array Processing on Steroids for the SKA Radio-Telescope | Peter Braam | 59m |
The Square Kilometre Array (SKA) radio telescope will be a massive scientific instrument entering service in the late 2020’s. The conversion of its antenna… | ||
| TeIL: a type-safe imperative Tensor Intermediate Language | Norman A. Rink, Jeronimo Castrillon | 33m |
Defines a small, imperative tensor IR with precise semantics and a mechanized Coq formalization that proves programs have no out‑of‑bounds tensor accesses… | ||
| High-Level Synthesis of Functional Patterns with Lift | Martin Kristien, Bruno Bodin, Michel Steuwer, Christophe Dubach | 31m |
Extends Lift with Lift to VHDL backend and new streaming and tiling patterns, generates synthesizable VHDL that runs on a Xilinx XC7Z010 prototype board… | ||
| Data-Parallel Flattening by Expansion | Martin Elsman, Troels Henriksen, Niels G. W. Serup | 30m |
Claims a single higher-order Futhark function expand compiles many irregular data-parallel patterns to GPU code with work-efficiency comparable to sequential… | ||
| nothing matches | ||