Path Optimization in Programs and Its Application to Debugging
Abstract elided by the publisher.
Related papers
- Valence: variable length calling context encoding CC 2019
- Mace: language support for building distributed systems PLDI 2007
- Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis PLDI 2025
- Debugging Network Reachability with Blocked Paths CAV 2021
- Modeling Concurrency in Parallel Debugging PPoPP 1990
- DOC: A Practical Approach to Source-Level Debugging of Globally Optimized Code PLDI 1988
- Remote Concolic Multiverse Debugging ECOOP 2026
- Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) ECOOP 2019