A Practical Approach to the Symbolic Debugging of Parallelized Code
No abstract available.
DOI 10.1007/3-540-57877-3_23
Related papers
- DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code PLDI 1988
- Symbolic Debugging of Optimized Code TOPLAS 1982
- ArcherGear: data race equivalencing for expeditious HPC debugging PPoPP 2020
- A Further Note on Hennessy's "Symbolic Debugging of Optimized Code" TOPLAS 1993
- A Note on Hennessy's "Symbolic Debugging of Optimized Code" TOPLAS 1985
- A Mechanism for Efficient Debugging of Parallel Programs PLDI 1988
- A simple, verified validator for software pipelining POPL 2010
- Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging POPL 1993