Back to
Dr Dongjie He
Postdoctoral Fellow

Dr Dongjie He

Engineering
Computer Science and Engineering

Dongjie He is a research fellow at UNSW. He is broadly interested in programming languages, security, and systems (intersecting also with software engineering), focusing on developing novel theories, techniques, and tools for improving the performance, usability, reliability, and security of real-world software. In particular, he is currently working on static program analysis and compiler optimization problems such as Java pointer analysis, and data-flow analysis.

His papers have been published in top-tier conferences and journals in the field of programming languages and software engineering such as TSE, TOSEM, ECOOP, ISSTA, ASE, SAS, and ISSRE. He has been awarded a 2019 ASE Distinguished Paper. 

 

His home page: https://dongjiehe.github.io/
E-mail
dongjieh@cse.unsw.edu.au
  • Book Chapters | 2021
    Lu J; He D; Xue J, 2021, 'Selective Context-Sensitivity for k-CFA with CFL-Reachability', in Static Analysis, pp. 261 - 285, http://dx.doi.org/10.1007/978-3-030-88806-0_13
  • Journal articles | 2023
    He D; Gui Y; Li W; Tao Y; Zou C; Sui Y; Xue J, 2023, 'A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3622832
    Journal articles | 2023
    He D; Lu J; Gao Y; Xue J, 2023, 'Selecting Context-Sensitivity Modularly for Accelerating Object-Sensitive Pointer Analysis', IEEE Transactions on Software Engineering, 49, pp. 719 - 742, http://dx.doi.org/10.1109/TSE.2022.3162236
    Journal articles | 2023
    He D; Lu J; Xue J, 2023, 'IFDS-based Context Debloating for Object-Sensitive Pointer Analysis', ACM Transactions on Software Engineering and Methodology, 32, http://dx.doi.org/10.1145/3579641
    Journal articles | 2021
    Lu J; He D; Xue J, 2021, 'Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity', ACM Transactions on Software Engineering and Methodology, 30, http://dx.doi.org/10.1145/3450492
  • Conference Papers | 2023
    He D; Gui Y; Gao Y; Xue J, 2023, 'Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection', in ISSTA 2023 - Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 101 - 113, http://dx.doi.org/10.1145/3597926.3598041
    Conference Papers | 2022
    He D; Lu J; Xue J, 2022, 'Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2022.30
    Conference Papers | 2021
    He D; Lu J; Gao Y; Xue J, 2021, 'Accelerating object-sensitive pointer analysis by exploiting object containment and reachability', in Leibniz International Proceedings in Informatics, LIPIcs, http://dx.doi.org/10.4230/LIPIcs.ECOOP.2021.16
    Conference Papers | 2021
    He D; Lu J; Xue J, 2021, 'Context Debloating for Object-Sensitive Pointer Analysis', in Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, pp. 79 - 91, http://dx.doi.org/10.1109/ASE51524.2021.9678880
    Conference Papers | 2020
    Liu J; He D; Wu D; Xue J, 2020, 'Correlating ui contexts with sensitive api calls: Dynamic semantic extraction and analysis', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 241 - 252, http://dx.doi.org/10.1109/ISSRE5003.2020.00031
    Conference Papers | 2020
    Wu D; He D; Chen S; Xue J, 2020, 'Exposing android event-based races by selective branch instrumentation', in Proceedings - International Symposium on Software Reliability Engineering, ISSRE, pp. 265 - 276, http://dx.doi.org/10.1109/ISSRE5003.2020.00033
    Conference Papers | 2019
    He D; Li H; Wang L; Meng H; Zheng H; Liu J; Hu S; Li L; Xue J, 2019, 'Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis', in Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, pp. 267 - 279, http://dx.doi.org/10.1109/ASE.2019.00034
    Conference Papers | 2018
    He D; Zheng H; Li L; Li G; Wang L; Xue J, 2018, 'Understanding and detecting evolution-induced compatibility issues in android apps', in ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 167 - 177, http://dx.doi.org/10.1145/3238147.3238185

I win an ACM SIGSOFT Distinguished Paper Award at the ASE 2019 conference.

Some ongoing research activities:

  1. Java Pointer Analysis.
  2. Android Information Flow Analysis.

Some incoming research activities:

  1.  Program verifications.
  2. AI Compiler optimizations.

My Research Supervision

  1. Hai Yan, 2023/3-present, Master student of UNSW Sydney.
  2. Yujiang Gui, 2022/3-present, PhD student of UNSW Sydney, co-supervision.