The following publications are possibly variants of this publication:
- Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. darts, 7(2), 2021. [doi]
- Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with CFL-ReachabilityJingbo Lu. PhD thesis, University of New South Wales, Sydney, Australia, 2020. [doi]
- Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer AnalysisDongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. TSE, 49(2):719-742, February 2023. [doi]
- Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context SensitivityJingbo Lu, Dongjie He, Jingling Xue. TOSEM, 30(4), 2021. [doi]
- Context Debloating for Object-Sensitive Pointer AnalysisDongjie He, Jingbo Lu, Jingling Xue. ASE 2021: 79-91 [doi]
- A Trace Model for Pointers and ObjectsC. A. R. Hoare, Jifeng He. ECOOP 1999: 1-17 [doi]