Sparse 2024
Mon 24 - Fri 28 June 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
Program
Complete Program
Your Program
Mon 24 Jun
Tue 25 Jun
Wed 26 Jun
Thu 27 Jun
Fri 28 Jun
Track/Call
Organization
Sparse 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
Sparse 2024
CTSTA 2023
Sign in
Sign up
PLDI 2024
(
series
) /
Sparse 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Helsinki
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Helsinki
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Windhoek
.
Use conference time zone: (GMT+02:00) Windhoek
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 24 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
1. Welcome
EGRAPHS
at
Helsinki
09:00
10m
Talk
Welcome
EGRAPHS
Max Willsey
UC Berkeley
09:10
30m
Talk
E-graphs and Automated Reasoning: Looking back to look forward
EGRAPHS
Philip Zucker
Draper
Pre-print
09:40
30m
Talk
Equivalence Hypergraphs: E-Graphs for Monoidal Theories
EGRAPHS
Aleksei Tiurin
University of Birmingham
,
Chris Barrett
University of Oxford
,
Dan Ghica
Huawei Research and University of Birmingham
10:40 - 12:20
2. Implementation
EGRAPHS
at
Helsinki
10:40
25m
Talk
Slotted E-Graphs
EGRAPHS
Rudi Schneider
TU Berlin
,
Thomas Koehler
INRIA
,
Michel Steuwer
Technische Universität Berlin
11:05
25m
Talk
Towards Relational Contextual Equality Saturation
EGRAPHS
Tyler Hou
University of California, Berkeley
,
Shadaj Laddad
University of California at Berkeley
,
Joseph M. Hellerstein
UC Berkeley
11:30
25m
Talk
Performant Dynamically Typed E-Graphs in Pure Julia
EGRAPHS
Alessandro Cheli
PlantingSpace
,
Niklas Heim
Czech Technical University
Pre-print
11:55
25m
Talk
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
EGRAPHS
Sabrina Reis
Lawrence Livermore National Laboratory
,
Matthew Sottile
Lawrence Livermore National Laboratory
13:40 - 15:20
3. Applications
EGRAPHS
at
Helsinki
13:40
25m
Talk
Powered by Less: Low Power Circuit Synthesis
EGRAPHS
Samuel Coward
Imperial College London, UK / Intel Corporation
,
Theo Drane
Intel Corporation, USA
,
Emiliano Morini
Intel Corporation
,
George A. Constantinides
Imperial College London, UK
14:05
25m
Talk
Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware?
EGRAPHS
Jianyi Cheng
University of Cambridge
,
Samuel Coward
Imperial College London, UK / Intel Corporation
,
Rafael Barbalho
Intel Corporation
,
Theo Drane
Intel Corporation, USA
14:30
25m
Talk
Loop Saturation for Scalable High-Level Synthesis
EGRAPHS
Camille Bossut
Georgia Institute of Technology
,
Qirun Zhang
Georgia Institute of Technology
,
Cong "Callie" Hao
Georgia Institute of Technology
14:55
25m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
EGRAPHS
Avery Laird
University of Toronto
,
Bangtian Liu
University of Toronto
,
Nikolaj Bjørner
Microsoft Research
,
Maryam Mehri Dehnavi
University of Toronto
16:00 - 17:40
4. Verification
EGRAPHS
at
Helsinki
16:00
25m
Talk
Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
EGRAPHS
Adrian Lehmann
University of Chicago
,
Ben Caldwell
University of Chicago
,
John Reppy
University of Chicago, USA
,
Robert Rand
University of Chicago
16:25
25m
Talk
superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
EGRAPHS
Alexander Treff
University of Lübeck
,
Pajam Pauls
University of Lübeck
,
Maximilian Orlt
TU Darmstadt
16:50
25m
Talk
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
EGRAPHS
Marcus Rossel
Technische Universität Dresden
,
Andrés Goens
University of Amsterdam
Pre-print
17:15
25m
Talk
Disequalities in E-Graphs: An Experiment
EGRAPHS
George Zakhour
University of St. Gallen
,
Pascal Weisenburger
University of St. Gallen
,
Guido Salvaneschi
University of St. Gallen
Mon 24 Jun
Displayed time zone:
Windhoek
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
17:00
30
Helsinki
EGRAPHS
1. Welcome
EGRAPHS
2. Implementation
EGRAPHS
3. Applications
EGRAPHS
4. Verification
Tue 25 Jun
Displayed time zone:
Windhoek
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
17:00
30
Helsinki
PODELSKI
PODELSKI
PODELSKI
PODELSKI
Mon 24 Jun
Displayed time zone:
Windhoek
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
17:00
15
30
45
Helsinki
EGRAPHS
Welcome
09:00 - 09:10
EGRAPHS
E-graphs and Automated Reasoning: Looking back to look forward
09:10 - 09:40
EGRAPHS
Equivalence Hypergraphs: E-Graphs for Monoidal Theories
09:40 - 10:10
EGRAPHS
Slotted E-Graphs
10:40 - 11:05
EGRAPHS
Towards Relational Contextual Equality Saturation
11:05 - 11:30
EGRAPHS
Performant Dynamically Typed E-Graphs in Pure Julia
11:30 - 11:55
EGRAPHS
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
11:55 - 12:20
EGRAPHS
Powered by Less: Low Power Circuit Synthesis
13:40 - 14:05
EGRAPHS
Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how shou ...
14:05 - 14:30
EGRAPHS
Loop Saturation for Scalable High-Level Synthesis
14:30 - 14:55
EGRAPHS
SpEQ: Translation of Sparse Codes using Equivalences
14:55 - 15:20
EGRAPHS
Automated Proof Generation for Associative and Distributive Rewriting w ...
16:00 - 16:25
EGRAPHS
superVer: Verifying Probabilistic Independence of Systems of Expression ...
16:25 - 16:50
EGRAPHS
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
16:50 - 17:15
EGRAPHS
Disequalities in E-Graphs: An Experiment
17:15 - 17:40
x
Sun 19 May 11:20