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, particularly highly parallel architectures such as GPUs and FPGAs, lend themselves to efficiently executing array operations.

The ARRAY workshop is intended to bring together researchers from many different communities, including language designers, library developers, compiler researchers, and practitioners, who are using or working on numeric, array-centric aspects of programming languages, libraries and methodologies from all domains: imperative or declarative; object-oriented or functional; interpreted or compiled; strongly typed, weakly typed, or untyped.

Submissions are due on 8th April 2019, and the workshop takes place on Saturday 22nd June 2019, colocated with PLDI in Phoenix, Arizona. For more information about how to submit, see the call for papers.

Illustration in Jade Mirror of the Four Unknowns

Proceedings

The proceedings are available in the ACM DL and through SIGPLAN OpenTOC.

Videos of talks are on YouTube.

Topics

The ARRAY series of workshops explores:

  • formal semantics and design issues of array-oriented languages and libraries;
  • 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.

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.

Invited Speaker

The invited talk will be given by Peter J. Braam:

Array Processing on Steroids for the SKA Radio-Telescope

Abstract: 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 signals to images and the detection of transient phenomena is a massive computational undertaking, requiring 200PB/sec of memory bandwidth, all dedicated to array processing. In this talk we will give an overview of the data processing in the telescope and the process that has been followed to design suitable algorithms and systems. We will highlight parts of the challenge that have interesting relationships to computer science, and then transition to review recent technological developments such as memory, machine learning accelerators, and new floating point formats that may prove helpful.

Bio: Peter Braam is a scientist and entrepreneur focused on problems in large scale computing. Originally trained as a mathematician, he has worked at several academic institutions including Oxford, CMU and Cambridge. One of his startup companies developed the widely used Lustre file system. During the last few years he has focused on computing for the SKA telescope and on research in data intensive computing.

History

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

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

08:00 - 09:00
BreakfastCatering at 301 Foyer
08:00
60m
Other
Breakfast
Catering

09:00 - 10:00
Session 1ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
09:00
60m
Talk
Array Processing on Steroids for the SKA Radio-Telescope
ARRAY
10:00 - 11:00
Session 2ARRAY at 106C
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
10:00
30m
Talk
Convolutional Neural Networks in APL
ARRAY
A: Artjoms Šinkarovs Heriot-Watt University, UK, A: Robert Bernecky Snake Island Research, A: Sven-Bodo Scholz Heriot-Watt University
10:30
30m
Talk
Toward Generalized Tensor Algebra for ab initio Quantum Chemistry Methods
ARRAY
A: Erdal Mutlu Pacific Northwest National Laboratory, A: Karol Kowalski Pacific Northwest National Laboratory, A: Sriram Krishnamoorthy Pacific Northwest National Laboratories
11:00 - 11:20
Coffee BreakCatering at 301 Foyer
11:00
20m
Coffee break
Break
Catering

11:30 - 12:30
Session 3ARRAY at 106C
Chair(s): Martin Elsman University of Copenhagen, Denmark
11:30
30m
Talk
Finite Difference Methods Fengshui: Alignment through a Mathematics of Arrays
ARRAY
A: Benjamin Chetioui University of Bergen, Norway, A: Lenore Mullin SUNY Albany, USA, A: Ole Abusdal , A: Magne Haveraaen University of Bergen, Norway, A: Jaakko Järvi University of Bergen, A: Sandra Macià Barcelona Supercomputing Center
12:00
30m
Talk
Linear Algebraic Depth-First Search
ARRAY
12:30 - 14:00
LunchCatering at 301A
14:00 - 15:30
Session 4ARRAY at 106C
Chair(s): Tze Meng Low CMU
14:00
30m
Talk
TeIL: a type-safe imperative Tensor Intermediate Language
ARRAY
Norman A. Rink TU Dresden, Germany, Jeronimo Castrillon TU Dresden, Germany
14:30
30m
Talk
Records with Rank Polymorphism
ARRAY
A: Justin Slepak Northeastern University, A: Olin Shivers Northeastern University, USA, A: Panagiotis Manolios Northeastern University
15:00
30m
Talk
Data-Parallel Flattening by Expansion
ARRAY
Martin Elsman University of Copenhagen, Denmark, Troels Henriksen University of Copenhagen, Denmark, Niels G. W. Serup DIKU, University of Copenhagen
15:30 - 16:00
Coffee BreakCatering at 301 Foyer
16:00 - 17:30
Session 5ARRAY at 106C
Chair(s): Lenore Mullin SUNY Albany, USA
16:00
30m
Talk
ALPyNA: Acceleration of Loops in Python for Novel Architectures
ARRAY
A: Dejice Jacob , A: Jeremy Singer University of Glasgow
16:30
30m
Talk
Code Generation in Linnea (extended abstract)
ARRAY
A: Henrik Barthels RWTH Aachen, A: Paolo Bientinesi Umeå University
17:00
30m
Talk
High-Level Synthesis of Functional Patterns with Lift
ARRAY
A: Martin Kristien University of Edinburgh, UK, A: Bruno Bodin Yale-NUS College, A: Michel Steuwer University of Glasgow, A: Christophe Dubach University of Edinburgh

Call for Papers

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.

Full papers may be up to 12pp, 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 2pp; 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.

Whether full papers or extended abstracts, 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. A suitable document template for LaTeX is available at http://www.sigplan.org/Resources/Author/.

Papers must be submitted using EasyChair.

Authors take note: The official publication date of full papers is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the workshop. The official publication date affects the deadline for any patent filings related to published work.