A Tool Box for Compiler Construction
Abstract elided by the publisher.
Related papers
- WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models OOPSLA 2024
- Relentless Repairability or Reckless Reuse: Whether or Not to Rebuild a Concern with Your Familiar Tools and Materials Onward! 2022
- Black-Box Equivalence Checking Across Compiler Optimizations APLAS 2017
- Opening polyhedral compiler's black box CGO 2016
- Access control for mobile agents: The calculus of boxed ambients TOPLAS 2004
- Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage TACAS 2024
- Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results Haskell 2017
- Scaling Up Proactive Enforcement CAV 2025