PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

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 ARRAY series of workshops explores all aspects of array programming, such as languages, formal semantics, array theories, productivity/performance tradeoffs, libraries, notation such as including axis- and index-based approaches, intermediate languages, and efficient compilation.

Array programming is at home in many communities, including language design, library development, optimization, scientific computing, and across many existing language communities. ARRAY is intended as a forum where these communities can exchange ideas on the construction of computational tools for manipulating arrays as well as fundamental principles of array programming.

Keynote

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 17 Jun

Displayed time zone: Seoul change

09:00 - 10:10
Opening and KeynoteARRAY at Violet
09:00
10m
Day opening
Welcome
ARRAY
Artjoms Šinkarovs University of Southampton, Sven-Bodo Scholz Radboud University
09:10
60m
Keynote
Efficient array (and data) processing by leveraging structure
ARRAY
Amir Shaikhha University of Edinburgh
10:30 - 12:00
Performance Challenges and OpportunitiesARRAY at Violet
10:30
30m
Talk
Gate Fusion is Map Fusion
ARRAY
Martin Elsman University of Copenhagen, Troels Henriksen University of Copenhagen
11:00
30m
Talk
Array Programming on GPUs: Challenges and Opportunities
ARRAY
Xinyi Li University of Utah, Mark Baranowski University of Utah, Harvey Dam University of Utah, Ganesh Gopalakrishnan University of Utah
11:30
30m
Talk
Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values
ARRAY
Guillaume Berthelot French Navy, Armed Forces Ministry, Arnault Ioualalen Numalis, Matthieu Martel Université de Perpignan Via Domitia
14:00 - 15:20
Multi-Dimensional HomormorphismsARRAY at Violet
14:00
30m
Talk
(De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms
ARRAY
Ari Rasch University of Muenster, Richard Schulze University of Muenster
Link to publication Media Attached
14:30
30m
Talk
An MDH-Based DSL for Array Computations
ARRAY
Richard Schulze University of Muenster, Ari Rasch University of Muenster
Link to publication Media Attached
15:40 - 17:00
Language Design & Type SafetyARRAY at Violet
15:40
30m
Talk
Kuiper: verified and efficient GPU programming
ARRAY
Guido Martínez Microsoft Research, Jonas Fiala ETH Zürich, Abhinav Jangda Microsoft Research, Angelica Moreira Microsoft Research, Nikhil Swamy Microsoft Research, Tyler Sorensen Microsoft Research
16:10
30m
Talk
Structuring Arrays with Algebraic Shapes
ARRAY
Jakub Bachurski University of Cambridge, Alan Mycroft University of Cambridge, UK, Dominic Orchard University of Kent; University of Cambridge
17:30 - 19:30
17:30
2h
Dinner
Dinner
Catering

19:30 - 21:30
PLDI Committee DinnerPLDI Events / Catering at Orchid
19:30
2h
Dinner
Dinner
Catering

Call for Papers

Array programming is at home in many communities, including language design, library development, optimization, scientific computing, and across many existing language communities. The ARRAY Workshop series is intended to bring together researchers from many different practical and theoretical communities, including language designers, library developers, type theorists, compiler researchers, and practitioners. These communities can exchange ideas on the construction of computational tools for manipulating arrays and fundamental principles of array programming. Submissions are welcome in two categories: full papers and extended abstracts. All submissions should be formatted in conformance with the ACM SIGPLAN proceedings style. Accepted submissions in either category will be presented at the workshop. The ARRAY series of workshops explores:

  • formal semantics and design issues of array-oriented languages and libraries;

  • correctness of array programs, including type-theoretic issues, formal verification, array models, static analysis;

  • productivity and performance in compute-intensive application areas of array programming;

  • systematic notation for array programming, including axis- and index-based approaches;

  • intermediate languages, virtual machines, and program-transformation techniques for array programs;

  • representation of and automated reasoning about mathematical structure, such as static and dynamic sparsity, low-rank patterns, and hierarchies of these, with connections to applications such as graph processing, HPC, tensor computation and deep learning;

  • interfaces between array- and non-array code, including approaches for embedding array programs in general-purpose programming languages; and

  • efficient mapping of array programs, through compilers, libraries, and code generators, onto execution platforms, targeting multi-cores, SIMD devices, GPUs, distributed systems, and FPGA hardware, by fully automatic and user-assisted means.

All submissions must be in PDF format, printable in black and white on US Letter sized paper. Papers must adhere to the standard SIGPLAN conference format: two columns, ten-point font.

Full papers may be up to 12 papes, on any topic related to the focus of the workshop. They will be thoroughly reviewed according to the usual criteria of relevance, soundness, novelty, and significance; accepted submissions will be published in the ACM Digital Library.

Extended abstracts may be up to 2 pages; they may describe work in progress, tool demonstrations, and summaries of work published in full elsewhere. The focus of the extended abstract should be to explain why the proposed presentation will be of interest to the ARRAY audience. Submissions will be lightly reviewed only for relevance to the workshop, and will not published in the DL.