Artifact for OOPSLA23: Equality Saturation Theory Exploration à la Carte

Pal, Anjali; Saiki, Brett; Tjoa, Ryan; Richey, Cynthia; Zhu, Amy; Flatt, Oliver; Willsey, Max; Tatlock, Zachary; Nandi, Chandrakana

doi:10.5281/zenodo.8140951

Published September 8, 2023 | Version v1

Conference paper Open

Artifact for OOPSLA23: Equality Saturation Theory Exploration à la Carte

1. University of Washington
2. Certora, Inc.

This is the artifact for our paper, "Equality Saturation Theory Exploration à la Carte", which will appear at OOPSLA 2023. In this archive, we provide a zip of the source files, a README, and a VM image. The best way to get started is to download the VM and follow the instructions in the README.

Files

enumo.zip

Files (11.7 GB)

Name	Size
enumo.zip md5:e6c282a9d6cb6c4b6159f36ead491a22	54.1 MB	Preview Download
oopsla23.ova md5:b32cce3bc7c515c85884a56b60132a62	11.6 GB	Download
README.pdf md5:636b551c3a776fdf81de84572d3969bc	616.3 kB	Preview Download

201

Views

229

Downloads

Show more details

	All versions	This version
Views	201	200
Downloads	229	228
Data volume	1.1 TB	1.1 TB

More info on how stats are collected....

DOI

Resource type

Conference paper

Publisher

Zenodo

Conference

ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) , Cascais, Portugal, 25-27 October 2023

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: September 8, 2023
Modified: July 11, 2024

Artifact for OOPSLA23: Equality Saturation Theory Exploration à la Carte

Authors/Creators

Description

Files

enumo.zip

Files (11.7 GB)