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

Multidimensional array operations are ubiquitous in machine learning. The dominant ecosystem in this field is centred around Python and NumPy, where programs are expressed with elaborate and error-prone calls in the point-free array programming model. Such code is difficult to statically analyse and maintain. Various other array programming paradigms offer to solve these problems, in particular the pointful style of Dex. However, only limited approaches - based on Einstein summation - have been embedded in Python. We introduce Ein, a pointful array DSL embedded in Python. We also describe a novel connection between pointful and point-free array programming. Thanks to this connection, Ein generates performant and type-safe calls to NumPy with potential for further optimisations. Ein reconciles the readability of comprehension-style definitions with the capabilities of existing array frameworks.

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