Buchumschlag

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

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Arbore, Russel, Cheung, Alvin, Willsey, Max
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Optimism in Equality Saturation
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

justinlubin/aonav: PLDI 2026 Artifact Evaluation (v2)
von: Justin Lubin, et al.
Veröffentlicht: (2026)

Artifact for "Uniformity Analysis in the WebGPU Shading Language", PLDI 2026
von: Lee-Jones, James, et al.
Veröffentlicht: (2026)

Finite Functional Programming
von: Arntzenius, Michael, et al.
Veröffentlicht: (2026)

Stream programs are monoid homomorphisms with state
von: Hou, Tyler, et al.
Veröffentlicht: (2025)

Hybrid Voxel Formats for Efficient Ray Tracing
von: Arbore, Russel, et al.
Veröffentlicht: (2024)

Hercules: A Compiler for Productive Programming of Heterogeneous Systems
von: Arbore, Russel, et al.
Veröffentlicht: (2025)

Towards Relational Contextual Equality Saturation
von: Hou, Tyler, et al.
Veröffentlicht: (2025)

Equality Saturation Guided by Large Language Models
von: Peng, Wentao, et al.
Veröffentlicht: (2025)

LLM-Guided Strategy Synthesis for Scalable Equality Saturation
von: Yin, Chenyun, et al.
Veröffentlicht: (2026)

E-Path: Equality Saturation for Control-Flow Graphs
von: Garcia, Guillermo
Veröffentlicht: (2026)

eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

Equality Saturation for Optimizing High-Level Julia IR
von: Merckx, Jules, et al.
Veröffentlicht: (2025)

ArberSephirotheca/gpu-subgroup_semantics-TLAPlus: PLDI 1.0.2
von: Zheyuan Chen
Veröffentlicht: (2026)

Scaling Program Synthesis Based Technology Mapping with Equality Saturation
von: Smith, Gus Henry, et al.
Veröffentlicht: (2024)

E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
von: Chen, Chen, et al.
Veröffentlicht: (2025)

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

HEC: Equivalence Verification Checking for Code Transformation via Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

CellE: Automated Standard Cell Library Extension via Equality Saturation
von: Ren, Yi, et al.
Veröffentlicht: (2026)

Optimizing Tensor Computation Graphs with Equality Saturation and Monte Carlo Tree Search
von: Hartmann, Jakob, et al.
Veröffentlicht: (2024)

LEGO: HPCA2026 Artifact Evaluation
von: Han, Zhao, et al.
Veröffentlicht: (2025)

NIGERIA: Cautious Optimism?
Veröffentlicht: (2025)

Bioethics and Optimism at Work
von: Vardit Ravitsky
Veröffentlicht: (2025)

Shipboard acoustic doppler current profiling during cruise TC9408 (SAC ID 00142)
von: Russel, S
Veröffentlicht: (2005)

Building Persona-Based Agents On Demand: Tailoring Multi-Agent Workflows to User Needs
von: Arbore, Giuseppe, et al.
Veröffentlicht: (2026)

Latent Idiom Recognition for a Minimalist Functional Array Language using Equality Saturation
von: Van der Cruysse, Jonathan, et al.
Veröffentlicht: (2023)

AST-T5: Structure-Aware Pretraining for Code Generation and Understanding
von: Gong, Linyuan, et al.
Veröffentlicht: (2024)

ADELT: Transpilation Between Deep Learning Frameworks
von: Gong, Linyuan, et al.
Veröffentlicht: (2023)

Optimism, overconfidence, and moral hazard
von: Sinander, Ludvig
Veröffentlicht: (2023)

Ibn Taymiyya's Theodicy of Perpetual Optimism
von: Hoover, J.
Veröffentlicht: (2016)

Learned Graph Rewriting with Equality Saturation: A New Paradigm in Relational Query Rewrite and Beyond
von: Bărbulescu, George-Octavian, et al.
Veröffentlicht: (2024)

Shock Wave in the Beirut Explosion: Theory and Video Analysis
von: Czarnecki, Adam J., et al.
Veröffentlicht: (2025)

Improving Artifact Robustness for CT Deep Learning Models Without Labeled Artifact Images via Domain Adaptation
von: Cheung, Justin, et al.
Veröffentlicht: (2025)

Criticality and Saturation in Orthogonal Neural Networks
von: Guillen, Max, et al.
Veröffentlicht: (2026)

HPVM-HDC: A Heterogeneous Programming System for Accelerating Hyperdimensional Computing
von: Arbore, Russel, et al.
Veröffentlicht: (2024)

Australia / Russel Ward
von: Ward, Russel

Problemas tropicales
von: Russel, Katie
Veröffentlicht: (2007)

Tornando queer a educação ambiental
von: Constance Russel
Veröffentlicht: (2011)

A Clearing House for Library Literature--Past Experience and Future Possibilities.
von: Bowden, Russel
Veröffentlicht: (1979)

Creating a Professional Library
von: Russel, Priscilla
Veröffentlicht: (2008)