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)


@InProceedings{ARRAY18p1, author = {Artjoms Šinkarovs and Robert Bernecky and Hans-Nikolai Vießmann and Sven-Bodo Scholz}, title = {A Rosetta Stone for Array Languages}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3219753.3219754}, year = {2018}, } 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)


@InProceedings{ARRAY18p11, author = {Marco Heisig and Harald Köstler}, title = {Petalisp: Run Time Code Generation for Operations on Strided Arrays}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {11-10}, doi = {10.1145/3219753.3219755}, year = {2018}, } 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)


@InProceedings{ARRAY18p21, author = {Patryk Kiepas and Jaroslaw Kozlak and Claude Tadonki and Corinne Ancourt}, title = {Profile-Based Vectorization for MATLAB}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3219753.3219756}, year = {2018}, } Publisher's Version

Types and Correctness

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


@InProceedings{ARRAY18p31, author = {Beatrice Åkerblom and Elias Castegren and Tobias Wrigstad}, title = {Parallel Programming with Arrays in Kappa }, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3219753.3219757}, year = {2018}, } Publisher's Version

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


@InProceedings{ARRAY18p41, author = {Justin Slepak and Panagiotis Manolios and Olin Shivers}, title = {Rank Polymorphism Viewed as a Constraint Problem}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3219753.3219758}, year = {2018}, } Publisher's Version

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


@InProceedings{ARRAY18p51, author = {Magne Haveraaen}, title = {Proving a Core Code for FDM Correct by 2 + dw Tests}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {51-50}, doi = {10.1145/3219753.3219759}, year = {2018}, } 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)


@InProceedings{ARRAY18p61, author = {Matthias Springer and Yaozhu Sun and Hidehiko Masuhara}, title = {Inner Array Inlining for Structure of Arrays Layout}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3219753.3219760}, year = {2018}, } Publisher's Version

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


@InProceedings{ARRAY18p71, author = {Eva Burrows and Helmer André Friis and Magne Haveraaen}, title = {An Array API for Finite Difference Methods}, booktitle = {Proc.\ ARRAY}, publisher = {ACM}, pages = {71-70}, doi = {10.1145/3219753.3219761}, year = {2018}, } Publisher's Version

proc time: 0.77