You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

10:00 - 10:35
Array Language CommonalitiesARRAY at Grand Ballroom C
10:00
35m
Talk
A Rosetta Stone for Array Languages
ARRAY
Artjoms Šinkarovs Heriot-Watt University, UK, Robert Bernecky Snake Island Research, Hans-Nikolai Vießmann Heriot-Watt University, UK, Sven-Bodo Scholz Heriot-Watt University
11:00 - 12:10
Exploiting Dynamic InformationARRAY at Grand Ballroom C
11:00
35m
Talk
Petalisp: Run Time Code Generation for Operations on Strided Arrays
ARRAY
Marco Heisig , Harald Köstler Friedrich-Alexander University Erlangen-Nürnberg, Germany
File Attached
11:35
35m
Talk
Profile-Based Vectorization for MATLAB
ARRAY
Patryk Kiepas MINES ParisTech, France, Jaroslaw Kozlak AGH University of Science and Technology, Poland, Claude Tadonki MINES ParisTech, France, Corinne Ancourt MINES ParisTech, France
14:00 - 15:45
Types and CorrectnessARRAY at Grand Ballroom C
14:00
35m
Talk
Parallel Programming with Arrays in Kappa 
ARRAY
Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
14:35
35m
Talk
Rank Polymorphism Viewed as a Constraint Problem
ARRAY
Justin Slepak Northeastern University, Panagiotis Manolios Northeastern University, Olin Shivers Northeastern University, USA
15:10
35m
Talk
Proving a Core Code for FDM Correct by 2 + dw Tests
ARRAY
Magne Haveraaen University of Bergen, Norway
16:10 - 17:20
Accessing the Memory SystemARRAY at Grand Ballroom C
16:10
35m
Talk
Inner Array Inlining for Structure of Arrays Layout
ARRAY
Matthias Springer Tokyo Institute of Technology, Yaozhu Sun Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
Pre-print
16:45
35m
Talk
An Array API for Finite Difference Methods
ARRAY
Eva Burrows University of Bergen, Norway, Helmer André Friis IRIS, Norway, Magne Haveraaen University of Bergen, Norway