陈哲
开通时间:..
最后更新时间:..
博士毕业于法国国立应用科学院,获计算机系统专业博士学位,出国前曾就读于中南大学、上海交通大学。曾任职于微软亚洲研究院,法国国家科学研究中心系统分析与架构实验室(LAAS-CNRS),从事研究开发工作。主要研究兴趣包括软件工程、程序设计语言、计算机科学理论、以及这些方法在高可信软件工程等方面的应用。主持国家自然科学基金3项、参与3项。作为第一作者在TSE、TOSEM、SPE、COMPJ、IPL、FUIN、TSMJ、SL等著名国际学术期刊和OOPSLA、ICSE、ISSTA、TACAS、SPIN、COMPSAC、ICFEM、TASE等著名国际会议共发表了60余篇研究论文,并获得2019年ACM SIGSOFT杰出论文奖(Distinguished Paper Award)。现任中国计算机学会形式化方法专委会执行委员,曾任中国计算机学会中国软件大会优秀青年学者论坛主席。
计算机科学与技术,程序设计语言,建模语言,人工智能,自动推理和求解技术。
软件工程,智能软件分析和验证,及其在航空航天软件工程中的应用。
网络空间安全,信息安全,物联网安全,网络协议验证。
包括以上研究方向的内容。
欢迎以上各方向的保研、考研学生联系,剩余学生名额较多。
主持多项科研项目:
1. 国家自然科学基金:内存安全性和形式化规约的运行时验证(62172217),2022/01/01-2025/12/31,主持
2. 国家自然科学基金:航电系统软件可靠性的形式化验证技术研究(U1533130),2016/01/01-2018/12/31,主持
3. 国家自然科学基金:基于控制机制的软件可靠性新技术及其理论研究(61100034),2012/01/01-2014/12/31主持
4. 中央高校基本科研业务费人工智能+专项
5. 教育部留学回国人员科研启动基金
6. 中国博士后科学基金特别资助项目
7. 中国博士后科学基金
参与多项科研项目:
1. 国家自然科学基金:基于抽象的软件符号模型检测研究(61170043),2012/01/01-2015/12/31
2. 国家自然科学基金:M-可解性、M-计算复杂性与计算机科学的模型理论(61033002),2011/01/01-2014/12/31
3. 国家自然科学基金:概率进程演算的测试语义(60703033),2008/01/01-2010/12/31
等等......
Zhe Chen, Yunlong Zhu, Zhemin Wang.Design and implementation of an aspect-oriented C programming language.In Proceedings of the ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2024), Pasadena, California, United States, October 20–25, 2024, Proceedings of the ACM on Programming Languages (PACMPL), 8(OOPSLA1):??-??, ACM, 2024.[Artifact and Reproduction Package]
Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui, Jingling Xue.A smart status based monitoring algorithm for the dynamic analysis of memory safety.ACM Transactions on Software Engineering and Methodology, accepted, ACM, 2024.
Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, and Jingling Xue.A source-level instrumentation framework for the dynamic analysis of memory safety.IEEE Transactions on Software Engineering, 49(4):2107-2127, IEEE, 2023.
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo.Catamaran: Low-overhead memory safety enforcement via parallel acceleration.In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), Seattle, Washington, United States, July 17–21, 2023, pp. 816-828, ACM, 2023.
Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue.A dynamic analysis tool for memory safety based on smart status and source-level instrumentation.In Proceedings of the 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022), DEMO Track, Pittsburgh, USA, May 22-27, 2022, Companion Volume, pp. 6-10, ACM, 2022.
Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang.SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.Software-Practice & Experience, 52(5):1114-1142, Wiley, 2022.
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue.Runtime Detection of Memory Errors with Smart Status.In Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2021), Virtual, Denmark, July 11–17, 2021, pp. 296-308, ACM, 2021.[Artifact and Reproduction Package]
Zhe Chen, Yunyun Chen, Robert Hierons, Yifan Wu.Four-valued monitorability of omega-regular languages.In Proceedings of the 22nd International Conference on Formal Engineering Methods (ICFEM 2020), Singapore, March 1-3, 2021, Lecture Notes in Computer Science, vol. 12531, pp. 198-214, Springer, 2020.
Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue.Detecting Memory Errors at Runtime with Source-Level Instrumentation.In Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2019), July 15-19, 2019, pp. 341-351, ACM, 2019. (ACM SIGSOFT Distinguished Paper Award)
Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng.Deciding Weak Monitorability for Runtime Verification.In Proceedings of the ACM/IEEE 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, May 27-June 3, 2018, Companion Volume, pp. 163-164, ACM, 2018.
Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang.Beyond Spatial and Temporal Memory Safety.In Proceedings of the ACM/IEEE 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, May 27-June 3, 2018, Companion Volume, pp. 189-190, ACM, 2018.
Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang.Runtime verification of memory safety via source transformation.In Proceedings of the ACM/IEEE 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, May 27-June 3, 2018, Companion Volume, pp.264-265, ACM, 2018.
Ju Qian, Fusheng Lin, Changjian Li, Zhiyi Zhang, Zhe Chen.Generating Realistic Logically Unreasonable Faulty Data for Fault Injection.In Proceedings of the IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC 2018), Tokyo, Japan, 23-27 July 2018, Volume 2, pp. 436-441, IEEE, 2018.
Zhe Chen.Parametric Runtime Verification is NP-complete and coNP-complete.Information Processing Letters, 123:14-20, Elsevier, 2017.
Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang.Partial order reduction for checking LTL formulae with the next-time operator.Journal of Logic and Computation, 27(4):1095-1131, Oxford University Press, 2017.
Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang.Parametric Runtime Verification of C Programs.In Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Eindhoven, The Netherlands, April 2-8, 2016, Lecture Notes in Computer Science, vol. 9636, pp. 299-315, Springer, 2016.
Shuanglong Kan, Zhiqiu Huang, Zhe Chen.Partial Order Reduction for State/Event Systems.In Proceedings of the 18th International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, November 14-18, 2016, Lecture Notes in Computer Science, vol. 10009, pp. 329-345, Springer, 2016.
Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu.Model Checking Aircraft Controller Software: A Case Study.Software-Practice & Experience, 45(7):989-1017, Wiley, 2015.
Zhe Chen.Control Systems on Automata and Grammars.The Computer Journal, 58(1):75-94, Oxford University Press, 2015.
Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi.Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.In Proceedings of the 9th International Symposium on Theoretical Aspects of Software Engineering (TASE 2015), September 12-14, 2015, pp. 63-70, IEEE Computer Society, 2015.
目前指导多名博士生、硕士生,提供优秀的学习研究环境。
计划招收4名硕士研究生, 学术型和专业型都招收; 并具有招收推免生的资格。欢迎参加推免、考研的同学前来联系。
如果你对计算机和编程具有浓厚的兴趣,希望在研究生阶段增长知识、提高能力,那么欢迎加入我们课题组。
2007.8 -- 2010.7
法国国立应用科学学院
 计算机系统
 博士研究生
 工学博士
2006.9 -- 2011.2
上海交通大学
 计算机软件与理论
 博士研究生
 工学博士
2003.9 -- 2006.4
中南大学
 模式识别与智能系统
 硕士研究生
 工学硕士
1999.9 -- 2003.6
中南大学
 计算机科学与技术
 大学本科
 工学学士
2011.2 -- 至今
南京航空航天大学 计算机科学与技术学院
2006.3 -- 2006.9
微软亚洲研究院 自然语言计算组