Program - ICFP 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	FHPNC Talk #1FHPNC at Olympic Chair(s): Gabriele Keller Utrecht University

09:00 45m Keynote		Programming the Groq TSP Architecture in Haskell with Haste FHPNC Satnam Singh
09:45 45m Talk		Rank-Polymorphism for Shape-Guided Blocking FHPNC Artjoms Šinkarovs Heriot-Watt University, UK, Thomas Koopman Radboud University, Sven-Bodo Scholz Heriot-Watt University DOI

11:00 - 12:30	FHPNC Talk #2FHPNC at Olympic Chair(s): Sam Westrick Carnegie Mellon University

11:00 45m Keynote		Fast Deep Learning with Categories FHPNC Michael Sperber Active Group GmbH
11:45 45m Talk		Efficient GPU Implementation of Affine Index Permutations on Arrays FHPNC Mathis Bouverot-Dupuis École normale supérieure Paris-Saclay, Mary Sheeran Chalmers \| University of Gothenburg DOI

14:00 - 15:30	FHPNC Talks #3FHPNC at Olympic Chair(s): Mary Sheeran Chalmers

14:00 45m Keynote		Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code FHPNC Gilbert Louis Bernstein Stanford University, USA
14:45 45m Talk		The best multicore-parallelization refactoring you've never heard of FHPNC Mike Rainey Carnegie Mellon University

16:00 - 17:30	Invited talk & DiscussionFHPNC at Olympic

16:00 45m Talk		Shape-Constrained Array Programming with Size-Dependent Types FHPNC Lubin Bailly École normale supérieure, Troels Henriksen University of Copenhagen, Denmark, Martin Elsman University of Copenhagen, Denmark DOI
16:45 45m Panel		Community Update and Discussion FHPNC

FHPNC 2023 Program

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Workshops

Co-hosted Symposia

FHPNC 2023 Program

Switch Program View

Program Display Configuration

Mon 4 SepDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

Mon 4 Sep
Displayed time zone: Pacific Time (US & Canada) change