Partitioned Memory Models for Program Analysis
No abstract available.
Related papers
- Exploiting Pointer Analysis in Memory Models for Deductive Verification VMCAI 2019
- A Static Performance Estimator to Guide Data Partitioning Decisions PPoPP 1991
- OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing ISMM 2023
- Partitioning Dataflow Analyses Using Types POPL 1997
- Mopsa-C with Trace Partitioning and Autosuggestions (Competition Contribution) TACAS 2025
- SMO: an integrated approach to intra-array and inter-array storage optimization POPL 2016
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- Array regrouping and structure splitting using whole-program reference affinity PLDI 2004