An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs
Abstract elided by the publisher.
Related papers
- LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction OOPSLA 2012
- Techniques for Debugging Parallel Programs with Flowback Analysis TOPLAS 1991
- Scalable omniscient debugging OOPSLA 2007
- D4: fast concurrency debugging with parallel differential analysis PLDI 2018
- Replay For Concurrent Non-Deterministic Shared Memory Applications PLDI 1996
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- Supporting efficient and advanced omniscient debugging for xDSMLs SLE 2015
- Remote Concolic Multiverse Debugging ECOOP 2026