See also [Google Scholar, DBLP] (#: Equal Contribution, *: Corresponding Author)

  1. Wei Li, Dongjie He, Wenguang Chen and Jingling Xue. Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis. 22nd Annual IEEE/ACM International Symposium on Code Generation and Optimization (CGO'25). Accepted

  2. 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). [DOI] [PDF] [slides] [video] [artifact]

  3. Changwei Zou, Dongjie He, Yulei Sui and Jingling Xue. TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers. ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE'24). [DOI]

  4. Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo and Dongjie He. SootUp: A Redesign of the Soot Static Analysis Framework. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (ETAPS/TACAS'24). [DOI]

  5. Wei Li, Dongjie He, Yujiang Gui, Wenguang Chen, Jingling Xue. A Context-Sensitive Pointer Analysis Framework for Rust and its Application to Call Graph Construction. ACM SIGPLAN 2024 International Conference on Compiler Construction (CC 2024). [DOI] [artifact]

  6. 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). [DOI] [PDF] [Supp.] [slides] [code] [artifact]

  7. Yujiang Gui#, Dongjie He#,*, 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. [DOI] [PDF] [slides] [code]

  8. Jingbo Lu, Dongjie He, Wei Li, Yaoqing Gao, and Jingling Xue. Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE'23). [DOI] [code]

  9. 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. [DOI] [PDF] [slides] [code] [artifact]

  10. 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). [DOI] [PDF] [code] [artifact]

  11. 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). [DOI] [PDF] [code] [artifact]

  12. 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). [DOI] [PDF] [code] [artifact]

  13. 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). [DOI] [PDF] [slides] [code] [artifact]

  14. Jingbo Lu, Dongjie He, and Jingling Xue. Selective Context-Sensitivity for k-CFA with CFL-Reachability. 28th International Static Analysis Symposium (SAS'21). [DOI] [code]

  15. 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). [DOI] [PDF] [slides] [code] [artifact]

  16. Jingbo Lu, Dongjie He, and Jingling Xue. Eagle: CFL-Reachability-based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM'21). [DOI] [code]

  17. Diyu Wu, Dongjie He, Shiping Chen and Jingling Xue. Exposing Android Event-Based Races by Selective Branch Instrumentation. 31st IEEE International Symposium on Software Reliability Engineering (ISSRE'20). [DOI] [slides]

  18. Jie Liu, Dongjie He, Diyu Wu and Jingling Xue. Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis. 31st IEEE International Symposium on Software Reliability Engineering (ISSRE'20). [DOI] [slides] [code]

  19. 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. [DOI] [PDF] [slides] [video]

  20. 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). [DOI] [PDF] [slides] [code] [artifact]


Research Thesis