Our Publications


  • Dongjie He, Jingbo Lu, and Jingling Xue. A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction. 38th European Conference on Object-Oriented Programming (ECOOP’24).
  • Dongjie He, Yujiang Gui, and Jingling Xue. Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE’23). ACM SIGSOFT Distinguished Paper Award.
  • Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue. A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis . ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’23).
  • Dongjie He, Jingbo Lu, and Jingling Xue. IFDS-based Context Debloating for Object-Sensitive Pointer Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM’23).
  • Dongjie He, Yujiang Gui, Yaoqing Gao, and Jingling Xue. Reducing the Memory Footprint of IFDS-based Data-Flow Analyses Using Fine-Grained Garbage Collection. 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA’23). ACM SIGSOFT Distinguished Artifact Award
  • Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue. Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis. IEEE Transactions on Software Engineering (TSE’22).
  • Dongjie He, Jingbo Lu, and Jingling Xue. Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis. 36th European Conference on Object-Oriented Programming (ECOOP’22).
  • Dongjie He, Jingbo Lu, and Jingling Xue. Context Debloating for Object-Sensitive Pointer Analysis. 36th IEEE/ACM International Conference on Automated Software Engineering (ASE’21).
  • Dongjie He, Jingbo Lu, Yaoqing Gao and Jingling Xue. Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. 35th European Conference on Object-Oriented Programming (ECOOP’21).
  • Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li and Jingling Xue. Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis. 34th IEEE/ACM International Conference on Automated Software Engineering (ASE’19). ACM SIGSOFT Distinguished Paper Award.
  • Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, and Jingling Xue. Understanding and Detecting Evolution-Induced Compatibility Issues in Android Apps. 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE’18).