Sun 18 Jun 2023 14:00 - 14:30 at Magnolia 6 - ARRAY: Session 3 Chair(s): Mary Sheeran

HERO-ML is an array language, on very high level, which is intended for
specifying data parallel algorithms in a concise and platform-independent
way where all the inherent data parallelism is easy to identify. The goal is to support the software development for heterogeneous
systems with different kinds of parallel numerical accelerators, where
programs tend to be very platform-specific and difficult to develop.
In this paper we describe HERO-ML, and a proof-of-concept implementation.

Sun 18 Jun

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

14:00 - 15:30
ARRAY: Session 3ARRAY at Magnolia 6
Chair(s): Mary Sheeran Chalmers

#array-sun-magnolia6 Discord icon small YouTube icon small

14:00
30m
Talk
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms
ARRAY
Björn Lisper Malardalen University, Linus Källberg Mälardalen University
DOI
14:30
30m
Talk
OptiTrust: an Interactive Optimization Framework
ARRAY
Thomas Koehler INRIA, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Begatim Bytyqi Inria, Damien Rouhling Inria, Yann Barsamian Ecole Européenne de Bruxelles
Pre-print File Attached
15:00
30m
Talk
Polymorphic Types with Polynomial Sizes
ARRAY
Jean-Louis Colaço ANSYS, Baptiste Pauget ANSYS/Inria, Marc Pouzet École normale supérieure
DOI