董玉坤

作者: 张培颖 时间: 2017-11-08 点击次数: 12003

姓名:董玉坤
性别:
民族:
办公电话:0532-86981972
职务:软件工程系副主任
职称:副教授、硕士生导师
电子邮箱:dongyk@upc.edu.cn
个人简介:董玉坤,博士,硕士生导师,副教授。2003年6月毕业于中国石油大学华东)通信工程专业,获得工学学士学位;2006年6月毕业于银河电子游戏1331计算机软件与理论专业,获得工学硕士学位并留校任教;2011年9至2014年10月在北京邮电大学计算机科学与技术专业学习,并获得工学博士学位。主要研究方向为智能化软件工程、程序分析、3D人体建模、智能油田。先后主持或承担多项科研与教学项目,发表科研论文30余篇,获得省部级科研奖励5项,主编教材1部。

通讯地址:山东省青岛市黄岛区长江西路66号工科E座1119室



研究领域

智能化软件工程、程序分析、3D人体建模、智能油田

学术兼职

计算机学会会员、人工智能学会会员

主讲课程

《软件测试与质量》、《软件质量与可靠性》、《软件分析与安全》、《形式化建模与分析方法》、《软件开发过程实战》、《面向对象分析与设计》、《软件工程综合实习》、《中间件技术》

教学、科研项目

1.  程序语义缺陷充分检测与无副作用修复研究山东省自然科学基金面上项目2022.01-2024.12,10万,主持

2.  虚拟人脸生成技术研发,横向项目,2021.09-2021.12,4万,主持

3.  深层注气开发注采参数的智能协同与优化算法,自主创新科研计划项目,2020.05-2022.12, 44万,主持

4.  程序语义缺陷充分检测与自动修复研究,自主创新科研计划项目,2019.01-2021.12, 15万,主持

5.  站库消防自控系统抢维修技术研究----消防智慧管理平台开发与应用横向项目,2018.12-2020.02,55万,主持

6.  基于OBE工程教育理念的软件工程核心课程教学改革,银河电子游戏1331教改项目,2016.10-2018.090.5万,主持

7.  代码级内存缺陷检测的充分性研究,山东省优秀中青年科学家科研奖励基金2015.07-2017.077万,主持

8.  C程序代码级内存缺陷的充分性检测技术研究,自主创新科研计划项目2015.01-2016.125万,主持

论文论著

1. Yukun Dong*, Yeer Tang, Xiaotong Cheng, Yufei Yang. DeKeDVer: A deep learning-based multi-type software vulnerability classification framework using vulnerability description and source code,Information and Software Technology,2023.(SCI二区)

2. Yukun Dong*, Yeer Tang, Xiaotong Cheng, Yufei Yang, Shuqi Wang. SedSVD: Statement-level software vulnerability detection based on Relational Graph Convolutional Network with subgraph embedding,Information and Software Technology,2023.(SCI二区)

3. Pang Shanchen, Peng Rongrong, Dong Yukun*, Yuan Qi, Wang Shengtao, Sun Junqi. SedSVD: Statement-level software vulnerability detection based on Relational Graph Convolutional Network with subgraph embedding,NEURAL COMPUTING & APPLICATIONS,2023.(SCI三区)

4. 董玉坤, 唐道龙, 孙玉雪, 位欣欣. 不正确程序修复补丁识别. 计算机系统应用, 2023(中文核心)

5. Dong Yukun*, Tang Daolong, Cheng Xiaotong, Yang Yufei. Quality Evaluation Method of Automatic Software Repair Using Syntax Distance Metrics,Symmetry, 2022. (SCI三区)

6. Dong Yukun*, Liu Fubin, Zhang Yu, Wu Qiong. Prediction of Oil Saturation during Water and Gas Injection Using Controllable Convolutional Long Short-Term Memory, Energies, 2022. (SCI三区)

7. Dong Yukun*, Sun Yuxue, Wang Xun. Automatic Repair Method for Null Pointer Dereferences Guided by Program Dependency Graph,Symmetry, 2022. (SCI三区)

8. Dong Yukun*, Zhang Yu, Liu Fubin, Zhu Zhengjun. Research on an Optimization Method for Injection-Production Parameters Based on an Improved Particle Swarm Optimization Algorithm, Energies, 2022. (SCI三区)

9. 董玉坤*, 李浩杰,位欣欣,唐道龙. 基于程序结构与语义特征融合的软件缺陷预测, 计算机工程与应用,2022,(中文核心) 

10. 董玉坤*, 位欣欣,孙玉雪,唐道龙. 跟踪机制引导的C程序内存错误自动修复, 计算机工程与应用,2022,(中文核心)

11. Dong Yukun*, Zhang Yu, Liu Fubin, Cheng Xiaotong. Reservoir Production Prediction Model Based on a Stacked LSTM Network and Transfer Learning, ACS OMEGA, 2021.(SCI三区)

12. Yukun Dong*, Li Zhang, Shanchen Pang S. Automatic Repair of Semantic Defects Using Restraint Mechanisms. Symmetry, 2020. (SCI三区)

13. Yukun Dong*, Meng Wu, Li Zhang. Priority Measurement of Patches for Program Repair Based on Semantic Distance,Symmetry, 2020. (SCI三区)

14. Yukun Dong*, Mengying Wu, Shanchen Pang. Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects,Symmetry, 2020. (SCI三区)

15. 王淑栋,尹文静,董玉坤*. 面向顺序存储结构的数据流分析, 软件学报,2020. (中文一级学报)

16. Yukun Dong*, Wenjing Yin, Shudong Wang. Memory Leak Detection in IoT Program Based on an Abstract Memory Model SeqMM,IEEE Access,2019. (SCI二区)

17. Yukun Dong*. A sound abstract memory model for static analysis of C programs. International Journal of Computational Science and Engineering. 2018.(EI)

18. Yukun Dong*. Detecting all potential null dereferences based on points-to property sound analysis. International Journal of Computers and Applications,2018.(EI)

19. 董玉坤*. 基于符号约束集的条件表达式数据流分析. 科学技术与工程, 2018.(中文核心)

20. 李克文,董玉坤. 银河电子游戏1331规划教材,《软件测试技术》,中国石油大学出版社,2017

21. 董玉坤*. 大学课堂中“假性边缘人”现象及解决对策, 中国石油大学学报(社会科学版),2017.(中文核心)

22. 董玉坤*. 基于OBE模式的软件测试课程教学改革研究,课程教育研究 2017

23. Yukun Dong*. Fully detection of illegal memory access defects, CISIS 2016.(EI)

24. Yukun Dong*. Fully detection of illegal value use defects, INCOS 2016.(EI)

25. 董玉坤*. C程序非法计算缺陷的静态检测, 计算机工程与应用, 2016.(中文核心)

26. 董玉坤*. 基于属性可靠分析的空指针引用缺陷检测, 计算机工程与应用, 2016.(中文核心)

27. 董玉坤*. 面向卓越测试工程师培养的软件测试课程教学改革与实践, 教育教学论坛,2016

28. Yukun Dong*. RSTVL: A sound memory model for static analysis of C programs, ICAICE 2015.(EI)

29. 董玉坤*. “软件测试”课程教学现状分析, 课程教育研究,2015

30. 董玉坤*, 金大海等. 基于区域内存模型的C程序静态分析, 软件学报,2014. (中文一级学报)

31. 董玉坤*, 宫云战等. 基于区域内存模型的空指针引用缺陷检测,电子学报,2014. (中文一级学报)

32. Yukun Dong*. Symbolic Procedure Summary Using Region-based Symbolic Three-Valued Logic, Journal of Computer, 2014

33. Yukun Dong*. An Approach for Identifying Detecting Objects of Null Dereference, Journal of Software, 2014

34. Yukun Dong*. An Approach to Fully Recognizing Addressable Expression, QSIC 2013.(EI)

35. 董玉坤*, 李村合. 基于UML协作图的集成测试序列生成方法, 计算机工程与应用, 2007.(中文核心)

36. 董玉坤*, 李村合. 基于Struts的Web程序分析与测试, 微计算机应用, 2007


获得荣誉

1. 2022年山东省教学成果奖一等奖,使命驱动的递进式计算机类研究生创新创业教育改革与实践(4位/10人)

2. 2020年中国石油(华东)十佳优秀导师团队

3. 2020年中国技术市场协会金桥奖二等奖,边云协同的能源开采智能决策关键技术及应用,(1位/5人)

4. 2019年教育部科技进步二等奖,边云协同的油气物联网智能决策关键技术及应用(6位/15人)

5. 2019年中国产学研合作促进会创新成果二等奖,边云协同的能源开采智能决策关键技术(2位/10人)

6. 2019年银河电子游戏1331教学成果二等奖(2位/9人)

7. 2019年银河电子游戏1331优秀班主任

8. 2018年中国产学研合作促进会创新成果二等奖,知识驱动的油气开采智能生产关键技术,(4位/10人)

9. 2018年中国石油和化学工业联合会科技进步三等奖, 大数据环境下油气开采智能生产关键技术,(4位/15人)

10. 2017年银河电子游戏1331教学成果一等奖(4位/9人)

11. 2015年银河电子游戏1331教学成果二等奖(3位/7人)

12. 2015年银河电子游戏1331优秀教师

13. 2011年山东省优秀学士学位论文指导教师

专利


1. 专利:一种基于受限集的程序语义缺陷自动修复方法 专利号:ZL201910832302.8(排名1/5)

2. 专利:一种基于抽象内存模型的数据流分析方法 专利号:ZL201910832877.X(排名1/5)

3. 专利:一种充分识别指针引用检测对象的方法 专利号:ZL201410115369.7(排名2/5)

4. 专利:一种充分检测空指针引用缺陷的方法 专利号:201310141769.0(排名3/5)

5. 专利:一种基于符号化函数摘要的静态分析方法及系统 专利号:201310538362.1(排名5/5)

指导学生

2019年以来共指导培养硕士研究生毕业17

返回顶部
Baidu
sogou