PLDI 2018 Workshops
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
Powered by
Conference Publishing Consulting

5th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2018), June 19, 2018, Philadelphia, PA, USA

ARRAY 2018 – Proceedings

Contents - Abstracts - Authors

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

Frontmatter

Title Page
Message from the Chairs

Array Language Commonalities

A Rosetta Stone for Array Languages
Artjoms ŠinkarovsORCID logo, 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 ORCID logo, Elias Castegren ORCID logo, and Tobias Wrigstad ORCID logo
(Stockholm University, Sweden; Uppsala University, Sweden)
Publisher's Version
Rank Polymorphism Viewed as a Constraint Problem
Justin Slepak, Panagiotis Manolios, and Olin Shivers ORCID logo
(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 ORCID logo
(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: 2.66