ExplainHoudini: Making Houdini Inference Transparent
No abstract available.
Related papers
- Induction duality: primal-dual search for invariants POPL 2022
- The Next 700 ML-Enabled Compiler Optimizations CC 2024
- Cognacy Queries over Dependence Graphs for Transparent Visualisations ESOP 2025
- Portable and transparent software managed scheduling on accelerators for fair resource sharing CGO 2016
- Methods of inference and learning for performance modeling of parallel applications PPoPP 2007
- Type Deduction Analysis: Reconstructing Transparent Pointer Types in LLVM-IR CC 2026
- How to Make Destructive Updates Less Destructive POPL 1991
- Faster variational execution with transparent bytecode transformation OOPSLA 2018