姓名：郑国龙

职称：讲师

职务：教师

学历：博士

电子邮箱：[email protected]

教育经历：

2007年9月-2011年5月 南昌大学,软件工程，本科

2011年8月-2013年5月 纽约州立大学理工学院,计算机科学，硕士研究生

2015年8月-2022年5月 内布拉斯加大学林肯分校，计算机科学，博士

工作经历：

2013年8月-2014年5月  Amazon，软件工程师

2022年8月-2022年12月 A10 Networks，软件工程师

2022年12月-至今       闽江学院，讲师

研究方向：

软件工程，自动程序Bug定位和修复，人工智能及大模型与软件工程结合

主持项目：

国家自然科学基金青年项目：语义推导辅助大模型的程序多块错误同步修复方法研究 2025.01-2027.12

福建省自然科学基金创青项目：基于代码大模型的程序复杂多块错误修复方法研究 2024.07-207.07

科研成果：

论文

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu,“ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications”，International Conference on Automated Software Engineerin(ASE)(CCF A类推荐), 2023

Guolong Zheng, ThanhVu Nguyen,  Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri,  “ATR: Template-based Repair for Alloy Specifications”, International Symposium on Software  Testing and Analysis (ISSTA) (CCF A类推荐), 2022.

Guolong Zheng, ThanhVu Nguyen,  Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri, “FLACK: Localizing Faults in Alloy Models”, Automated Software Engineering (ASE) (CCF A类推荐), 2021.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias. “BeAFix: An Automated Repair Tool for Faulty Alloy Models”, Automated Software Engineering (ASE) (CCF A类推荐), 2021.

Guolong Zheng, ThanhVu Nguyen,  Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, and Hamid Bagheri,  “FLACK: Counterexample-Guided Fault Localization for Alloy Models”, International  Conference on Software En- gineering (ICSE) (CCF A类推荐), 2021.

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, and Marcelo F. Frias.  “Bounded Exhaustive Search of Alloy Specification Repairs”, International Conference on Software Engineering (ICSE) (CCF A类推荐), 2021.

7.  Guolong Zheng, Hamid Bagheri and Thanhvu Nguyen.  “Debugging Declarative Models in Alloy”. International Conference on Software Maintenance and Evolution, Doctoral Symposium (ICSME) (CCF B类推荐), 2020.

8.  Guolong Zheng, Hamid Bagheri, Gregg Rothermel, and Jianghao Wang,  “Platinum:  Reusing constraint solutions in bounded analysis of relational logic”, in Proceedings of23rd International Conference on Fundamental Approaches to Software Engineering (FASE) (CCF B类推荐), 2020.

9.  Ton ChanhLe,Guolong Zheng, and ThanhVu Nguyen.“SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic”. Programming Language Design and Implementation (PLDI) (CCF A类推荐), 2019.

10.  Guolong Zheng, Quang Loc Le, ThanhVu Nguyen, and Quoc-Sang Phan. “Automatic data structure repair using separation logic” . Java PathFinder Workshop (JPF) (EI), 2018.

主讲课程：

计算机专业英语

数据结构与算法