软件研究成果原型系统竞赛
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/