Write a Blog >>
ISMM 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom C
Floor0
Room InformationNo extra information available
Program

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

Tue 19 Jun

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