Shape Analysis for Unstructured Sharing
Abstract elided by the publisher.
Related papers
- A shape analysis for optimizing parallel graph programs POPL 2011
- Towards Scalable Unstructured Mesh Computations on Shared Memory Many-Cores PPoPP 2024
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025
- Expressing heap-shape contracts in linear logic GPCE 2006
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Scalable and efficient implementation of 3d unstructured meshes computation: a case study on matrix assembly PPoPP 2015
- Ligra: a lightweight graph processing framework for shared memory PPoPP 2013
- Shape Analysis Quantitative Shape Analysis SAS 2004