Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates
Abstract elided by the publisher.
Related papers
- Partial Redundancy Elimination on Predicated Code SAS 2000
- Phi-Predication for Light-Weight If-Conversion CGO 2003
- Region-Based Partial Dead Code Elimination on Predicated Code CC 2004
- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation TACAS 2022
- A Sparse Algorithm for Predicated Global Value Numbering PLDI 2002
- Verifiable Certificates for Predicate Subtyping ESOP 2019
- Delay-Bounded Scheduling Without Delay! CAV 2021
- Partial Dead Code Elimination using Slicing Transformations PLDI 1997