nuTAB-BackSpace: Rewriting to Normalize Non-determinism in Post-silicon Debug Traces
No abstract available.
Related papers
- E-QED: Electrical Bug Localization During Post-silicon Validation Enabled by Quick Error Detection and Formal Methods CAV 2017
- LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction OOPSLA 2012
- QuickChecking Convergence of Rewriting Systems (Functional Pearl) ICFP 2026
- Constraint-Based Monitoring of Hyperproperties TACAS 2019
- Bitwidth analysis with application to silicon compilation PLDI 2000
- Small Domains Spell Fast Strictness Analysis POPL 1990
- Well-founded recursion with copatterns and sized types JFP 2016
- Modularity of Strong Normalization in the Algebraic-lambda-Cube JFP 1997