PLDI 2025 (series) / ARRAY 2025 (series) /
ARRAY 2025 Program
This is the ARRAY 2025 program - see the full program for PLDI 2025 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 10mDay opening | Welcome ARRAY | ||
09:10 60mKeynote | Efficient array (and data) processing by leveraging structure ARRAY Amir Shaikhha University of Edinburgh | ||
10:30 - 12:00 | |||
10:30 30mTalk | Gate Fusion Is Map Fusion ARRAY DOI | ||
11:00 30mTalk | 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 30mTalk | 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 | |||
14:00 30mTalk | (De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms ARRAY Link to publication Media Attached | ||
14:30 30mTalk | An MDH-Based DSL for Array Computations ARRAY Link to publication Media Attached | ||
15:40 - 17:00 | |||
15:40 30mTalk | 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 30mTalk | 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 File Attached | ||