ARRAY 2018 – Proceedings

5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2018)

Frontmatter

Array Language Commonalities

A Rosetta Stone for Array Languages
Artjoms Šinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, and Sven-Bodo Scholz
(Heriot-Watt University, UK; Snake Island Research, Canada)

Publisher's Version

Exploiting Dynamic Information

Petalisp: Run Time Code Generation for Operations on Strided Arrays
Marco Heisig and Harald Köstler
(Friedrich-Alexander University Erlangen-Nürnberg, Germany)

Publisher's Version

Profile-Based Vectorization for MATLAB
Patryk Kiepas, Jaroslaw Kozlak, Claude Tadonki, and Corinne Ancourt
(MINES ParisTech, France; AGH University of Science and Technology, Poland)

Publisher's Version Info

Types and Correctness

Parallel Programming with Arrays in Kappa 
Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)

Publisher's Version

Rank Polymorphism Viewed as a Constraint Problem
Justin Slepak, Panagiotis Manolios, and Olin Shivers
(Northeastern University, USA)

Publisher's Version

Proving a Core Code for FDM Correct by 2 + dw Tests
Magne Haveraaen
(University of Bergen, Norway)

Publisher's Version

Accessing the Memory System

Inner Array Inlining for Structure of Arrays Layout
Matthias Springer, Yaozhu Sun, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)

Publisher's Version Info

An Array API for Finite Difference Methods
Eva Burrows, Helmer André Friis, and Magne Haveraaen
(University of Bergen, Norway; IRIS, Norway)

Publisher's Version

proc time: 1.76