主讲人：陈俊洁
时间：2023年5月23日8:30
地点：中澳学院楼C105
主讲人简介：
陈俊洁，博士，天津大学智能与计算学部特聘研究员，软件工程团队负责人。荣获中国科协青年托举人才、CCF优博、电子学会自然科学一等奖等奖项。近年共发表学术论文70余篇，其中CCF A类论文50篇，获得六项最佳论文奖（包括ASE 2019、ISSTA 2019、FSE 2020、FSE 2021、ASE 2022的ACM SIGSOFT Distinguished Paper Award，以及ISSRE 2021的Best Research Paper Award）。成果在华为、百度等多家知名企业落地。担任CCF-A类会议ASE 2021评审过程主席，软件学报专刊特邀编辑，Dagstuhl研讨会联合主席，以及软件工程领域全部CCF-A类会议的程序委员会成员。研究方向主要为基础软件测试（如：编译系统、操作系统、芯片等测试与分析）、可信人工智能、数据驱动的软件工程。
主要内容：
编译系统是重要基础软件，其规模庞大、逻辑复杂，以及测试输入复杂等特性使得测试编译系统更具挑战性。为提升编译系统测试效果，从而保证这一重要基础软件质量，本研究提出数据驱动的编译系统测试方法，通过利用海量历史测试数据，以及测试输入本身所包含的复杂特性，构建更具揭错能力的测试输入。该方法已为开源编译系统GCC、LLVM、HotSpot、TVM等检测到上百个真实未知缺陷，并已部署于产业应用。
