A Method for Symbolic Computation of Abstract Operations
Abstract elided by the publisher.
Related papers
- Symbolically Computing Most-Precise Abstract Operations for Shape Analysis TACAS 2004
- Context-Sensitive Meta-Constraint Systems for Explainable Program Analysis TACAS 2023
- Computing Bottom SCCs Symbolically Using Transition Guided Reduction CAV 2021
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- A Symbolic Emulator for Shuffle Synthesis on the NVIDIA PTX Code CC 2023
- Localized Attractor Computations for Infinite-State Games CAV 2024
- A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata PLDI 2024
- Derivative-Guided Symbolic Execution POPL 2025