Symbolic Localization Reduction with Reconstruction Layering and Backtracking
No abstract available.
Related papers
- Local Type Reconstruction by Means of Symbolic Fixed Point Iteration ESOP 1994
- Hayroll: A Modular Wrapper for Translating C Macros and Conditional Compilation to Rust PLDI 2026
- Revealing parallel scans and reductions in sequential loops through function reconstruction PPoPP 2018
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction POPL 2015
- Meta-BDDs: A Decomposed Representation for Layered Symbolic Manipulation of Boolean Functions CAV 2001
- Locality-aware mapping and scheduling for multicores CGO 2013
- Lazy counterfactual symbolic execution PLDI 2019
- Execution reconstruction: harnessing failure reoccurrences for failure reproduction PLDI 2021