Debugging Eli-Generated Compilers With Noosa
Abstract elided by the publisher.
Related papers
- An Evaluation of an Automatically Generated Compiler TOPLAS 1995
- Accurate Coverage Metrics for Compiler-Generated Debugging Information CC 2024
- The Eli System CC 1998
- Automatic Generation of Debug Headers through BlackBox Equivalence Checking CGO 2022
- Debugging Debugging Information using Dynamic Call Trees OOPSLA 2026
- Debug information validation for optimized code PLDI 2020
- A Further Note on Hennessy's "Symbolic Debugging of Optimized Code" TOPLAS 1993
- Debugging Optimized Code Without Being Misled TOPLAS 1994