Under-Approximating Memory Abstractions
No abstract available.
Related papers
- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation VMCAI 2024
- Backward Analysis via over-Approximate Abstraction and under-Approximate Subtraction SAS 2014
- Limits and Difficulties in the Design of Under-Approximation Abstract Domains TOPLAS 2024
- Reasoning About TSO Programs Using Reduction and Abstraction CAV 2018
- Under-Approximating Expected Total Rewards in POMDPs TACAS 2022
- Revealing Sources of (Memory) Errors via Backward Analysis OOPSLA 2025
- Restart and Refine: Scalable IFDS Taint Analysis across Memory Budgets PLDI 2026
- Under-Approximation for Scalable Bug Detection (Keynote) CPP 2024