Hierarchical Pointer Analysis for Distributed Programs
Abstract elided by the publisher.
Related papers
- Hierarchical Distributed Reference Counting ISMM 1998
- The myrmics memory allocator: hierarchical, message-passing allocation for global address spaces ISMM 2012
- Efficient Reachability Analysis of Hierarchical Reactive Machines CAV 2000
- Precise and efficient static array bound checking for large embedded C programs PLDI 2004
- Language support for dynamic, hierarchical data partitioning OOPSLA 2013
- Annotations for Distributed Programming in Logic POPL 1986
- Hemiola: A DSL and Verification Tools to Guide Design and Proof of Hierarchical Cache-Coherence Protocols CAV 2022
- Region-based hierarchical operation partitioning for multicluster processors PLDI 2003