State Space Reduction Based on Live Variables Analysis
Abstract elided by the publisher.
Related papers
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- Enabling Spill-Free Compilation via Affine-Based Live Range Reduction Optimization CGO 2026
- Symmetry Reduction for the Local Mu-Calculus TACAS 2018
- Verifying liveness for asynchronous programs POPL 2009
- Remote Concolic Multiverse Debugging ECOOP 2026
- Automated application-level checkpointing based on live-variable analysis in MPI programs PPoPP 2008
- Speeding Up Maximal Causality Reduction with Static Dependency Analysis ECOOP 2017
- This is the moment for probabilistic loops OOPSLA 2022