Fate and Free Will in Error Traces
Abstract elided by the publisher.
Related papers
- Regression-Free Synthesis for Concurrency CAV 2014
- Tolerating memory leaks OOPSLA 2008
- SMTScope: Automated and Efficient Analysis of SMT Traces TACAS 2026
- Comments on Soisalon-Soininen's "Inessential Error Entries" TOPLAS 1984
- Globally precise-restartable execution of parallel programs PLDI 2014
- From symptom to cause: localizing errors in counterexample traces POPL 2003
- Verifying Hyperliveness CAV 2019
- Memory management for self-adjusting computation ISMM 2008