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 Article: pldiws18arraymain-id5-p doi:10.1145/3219753.3219754

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 Article: pldiws18arraymain-id9-p doi:10.1145/3219753.3219755

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 Article: pldiws18arraymain-id3-p doi:10.1145/3219753.3219756

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 Article: pldiws18arraymain-id1-p doi:10.1145/3219753.3219757

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

Publisher's Version Article: pldiws18arraymain-id2-p doi:10.1145/3219753.3219758

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

Publisher's Version Article: pldiws18arraymain-id8-p doi:10.1145/3219753.3219759

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 Article: pldiws18arraymain-id4-p doi:10.1145/3219753.3219760

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

Publisher's Version Article: pldiws18arraymain-id6-p doi:10.1145/3219753.3219761

proc time: 0.01