Write a Blog >>
ISMM 2018
co-located with PLDI 2018
VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom C
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

09:00 - 10:00: KeynoteARRAY at Grand Ballroom C
09:00 - 10:00
Talk
ARRAY
K: Albert CohenInria, France / ENS, France
Pre-print
10:00 - 10:35: Array Language CommonalitiesARRAY at Grand Ballroom C
10:00 - 10:35
Talk
ARRAY
Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Hans-Nikolai VießmannHeriot-Watt University, UK, Sven-Bodo ScholzHeriot-Watt University
11:00 - 12:10: Exploiting Dynamic InformationARRAY at Grand Ballroom C
11:00 - 11:35
Talk
ARRAY
Marco Heisig, Harald KöstlerFriedrich-Alexander University Erlangen-Nürnberg, Germany
File Attached
11:35 - 12:10
Talk
ARRAY
Patryk KiepasMINES ParisTech, France, Jaroslaw KozlakAGH University of Science and Technology, Poland, Claude TadonkiMINES ParisTech, France, Corinne AncourtMINES ParisTech, France
14:00 - 15:45: Types and CorrectnessARRAY at Grand Ballroom C
14:00 - 14:35
Talk
ARRAY
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
14:35 - 15:10
Talk
ARRAY
Justin SlepakNortheastern University, Panagiotis ManoliosNortheastern University, Olin ShiversNortheastern University, USA
15:10 - 15:45
Talk
ARRAY
Magne HaveraaenUniversity of Bergen, Norway
16:10 - 17:20: Accessing the Memory SystemARRAY at Grand Ballroom C
16:10 - 16:45
Talk
ARRAY
Matthias SpringerTokyo Institute of Technology, Yaozhu SunTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Pre-print
16:45 - 17:20
Talk
ARRAY
Eva BurrowsUniversity of Bergen, Norway, Helmer André FriisIRIS, Norway, Magne HaveraaenUniversity of Bergen, Norway

Tue 19 Jun
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change