Access Analysis-Based Tight Localization of Abstract Memories
Abstract elided by the publisher.
Related papers
- Data Distribution Support on Distributed Shared Memory Multiprocessors PLDI 1997
- Locality analysis through static parallel sampling PLDI 2018
- Pinpointing data locality problems using data-centric analysis CGO 2011
- Program locality analysis using reuse distance TOPLAS 2009
- Region-based shape analysis with tracked locations POPL 2005
- Javana: a system for building customized Java program analysis tools OOPSLA 2006
- Efficient bottom-up heap analysis for symbolic path-based data access summaries CGO 2012
- Tight Cutoffs for Guarded Protocols with Fairness VMCAI 2016