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 – Advance Table of Contents

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 Šinkarovs, Robert Bernecky, Hans-Nikolai Vießmann, and Sven-Bodo Scholz
(Heriot-Watt University, UK; Snake Island Research, Canada)
Article Search

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)
Article Search
Profile-Based Vectorization for MATLAB
Patryk Kiepas, Jaroslaw Kozlak, Claude Tadonki, and Corinne Ancourt
(MINES ParisTech, France; AGH University of Science and Technology, Poland)
Article Search Info

Types and Correctness

Parallel Programming with Arrays in Kappa 
Beatrice Åkerblom, Elias Castegren, and Tobias Wrigstad
(Stockholm University, Sweden; Uppsala University, Sweden)
Article Search
Rank Polymorphism Viewed as a Constraint Problem
Justin Slepak, Panagiotis Manolios, and Olin Shivers
(Northeastern University, USA)
Article Search
Proving a Core Code for FDM Correct by 2 + dw Tests
Magne Haveraaen
(University of Bergen, Norway)
Article Search

Accessing the Memory System

Inner Array Inlining for Structure of Arrays Layout
Matthias Springer, Yaozhu Sun, and Hidehiko Masuhara
(Tokyo Institute of Technology, Japan)
Article Search Info
An Array API for Finite Difference Methods
Eva Burrows, Helmer André Friis, and Magne Haveraaen
(University of Bergen, Norway; IRIS, Norway)
Article Search

proc time: 2.65