Artifact for "Optimism in Equality Saturation" (PLDI 2026)

Fuente: Zenodo
Guardado en:
Detalles Bibliográficos
Autores principales: Arbore, Russel, Cheung, Alvin, Willsey, Max
Formato: Recurso digital
Lenguaje:inglés
Publicado: Zenodo 2026
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866902000847814656
author Arbore, Russel
Cheung, Alvin
Willsey, Max
author_facet Arbore, Russel
Cheung, Alvin
Willsey, Max
contents <p>This archive is a self-contained Docker image for the artifact evaluation of PLDI 2026 paper submission #376. Please refer to the README.md file for directions to evaluate the artifact.</p>
format Recurso digital
id zenodo_https___doi_org_10_5281_zenodo_19443747
institution Zenodo
language eng
publishDate 2026
publisher Zenodo
record_format zenodo
spellingShingle Artifact for "Optimism in Equality Saturation" (PLDI 2026)
Arbore, Russel
Cheung, Alvin
Willsey, Max
<p>This archive is a self-contained Docker image for the artifact evaluation of PLDI 2026 paper submission #376. Please refer to the README.md file for directions to evaluate the artifact.</p>
title Artifact for "Optimism in Equality Saturation" (PLDI 2026)
url https://doi.org/10.5281/zenodo.19443747