Thread Quantification for Concurrent Shape Analysis
Abstract elided by the publisher.
Related papers
- Thread-modular shape analysis PLDI 2007
- Fragment Abstraction for Concurrent Shape Analysis ESOP 2018
- Thread-Modular Shape Analysis VMCAI 2009
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Verifying safety properties of concurrent heap-manipulating programs TOPLAS 2010
- A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs SAS 2011
- Heap Decomposition for Concurrent Shape Analysis SAS 2008
- Concurrent marking of shape-changing objects ISMM 2019