FMS 2018
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States
co-located with PLDI 2018
PLDI 2018 (series) / FMS 2018 (series) / Hilton Philadelphia at Penn's Landing /

Room information: Grand Ballroom C

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

09:00 - 10:00
KeynoteARRAY at Grand Ballroom C
09:00
60m
Talk
Tensor Comprehensions: deep learning as a polyhedral compiler's killer app
ARRAY
K: Albert Cohen Inria, France / ENS, France
Pre-print
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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Grand Ballroom C

ARRAY

Keynote

ARRAY

Array Language Commonalities

ARRAY

Exploiting Dynamic Information

ARRAY

Types and Correctness

ARRAY

Accessing the Memory System

Tue 19 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grand Ballroom C
ARRAY
Tensor Comprehensions: deep learning as a polyhedral compiler's killer app
09:00 - 10:00
ARRAY
A Rosetta Stone for Array Languages
10:00 - 10:35
ARRAY
Petalisp: Run Time Code Generation for Operations on Strided Arrays
11:00 - 11:35
ARRAY
Profile-Based Vectorization for MATLAB
11:35 - 12:10
ARRAY
Parallel Programming with Arrays in Kappa 
14:00 - 14:35
ARRAY
Rank Polymorphism Viewed as a Constraint Problem
14:35 - 15:10
ARRAY
Proving a Core Code for FDM Correct by 2 + dw Tests
15:10 - 15:45
ARRAY
Inner Array Inlining for Structure of Arrays Layout
16:10 - 16:45
ARRAY
An Array API for Finite Difference Methods
16:45 - 17:20