Black-Box Equivalence Checking Across Compiler Optimizations
Abstract elided by the publisher.
Related papers
- Opening polyhedral compiler's black box CGO 2016
- Statistical Model Checking of Black-Box Probabilistic Systems CAV 2004
- Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results Haskell 2017
- Modeling black-box components with probabilistic synthesis GPCE 2020
- Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI 2025
- A black-box approach to energy-aware scheduling on integrated CPU-GPU systems CGO 2016
- Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels OOPSLA 2024
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models OOPSLA 2024