Database theory in action: search-based program optimization

DOI10.4230/LIPICS.ICDT.2025.34MaRDI QIDQ7292805zbMATH OpenFDO

Authors Yihong Zhang, Dan Suciu, Yisu Remy Wang, Max Willsey

Publication date 8 July 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.ICDT.2025.34

Mathematics Subject Classification ID

Database theory (68P15)

Cites work

• Efficiency of a Good But Not Linear Set Union Algorithm
• Efficient E-Matching for SMT Solvers
• Equality saturation
• Variations on the Common Subexpression Problem

This page was built for publication: Database theory in action: search-based program optimization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7292805)