2023年度CCF-华为胡杨林基金-系统软件专项评选结果发布
2023年CCF-华为胡杨林基金-系统软件专项于2023年4月11日在华为三Y坡基地通过研讨会的形式发布了本年度基金申报指南,截止申报结束时间(2023年5月7日24:00),共收取36份有效项目申请;自2021年该专项启动至今,有效项目申报数量逐年增加并再创新高,学会搭建的产学合作良好生态正在逐步得到产业界及学术界的认可。
2023年5月10-26日,CCF-华为胡杨林基金-系统软件专项技术管理委员会(以下简称“委员会”)对36份有效项目申请组织函评。每项申请均由委员会全员进行评审(同单位申请采取规避原则),分别从申请项目的意义、创新性、实用性、可行性、申请者及团队的学术水平和科研能力、与华为需求的匹配程度(鼓励基于中国自有开源系统,特别是openEuler/OpenHarmony或国内已有开源项目如BishengJDK/iSulad/StratoVirt等进行研究)等维度进行了评审,形成初评意见。
2023年5月27日举行委员会全体线上会议对申请项目进行综合评审,会议由委员会主任、CCF系统软件专委副主任王林章教授主持,在所有评审委员充分发表意见的基础上,以全员表决的方式确定最终资助项目,本次评审过程由CCF系统软件专委秘书长卜磊教授和华为合作经理刘晓莉进行评审意见记录和整理,所有信息备案可查。
经委员会最终确定,本年度支持A类项目5项、B类项目6项。A类项目主要面向前沿技术探索,其成果瞄准发表在高水平学术会议上。B类项目主要根据申请者及团队已有学术成果,开发原型系统/工具,实际落地到系统(包含开源系统)中。
按照计划,本年度资助的项目将于2023年7月进行开题报告,2023年12月进行中期审视,2024年8月进行终期答辩完成结题。
谢国琪
湖南大学
项目名称:面向虚拟化系统的内生安全防护技术
湖南大学教授、博士生导师、嵌入式与网络计算湖南省重点实验室主任、国家级青年人才计划获得者、湖南省杰出青年基金获得者、CCF系统软件专委会执行委员。长期从事聚焦嵌入式实时系统(实时通信系统、实时操作系统)时延分析、安全防护及软件开发,获IEEE TCSC Early Career Researcher Award。主导开发的嵌入式实时虚拟机ZVM是一款基于开源实时操作系统Zephyr研发的Hypervisor,在openEuler社区开源。
赵帅
中山大学
项目名称:面向多核混合关键实时系统的高性能资源共享技术研究
中山大学副教授,2022年9月加入计算机学院人工智能与无人系统研究所。硕士、博士毕业于英国约克大学。主要从事实时系统的理论与应用研究,具体方向包括复杂系统调度、系统资源管理、硬软件协同设计与寻优等。相关工作发表在RTSS、DAC与IEEE Trans. TDPS、TC、TCAD等国际旗舰会议与期刊20余篇,获得约克大学计算机学院海外研究生奖与三次最佳论文提名。
陈武辉
中山大学
项目名称:公有云环境“网算存”一体的大模型训练与推理优化框架
中山大学计算机学院副教授,博导,软件工程与应用研究所副所长,鹏城实验室双聘副研究员。主要研究领域为算力网系统软件(大规模AI训练推理与模型迭代演化的系统软件、Serverless Computing等)、区块链系统软件等。承担国家重点研发计划课题、国家自然科学基金面上和青年项目等多个国家级省部级项目及多个校企合作项目。成果发表在SoCC、Infocom、IEEE TPDS、IEEE TC等知名会议和期刊上,获吴文俊人工智能自然科学二等奖、CCF B类会议IEEE ICPP 2020最佳论文亚军奖。
白家驹
北京航空航天大学
项目名称:基于模拟数据包生成的协议栈测试技术研究
北京航空航天大学网络空间安全学院副教授。研究方向为系统软件安全、操作系统和程序分析。2018年博士毕业于清华大学计算机系,并获得清华大学优秀博士学位论文奖。以第一/通讯作者身份在ASPLOS、USENIX ATC和USENIX Security等系统和安全会议期刊上发表20余篇论文。多次担任ASPLOS、EuroSys和USENIX ATC等系统会议的程序委员,并担任中国计算机学会高级会员和系统软件专委会执行委员等。主导研制的自动化程序分析工具,已在Linux、MySQL和OpenSSL等主流系统软件中发现了数千个真实缺陷
李传艺
南京大学
项目名称:基于跨领域相似代码检索的代码自动生成技术研究
南京大学软件学院助理教授,CCF系统软件专委会执行委员,“工业和信息化领域急需紧缺人才(大数据和人工智能)培养工程”系列丛书编委委员。主要研究领域为智能化软件工程,近期分别在IJCAI 2022、ICSE 2023和ASE 2022等国际顶会率先发表了具有一定引领意义的源代码预训练技术综述、源代码预训练技术实证研究和神经程序修复技术实证研究等论文。累计在IEEE TSC、IEEE/ACM TASLP、ACM TKDD、JSS、软件学报、计算机学报和ICSE、ESEC/FSE、ASE、ACL、AAAI、IJCAI、EMNLP等国内外重要学术期刊和会议上发表学术研究论文60余篇。曾获得教育部-华为“智能基座”优秀教学资源奖(主持人)、首批国家一流本科课程(线上线下混合式,排名第三)和国家级新工科研究与实践项目优秀奖(排名第七)等荣誉。
房春荣
南京大学
项目名称:人工智能编译系统图优化特性测试方法
南京大学软件学院教师,南京大学-数兑联合研究中心主任,主要从事智能软件工程研究(BigCode & AITesting)。曾担任AST、AIST等国际会议程序委员会共同主席,ASE、FSE等顶级会议程序委员会委员,TSE、TOSEM等期刊审稿人。发表CCF-A类会议/期刊论文20余篇,申请发明专利10余项,部分成果在知名企业应用转化。参编多项软件工程相关国家标准。获2022年国家级教学成果奖,CCF TCFTC 2021年软件测试青年创新奖。主持/参加多项国家自然科学基金项目,国家重点研发计划项目骨干。
张昱
中国科学技术大学
项目名称:面向昇腾的高性能动态算子调优
中国科学技术大学计算机科学与技术学院教授,博士生导师,华夏计算机科技英才班负责人。2005年1月在中国科学技术大学获计算机软件与理论博士学位,2010年10月到2011年10月受中科院公派在耶鲁大学作访问学者。研究方向为面向新兴计算的编程系统、软件分析、系统优化等。主持或参与多项科技部国家重点研发计划、国家自然科学基金及工信部项目,同时还主持华为等多项企业创新合作项目。在ASPLOS、DAC、ISSRE、SANER、TCAD等国内外重要会议和期刊发表学术论文120余篇,出版编译原理和程序设计语言原理等相关教材9本、合作翻译著作2本,授权发明专利13项。是国家级一流本科课程“编译原理和技术”负责人,获全国高校计算机专业优秀教师奖励计划、宝钢优秀教师奖、系统能力培养突出贡献奖。是CCF杰出会员、CCF系统软件专委常务委员、教育专委常务委员,ACM 中国操作系统分会副主席、ACM中国计算机科学教育分会常务理事,教育部高等学校计算机类专业教学指导委员会计算机系统专家委员会委员。曾任CCF YOCSEF合肥主席、CCF合肥监督委员会主席。
文明
华中科技大学
项目名称: 面向JVM性能优化机制的测试方法研究
华中科技大学网络空间安全学院副教授,硕士生/博士生导师。文明博士于2014年从浙江大学计算机科学与技术学院获得本科学位,2019年6月在香港科技大学计算机科学与工程学院取得博士学位,师从张成志教授。2017年7月至2018年1月,在美国加州大学戴维斯分校苏振东教授课题组担任访问学者。2019年6月至2019年11月,在香港科技大学全职任职博士后研究员。2019年12月,加入华中科技大学网络空间安全学院,聘为副教授。文明博士的研究方向主要聚焦软件安全,软件测试与分析,以及软件供应链安全分析等,在软件工程领域累计发表了CCF-A类推荐会议或期刊20余篇,其他高水平论文10余篇。主持一项国家自然科学基金青年项目以及企业横向合作项目,参与湖北省重点研发项目等重要课题,担任了中国计算机学会系统软件及软件工程专委会委员。同时,常年担任TSE,TOSEM,TDSC等CCF-A类国际期刊的审稿人,以及CCF-A/B类会议ASE 2021/2023, ESEC/FSE 2022, SANER 2022, ISSRE 2022/2023的程序委员会委员。文明博士于2021年入选第七届中国科协青年人才托举工程计划。
李昊峰
中科院计算所
项目名称:基于模块化信息流分析的针对大规模软件的安全缺陷检测技术
中科院计算所助理研究员,研究方向为程序分析。在FSE、CGO、ASE、CCS等发表了3篇一作论文,2篇二作论文,有5项专利(2项已授权,3项在申,第一发明人),获得过ASE2019杰出论文奖,CCS2022最佳论文提名奖,入选2022年CCF ChinaSoft优秀博士生论坛。参与1项国家自然科学基金重点项目和1项重点研发计划。作为核心成员开发了商业化静态代码分析系统——WuKong。曾获得国科大三好学生、联想博士生奖等荣誉。
杜冬冬
上海交通大学
项目名称:面向高并发低时延云原生场景的细粒度机密计算系统研究
上海交通大学并行与分布式系统研究所(IPADS)助理研究员,博士。长期从事体系结构与操作系统相关研究。工作发表在ASPLOS 、ISCA、HPCA、SOSP、OSDI等国际学术会议和ACM TOCS等国际期刊。代表论文发表在2020年在操作系统与体系结构领域顶会ASPLOS,在该会议当年论文引用排名第一。作为主要负责人领导的开源软件蓬莱项目合入鸿蒙与欧拉操作系统。担任SOSP 23 AEC共同主席,RISC-V国际基金会SPMP工作组Chair等职。
罗川
北京航空航天大学
项目名称:面向高度可配置系统软件的高效组合测试方法研究
北京航空航天大学副教授、博士生导师,于北京大学获得博士学位,主要研究方向是基于搜索的软件工程、智能运维、约束求解。总计发表CCF-A类论文30余篇,其中以第一作者或通讯作者身份发表CCF-A类论文10余篇,谷歌学术引用累计达到1300余次。作为项目负责人主持多项科研项目,包括国家自然科学基金项目等;作为项目骨干参与国家重点研发计划项目。近年来,担任或即将担任多个CCF-A类国际顶级会议(如ISSTA、NeurIPS、AAAI、IJCAI)的(资深)程序委员会成员。所提技术于国际学术竞赛(如国际SAT竞赛、国际MaxSAT评测竞赛、国际组合测试竞赛)多次获奖。研究成果被华为、美团、微软、麻省理工学院、加州大学伯克利分校、诺贝尔奖得主、美国工程院院士等用于实际应用和产品转化。