Program - PLDI 2025

Detailed Table Session Timeline Detailed Timeline

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Tue 17 Jun
Displayed time zone: Seoul change

09:00 - 10:10	Opening and KeynoteARRAY at Violet

09:00 10m Day opening		Welcome ARRAY Artjoms Šinkarovs University of Southampton, Sven-Bodo Scholz Radboud University
09:10 60m Keynote		Efficient array (and data) processing by leveraging structure ARRAY Amir Shaikhha University of Edinburgh

10:30 - 12:00	Performance Challenges and OpportunitiesARRAY at Violet

10:30 30m Talk		Gate Fusion Is Map Fusion ARRAY Martin Elsman University of Copenhagen, Troels Henriksen University of Copenhagen DOI
11:00 30m Talk		Array Programming on GPUs: Challenges and Opportunities ARRAY Xinyi Li University of Utah, Mark Baranowski University of Utah, Harvey Dam University of Utah, Ganesh Gopalakrishnan University of Utah DOI
11:30 30m Talk		Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values ARRAY Guillaume Berthelot Numalis, Arnault Ioualalen Numalis, Matthieu Martel University of Peprignan; Numalis DOI

14:00 - 15:20	Multi-Dimensional HomormorphismsARRAY at Violet

14:00 30m Talk		(De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms ARRAY Ari Rasch University of Muenster, Richard Schulze University of Muenster Link to publication Media Attached
14:30 30m Talk		An MDH-Based DSL for Array Computations ARRAY Richard Schulze University of Muenster, Ari Rasch University of Muenster Link to publication Media Attached

15:40 - 17:00	Language Design & Type SafetyARRAY at Violet

15:40 30m Talk		Kuiper: verified and efficient GPU programming ARRAY Guido Martínez Microsoft Research, Jonas Fiala ETH Zürich, Abhinav Jangda Microsoft Research, Angelica Moreira Microsoft Research, Nikhil Swamy Microsoft Research, Tyler Sorensen Microsoft Research
16:10 30m Talk		Structuring Arrays with Algebraic Shapes ARRAY Jakub Bachurski University of Cambridge, Alan Mycroft University of Cambridge, Dominic Orchard University of Cambridge; University of Kent DOI

ARRAY 2025 Program

This program is tentative and subject to change.

Tue 17 Jun
Displayed time zone: Seoul change

Tracks

Co-hosted Conferences

Workshops

ARRAY 2025 Program

Switch Program View

This program is tentative and subject to change.

Program Display Configuration

Tue 17 JunDisplayed time zone: Seoul change

Get Calendar (iCal)

Tue 17 Jun
Displayed time zone: Seoul change