PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Mon 24 Jun 2024 11:55 - 12:20 at Reykjavik - 2. Implementation

This paper describes an application of e-graphs to a problem from software testing. Given a large and complex input for a program, we use a combination of term refinement and equality rules applied to the input to distill out a much smaller test suite. This smaller test suite is intended to capture all necessary features of the large, complex input for testing the program of interest. In this work we are considering testing of program analysis and transformation tools, where the test suite is intended to capture the set of language features that a tool must support to handle the large scale programs it is intended to operate upon. We describe our e-graph implementation that is based on a JSON term representation and supports term deletion, rule application for establishing equivalences as well as instantiating new terms based on pattern matches, and extraction of terms after refinement. We will present the preliminary results of this ongoing research project at the workshop.

Mon 24 Jun

Displayed time zone: Windhoek change

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
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
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