ISMM 2024
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
Room InformationNo extra information available
Program

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. WelcomeEGRAPHS 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
Pre-print Media Attached
09:40
30m
Talk
Equivalence Hypergraphs: E-Graphs for Monoidal TheoriesRemote
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. ImplementationEGRAPHS 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. ApplicationsEGRAPHS 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. VerificationEGRAPHS 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 ISOAP 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 CHERIRemote
SOAP
Irina Dudina University of Edinburgh, Ian Stark The University of Edinburgh
10:40 - 12:20
SOAP IISOAP 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 IIISOAP 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 IVSOAP 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 MeetingPLDI Events at Reykjavik
17:00
60m
Meeting
Business Meeting
PLDI Events

Mon 24 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Reykjavik

Tue 25 Jun

Displayed time zone: Windhoek change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Reykjavik

Thu 27 Jun

Displayed time zone: Windhoek change

Thu 27 Jun

Displayed time zone: Windhoek change

Room17:00153045
Reykjavik