ISMM 2024
Tue 25 Jun 2024
Copenhagen, Denmark
co-located with
PLDI 2024
Toggle navigation
Attending
Venue: Radisson Blu Scandinavia, Copenhagen
PLDI 2024
Sponsorship
Registration
Visa
Live Streams
Presenter Instructions
Program
ISMM Program
Your Program
Tue 25 Jun
Track/Call
Organization
ISMM 2024 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISMM 2025
ISMM 2024
ISMM 2023
ISMM 2022
ISMM 2021
ISMM 2020
ISMM 2019
ISMM 2018
ISMM 2017
ISMM 2016
ISMM 2015
Sign in
Sign up
PLDI 2024
(
series
) /
ISMM 2024 (
series
) /
Radisson Blu Scandinavia, Copenhagen
/
Room information: Reykjavik
Venue
Radisson Blu Scandinavia, Copenhagen
Room name
Reykjavik
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+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
Reykjavik
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
Media Attached
09:40
30m
Talk
Equivalence Hypergraphs: E-Graphs for Monoidal Theories
Remote
EGRAPHS
Aleksei Tiurin
University of Birmingham
,
Chris Barrett
University of Oxford
,
Dan Ghica
Huawei Research and University of Birmingham
Pre-print
Media Attached
10:40 - 12:20
2. Implementation
EGRAPHS
at
Reykjavik
10:40
25m
Talk
Slotted E-Graphs
EGRAPHS
Rudi Schneider
TU Berlin
,
Thomas Koehler
INRIA
,
Michel Steuwer
Technische Universität Berlin
Pre-print
Media Attached
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
Pre-print
Media Attached
11:30
25m
Talk
Performant Dynamically Typed E-Graphs in Pure Julia
EGRAPHS
Alessandro Cheli
PlantingSpace
,
Niklas Heim
Czech Technical University
Pre-print
Media Attached
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
Media Attached
File Attached
13:40 - 15:20
3. Applications
EGRAPHS
at
Reykjavik
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
Media Attached
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
Link to publication
DOI
Media Attached
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
Media Attached
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
Media Attached
16:00 - 17:40
4. Verification
EGRAPHS
at
Reykjavik
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
Media Attached
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
,
Marc Gourjon
Hamburg University of Technology and NXP Semiconductors Germany GmbH
Media Attached
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
Media Attached
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
Pre-print
Media Attached
Tue 25 Jun
Displayed time zone:
Windhoek
change
09:00 - 10:10
SOAP I
SOAP
at
Reykjavik
Chair(s):
Raphaël Monat
Inria and University of Lille
09:00
50m
Keynote
Recent Advances in Floating-point (Static) Analyses
SOAP
Eva Darulova
Uppsala University
09:50
20m
Talk
Static Analysis for CHERI
Remote
SOAP
Irina Dudina
University of Edinburgh
,
Ian Stark
The University of Edinburgh
10:40 - 12:20
SOAP II
SOAP
at
Reykjavik
Chair(s):
Luca Negrini
Ca’ Foscari University of Venice
10:40
50m
Keynote
Challenges and Opportunities in Program Analysis for JavaScript
SOAP
Anders Møller
Aarhus University
11:30
20m
Talk
Dr Wenowdis: Specializing dynamic language C extensions using type information
SOAP
Maxwell Bernstein
Northeastern University
,
CF Bolz-Tereick
Heinrich-Heine-Universität Düsseldorf
Pre-print
File Attached
11:50
20m
Talk
Interleaving Static Analysis and LLM Prompting
SOAP
Patrick Chapman
University of California, Davis
,
Cindy Rubio-González
University of California at Davis
,
Aditya V. Thakur
University of California at Davis
13:40 - 15:20
SOAP III
SOAP
at
Reykjavik
Chair(s):
Cindy Rubio-González
University of California at Davis
13:40
50m
Keynote
Lightweight Resource Leak Verification and Inference
SOAP
Manu Sridharan
University of California at Riverside
14:30
20m
Talk
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
SOAP
Guillaume Bertholon
Inria & Université de Strasbourg, CNRS, ICube, France
,
Arthur Charguéraud
Inria; Université de Strasbourg; CNRS; ICube
,
Thomas Koehler
INRIA
,
Begatim Bytyqi
Inria & Université de Strasbourg, CNRS, ICube, France
,
Damien Rouhling
Inria Nancy Grand-Est; France
14:50
20m
Talk
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
SOAP
Julian Erhard
Technical University of Munich
,
Johanna Franziska Schinabeck
Technische Universität München
,
Michael Schwarz
Technische Universität München
,
Helmut Seidl
Technische Universität München
16:00 - 17:40
SOAP IV
SOAP
at
Reykjavik
Chair(s):
Helmut Seidl
Technische Universität München
16:00
20m
Talk
Misconceptions About Loops in C
SOAP
Martin Brain
City, University of London
,
Mahdi Malkawi
City, University of London
16:20
20m
Talk
A Better Approximation for Interleaved Dyck Reachability
SOAP
Giovanna Kobus Conrado
Hong Kong University of Science and Technology
,
Andreas Pavlogiannis
Aarhus University
16:40
20m
Talk
ValBench: Benchmarking exact value analysis
SOAP
Marc Miltenberger
Fraunhofer SIT | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt
,
Steven Arzt
Fraunhofer SIT; ATHENE
17:00
5m
Talk
Closing and Best Presentation Award
SOAP
Raphaël Monat
Inria and University of Lille
,
Cindy Rubio-González
University of California at Davis
Thu 27 Jun
Displayed time zone:
Windhoek
change
17:00 - 18:00
Business Meeting
PLDI Events
at
Reykjavik
17:00
60m
Meeting
Business Meeting
PLDI Events
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
Reykjavik
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
Reykjavik
SOAP
SOAP I
SOAP
SOAP II
SOAP
SOAP III
SOAP
SOAP IV
Thu 27 Jun
Displayed time zone:
Windhoek
change
Room
17:00
30
Reykjavik
PLDI Events
Business Meeting
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
Reykjavik
EGRAPHS
Welcome
09:00 - 09:10
EGRAPHS
E-graphs and Automated Reasoning: Looking back to look forward
09:10 - 09:40
EGRAPHS
Remote
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
Tue 25 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
Reykjavik
SOAP
Recent Advances in Floating-point (Static) Analyses
09:00 - 09:50
SOAP
Remote
Static Analysis for CHERI
09:50 - 10:10
SOAP
Challenges and Opportunities in Program Analysis for JavaScript
10:40 - 11:30
SOAP
Dr Wenowdis: Specializing dynamic language C extensions using type info ...
11:30 - 11:50
SOAP
Interleaving Static Analysis and LLM Prompting
11:50 - 12:10
SOAP
Lightweight Resource Leak Verification and Inference
13:40 - 14:30
SOAP
Interactive Source-to-Source Optimizations Validated using Static Resou ...
14:30 - 14:50
SOAP
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on ...
14:50 - 15:10
SOAP
Misconceptions About Loops in C
16:00 - 16:20
SOAP
A Better Approximation for Interleaved Dyck Reachability
16:20 - 16:40
SOAP
ValBench: Benchmarking exact value analysis
16:40 - 17:00
SOAP
Closing and Best Presentation Award
17:00 - 17:05
Thu 27 Jun
Displayed time zone:
Windhoek
change
Room
17:00
15
30
45
Reykjavik
PLDI Events
Business Meeting
17:00 - 18:00
x
Sat 21 Dec 17:48