竞赛

软件研究成果原型系统竞赛

2023年12月2日(星期六),14:00 – 18:00

上海国际会议中心,3I+J会议室



论坛简介

学术论文是目前学术成果的主要载体,也是学术交流的主要对象。但我们注意到,计算机领域的许多研究工作都会开发一个原型系统,以验证研究工作的价值。原型系统的交流因此也非常值得关注。与论文交流相比,原型系统的交流更加直观、吸引人,尤其是这种形式的交流对于研究成果向企业界转化非常有帮助。本次原型竞赛将同时邀请和鼓励企业界的软件系统或工具参与,更广泛地凝聚领域内研究与技术人员形成合力,催化“学”、“研”、“产”、“用”生态的进一步发展,促进有关技术的关键突破、持续改进以及在实践中的使用与推广。

论坛日程

时间 主题
14:00-14:08 MergeBot: 基于智能程序分析的C++代码合并冲突消解工具
14:08-14:16 面向移动应用软件中数据处理错误的模糊测试方法
14:16-14:24 基于恶意行为序列建模的恶意软件包检测工具
14:24-14:32 MT4CC: 基于蜕变测试的约束检测测试工具
14:32-14:40 代码提交自动分类仪表盘
14:40-14:48 一种基于自动机路径分析的 GUI 测试工具诊断分析方法及其基准测试集
14:48-14:56 SLIMMING:Java软件中冗余依赖的消解技术
14:56-15:04 INSIGHT:混合语言软件成分分析技术
15:04-15:12 面向C/C++语言的运行时验证工具—CCMOP
15:12-15:20 MiniGuard 微信小程序隐私数据一致性合规分析系统
15:20-15:28 太阿-Sec: 一个希望能一直更新维护下去的 Java 安全分析系统
15:30-16:00 茶歇
16:00-16:08 移动端小程序隐私泄露与权限滥用检测系统
16:08-16:16 交互式软件调试导航工具DebugPilot
16:16-16:24 Panda:面向编译作业工具的并发调度器
16:24-16:32 Code2API :基于Stack Overflow代码段生成可重用的API的原型系统
16:32-16:40 D3, 一种多源数据融合的编译器重复缺陷检测平台
16:40-16:48 VECT : 一个高效的 Java 虚拟机模糊测试框架
16:48-16:56 TAPro: IoT最终用户编程的原型生成系统
16:56-17:04 Differential Testing of Cross Deep Learning Framework APIs: Revealing Inconsistencies and Vulnerabilities
17:04-17:12 3Erefactor: 面向架构一致性的智能重构方法与工具
17:12-17:20 Coral:一种面向第三方依赖中安全漏洞的兼容性修复工具
17:20-17:45 评审讨论
17:45-18:00 结果宣布

论坛主席





1.论坛主席:胡星(浙江大学)

简介: 博士,浙江大学软件学院副教授、特聘研究员,博士生导师,CCF软件工程专委会委员。主要研究方向为智能化软件工程,程序理解、软件仓库挖掘。在TOSEM、ICSE、ASE、FSE和EMSE等高水平会议和期刊上发表论文30余篇。主持国家自然科学基金专项培育项目,参与国家重点研发计划等多个科研项目。获得 ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任Internetware2023程序委员会主席,担任国际级顶级期刊(TSE、TOSEM、EMSE)审稿人,受邀担任国际会议ASE,MSR Data and Tool Showcase Track, ICSE Demo、SANER的程序委员会成员。





2.论坛主席:夏鑫(华为软件工程应用技术实验室)

简介: 夏鑫目前担任华为软件工程应用技术实验室主任。他的研究方向是智能化软件工程、软件仓库挖掘和经验软件工程。夏鑫至今发表了300多篇论文,其中包括130多篇CCF A类期刊和会议长文, 谷歌学术引用1.3万多次,H-index 64。夏鑫获得了2022年ACM SIGSOFT Early Career Researcher Award(亚太地区第一位),部分论文获得国际会议最佳/杰出论文奖项,包括6篇ACM SIGSOFT 杰出论文奖(连续四年获得软工顶会ASE 2018-2021的杰出论文奖)。此外他担任MSR、SANER、PROMISE等会议的Steering Committee,多个国际会议的PC (ICSE,ESEC/FSE, ASE等),多个期刊的编委(TOSEM、EMSE、ASEJ、JSEP等),以及参与组织了多个国际会议(ICSE 2023和2024, ASE 2016、2020和2021等)。更多信息在https://xin-xia.github.io/