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

  1. 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 2024). Accepted

  2. 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 (TACAS 2024). [DOI]

  3. 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]

  4. 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]

  5. 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). Distinguished Paper Award. [DOI] [PDF] [slides] [code]

  6. 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]

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

  8. 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]

  9. 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]

  10. 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]

  11. 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]

  12. 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]

  13. 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]

  14. 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]

  15. 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]

  16. 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]

  17. 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). Distinguished Paper Award. [DOI] [PDF] [slides] [video]

  18. 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