¶¶Òõ¶ÌÊÓƵ
Back to
Dr Dongjie He

Dr Dongjie He

Postdoctoral Fellow
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,
  • 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,
    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,
    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,
    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,
  • Conference Papers | 2023
    Gui Y; He D; Xue J, 2023, 'Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 319 - 331,
    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,
    Conference Papers | 2023
    Lu J; He D; Li W; Gao Y; Xue J, 2023, 'Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis', in Proceedings - 2023 38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, pp. 736 - 747,
    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,
    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,
    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,
    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,
    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,
    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,
    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,

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.