我系本科生在软件工程顶级会议上荣获ACM学生研究竞赛一等奖和二等奖

发布时间:2023-12-11浏览次数:10

近日,在美国旧金山召开软件工程领域顶级国际学术会议ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software EngineeringESEC/FSE 2023CCF A)上举行的ACM 学生研究竞赛(Student Research CompetitionSRC)落下帷幕,bw必威西汉姆联官网计算机科学与技术系本科生顾秋涵、张弋在全球22位参赛学生中脱颖而出,分别在本科生组取得第一名和第二名(荣获本科组一等奖、二等奖)。

 

ACM SRC 是为本科生和研究生提供的平台,让他们有机会在国际顶级学术会议上向评审委员会和与会者展示创新研究成果、获得专家建议和进一步深造机会。参赛学生基于创新研究工作,向会议提交研究论文,经过评审委员会遴选出有竞争力的学生参加决赛,在国际会议上通过墙报(Poster)向与会者展示研究成果,评审委员会根据墙报展示、演讲表现、质询情况,评出前三名作为竞赛获奖人。

 

顾秋涵同学针对编译器模糊测试的生成代码质量低、覆盖率不足的问题,提出了基于大模型的测试代码生成和基于生成代码的编译器测试方法。在针对Go编译器的测试中发现,该方法能够避免生成包含未定义行为或存在语法错误的代码,并且相比于传统模糊测试方法取得了更高的测试覆盖率。该项工作以“LLM-Based Code Generation Method for Golang Compiler Testing”为题参加FSE 2023 SRC,荣获本科生组一等奖。

 

张弋同学针对编译器优化遗漏问题,提出了一种基于编译器优化一致性的优化遗漏检测方法。经过对LLVM的测试,检测出5类可用表达式(Available Expression)的优化遗漏问题。该项工作以“Detection of Optimizations Missed by the Compiler”为题参加FSE 2023 SRC,荣获本科生组二等奖。

 

两位同学的研究工作得到软件工程组王豫、王林章老师的指导,上述工作也得到数据驱动的编译器测试关键技术国家自然科学基金重点项目的支持。长期以来,软件工程组重视科教融合育人,注重专业理论知识教学和创新能力提升的融合培养,在所开设的本科生课程《软件工程》、《软件工程综合实验》的教学过程中,基于承担的国家级科研项目,配合课程教学内容设置实践任务,增强学生解决问题的能力;同时,吸引学有余力的本科生参与科研,引导学生进入关键基础软件相关研究领域开展科学研究、进一步提升解决问题的能力。据悉,顾秋涵同学计划前往美国继续攻读学位,张弋同学已经成为软件工程组直博生并获得校长特别奖学金。