EGRAPHS 2025
Mon 16 - Fri 20 June 2025
Seoul, South Korea
co-located with
PLDI 2025
Toggle navigation
Attending
Venue: The Westin Josun Seoul
Program
EGRAPHS Program
Your Program
Mon 16 Jun
Tue 17 Jun
Wed 18 Jun
Thu 19 Jun
Fri 20 Jun
Track/Call
Organization
EGRAPHS 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
EGRAPHS 2025
EGRAPHS 2024
EGRAPHS 2023
EGRAPHS 2022
Sign in
Sign up
PLDI 2025
(
series
) /
EGRAPHS 2025 (
series
) /
The Westin Josun Seoul
/
Room information: Tulip
Venue
The Westin Josun Seoul
Room name
Tulip
Floor
2
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 16 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
BuildIt
PLDI Tutorials
at
Tulip
09:00
70m
Tutorial
Building DSLs made easy with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
10:30 - 12:00
BuildIt
PLDI Tutorials
at
Tulip
10:30
90m
Tutorial
Building DSLs made easy with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
14:00 - 15:20
BuildIt
PLDI Tutorials
at
Tulip
14:00
80m
Tutorial
Building DSLs made easy with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
15:40 - 17:00
BuildIt
PLDI Tutorials
at
Tulip
15:40
80m
Tutorial
Building DSLs made easy with the BuildIt Framework
PLDI Tutorials
Ajay Brahmakshatriya
Massachusetts Institute of Technology
,
Saman Amarasinghe
Massachusetts Institute of Technology
Tue 17 Jun
Displayed time zone:
Seoul
change
09:00 - 10:10
Opening and Keynote
ARRAY
at
Tulip
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 Opportunities
ARRAY
at
Tulip
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 Homormorphisms
ARRAY
at
Tulip
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 Safety
ARRAY
at
Tulip
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
File Attached
Wed 18 Jun
Displayed time zone:
Seoul
change
19:30 - 21:30
Women's Dinner
PLDI Catering
/
PLDI Diversity, Equity and Inclusion
at
Tulip
19:30
2h
Dinner
Dinner
PLDI Catering
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Tulip
PLDI Tutorials
BuildIt
PLDI Tutorials
BuildIt
PLDI Tutorials
BuildIt
PLDI Tutorials
BuildIt
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Tulip
ARRAY
Opening and Keynote
ARRAY
Performance Challenges and Opportunities
ARRAY
Multi-Dimensional Homormorphisms
ARRAY
Language Design & Type Safety
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
30
20:00
30
21:00
30
Tulip
PLDI Catering + PLDI Diversity, Equity and Inclusion
Women's Dinner
Mon 16 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Tulip
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
09:00 - 10:10
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
10:30 - 12:00
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
14:00 - 15:20
PLDI Tutorials
Building DSLs made easy with the BuildIt Framework
15:40 - 17:00
Tue 17 Jun
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Tulip
ARRAY
Welcome
09:00 - 09:10
ARRAY
Efficient array (and data) processing by leveraging structure
09:10 - 10:10
ARRAY
Gate Fusion Is Map Fusion
10:30 - 11:00
ARRAY
Array Programming on GPUs: Challenges and Opportunities
11:00 - 11:30
ARRAY
Accelerating the Static Analysis of Neural Networks by Batch Representa ...
11:30 - 12:00
ARRAY
(De/Re)-Composition of Array Computations via Multi-Dimensional Homomor ...
14:00 - 14:30
ARRAY
An MDH-Based DSL for Array Computations
14:30 - 15:00
ARRAY
Kuiper: verified and efficient GPU programming
15:40 - 16:10
ARRAY
Structuring Arrays with Algebraic Shapes
16:10 - 16:40
Wed 18 Jun
Displayed time zone:
Seoul
change
Room
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Tulip
PLDI Catering
Dinner
19:30 - 21:30
x
Mon 17 Nov 01:27