The Closing of the Frontier
No abstract available.
DOI 10.1007/11785477_22
Related papers
- Race Frontier: Reproducing Data Races in Parallel-Program Debugging PPoPP 1991
- Fixed Points and Frontiers: A New Perspective JFP 1991
- Frontier-guided Graph Reordering PPoPP 2025
- On loops, dominators, and dominance frontiers TOPLAS 2002
- On loops, dominators, and dominance frontier PLDI 2000
- Garbage Collection for Rust: The Finalizer Frontier OOPSLA 2025
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021
- Schnauzer: scalable profiling for likely security bug sites CGO 2013