何冬杰
任职岗位：弘深青年学者
研究方向：程序分析与验证、编译技术等
邮箱：dongjiehe AT cqu.edu.cn
办公地点：重庆大学虎溪校区信息技术科研楼B706
英文主页：https://dongjiehe.github.io/
简介
何冬杰，重庆大学弘深青年学者，博士/硕士生导师。先后在北京师范大学、中国科学院大学（依托计算所培养）和澳大利亚新南威尔士大学取得学士、硕士和博士学位。研究领域涉及程序分析与验证技术、编译技术以及软件安全和缺陷检测技术等。在OOPSLA、ECOOP、FSE、ASE、ISSTA、TACAS、CC、ISSRE、TSE、TOSEM等顶级会议和期刊上发表CCF推荐A/B类学术论文18篇。多次获得ACM SIGSOFT杰出论文奖和杰出原型系统奖（ASE'19，ASE'23，ISSTA'23）。担任OOPSLA、ECOOP、ASE、ISSTA、LCTES、TSE、SP&E、JSS等多个会议和期刊审稿人。
招募（硕士生、本科生）
本人以学术研究为追求，致力于研究程序分析和编译器优化等领域的关键问题，与澳大利亚、美国、德国等多所大学有密切联系与合作，对外学术交流机会充足。本人尊重并鼓励学生自由探索、自主安排科研时间，非常乐于和学生一起探讨新的科研想法。欢迎对科研感兴趣、自驱力好、编程能力强、数学和英语基础扎实的同学与我一起探索前沿科学问题。
目前，重点招收硕士生、有意向进行毕业设计或科研实习的本科生。欢迎有意向的同学邮件或来办公室咨询。暂无博士招生指标。
近期动态
[2024/03/06] 担任ASE 2024, ISSTA 2024 程序委员会委员
[2024/03/06] 担任ECOOP 2024扩展委员会委员
学术论文 (* 通讯作者，#共同一作)
[18] 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. (CCF-A)
[17] Kadiray Karakaya, Stefan Schott, Jonas Klauke, Eric Bodden, Markus Schmidt, Linghui Luo, 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), pp. 229-247. (CCF-B)
[16] 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. Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction, pp. 60-72. 2024. (CCF-B)
[15] Dongjie He, Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, Jingling Xue. A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis. Proceedings of the ACM on Programming Languages 7, OOPSLA2 (2023): 971-1000. (CCF-A)
[14] Dongjie He, Yujiang Gui, Yaoqing Gao, Jingling Xue. Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA’23), pp. 101–113. (CCF-A, ACM SIGSOFT Distinguished Artifact Award)
[13] Jingbo Lu, Dongjie He, Wei Li, Yaoqing Gao, Jingling Xue. Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis. 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 736-747. (CCF-A)
[12] Dongjie He, Jingbo Lu, Jingling Xue. IFDS-based Context Debloating for Object-Sensitive Pointer Analysis. ACM Transactions on Software Engineering and Methodology (TOSEM) 32, no. 4 (2023): 1-44. (CCF-A)
[11] Yujiang Gui, Dongjie He*#, Jingling Xue. Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), pp. 319-331. (CCF-A, ACM SIGSOFT Distinguished Paper Award，共一按姓氏排序)
[10] Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. Selecting context-sensitivity modularly for accelerating object-sensitive pointer analysis. IEEE Transactions on Software Engineering (TSE) 49, no. 2 (2022): 719-742. (CCF-A)
[09] Dongjie He, Jingbo Lu, Jingling Xue. Qilin: A new framework for supporting fine-grained context-sensitivity in Java pointer analysis. 36th European Conference on Object-Oriented Programming (ECOOP 2022), pp. 1-29. (CCF-B)
[08] Dongjie He, Jingbo Lu, Jingling Xue. Context debloating for object-sensitive pointer analysis. 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 79-91. (CCF-A)
[07] Jingbo Lu, Dongjie He, Jingling Xue. Eagle: CFL-reachability-based precision-preserving acceleration of object-sensitive pointer analysis with partial context sensitivity. ACM Transactions on Software Engineering and Methodology (TOSEM) 30, no. 4 (2021): 1-46. (CCF-A)
[06] Jingbo Lu, Dongjie He, Jingling Xue. Selective Context-Sensitivity for k-CFA with CFL-Reachability. Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings 28, pp. 261-285. (CCF-B)
[05] Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. Accelerating object-sensitive pointer analysis by exploiting object containment and reachability. 35th European Conference on Object-Oriented Programming (ECOOP 2021), pp. 1-31. 2021. (CCF-B)
[04] Jie Liu, Dongjie He, Diyu Wu, Jingling Xue. Correlating UI contexts with sensitive API calls: Dynamic semantic extraction and analysis. 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), pp. 241-252. (CCF-B)
[03] Diyu Wu, Dongjie He, Shiping Chen, Jingling Xue. Exposing android event-based races by selective branch instrumentation. 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE), pp. 265-276. (CCF-B)
[02] Dongjie He, Haofeng Li, Lei Wang, Haining Meng, Hengjie Zheng, Jie Liu, Shuangwei Hu, Lian Li, Jingling Xue. Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis. 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 267-279. (CCF-A, ACM SIGSOFT Distinguished Paper Award)
[01] Dongjie He, Lian Li, Lei Wang, Hengjie Zheng, Guangwei Li, Jingling Xue. Understanding and detecting evolution-induced compatibility issues in Android apps. Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, pp. 167-177. 2018. (CCF-A)
