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/

  • Book Chapters | 2021
    2021, 'Selective Context-Sensitivity for k-CFA with CFL-Reachability', in Static Analysis, Springer International Publishing, pp. 261 - 285, http://dx.doi.org/10.1007/978-3-030-88806-0_13
  • Journal articles | 2023
    2023, 'IFDS-based Context Debloating for Object-Sensitive Pointer Analysis', ACM Transactions on Software Engineering and Methodology, http://dx.doi.org/10.1145/3579641
    Journal articles | 2023
    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 | 2021
    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, pp. 1 - 46, http://dx.doi.org/10.1145/3450492
  • Conference Papers | 2022
    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
    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
    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
    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
    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
    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
    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.