Catching and Identifying Bugs in Register Allocation
No abstract available.
Related papers
- Detecting bugs in register allocation TOPLAS 2010
- Catch me if you can: performance bug detection in the wild OOPSLA 2011
- SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations POPL 2025
- Combinatorial Register Allocation and Instruction Scheduling TOPLAS 2019
- Concurrent incorrectness separation logic POPL 2022
- Finding real bugs in big programs with incorrectness logic OOPSLA 2022
- SARA: Combining Stack Allocation and Register Allocation CC 2006
- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints CC 2002