2023年CCF-华为胡杨基金-系统软件专项项目共支持A类项目5个、B类项目6个。 现将评审结果予以公布。

2023年CCF-华为胡杨基金-系统软件专项项目于2023年4月7日在华为三阳坡基地以研讨会的形式发布了今年的基金申请指南，申请截止时间为（2023年5月7日24:00），共收到36份有效项目申请； 自2021年专项项目启动以来，有效项目申请数量逐年增加，再创新高。 社会构建的良好产学合作生态圈正逐渐被工业界和学术界认可。

2023年5月10日至26日，CCF-华为胡杨基金-系统软件专项技术管理委员会（以下简称“委员会”）组织对36个有效项目申请进行了函审。 每份申请均由委员会全体委员根据申请项目的意义、创新性、实用性、可行性以及申请人的学术水平和科研能力进行审查（同一单位申请采取回避原则）以及团队，以及与华为需求的契合度。 围绕匹配度等维度进行评估（鼓励基于中国自己的开源系统，特别是/或国内已有的开源项目如//进行研究），形成初步意见。

委员会将于2023年5月27日召开全体网络会议，对申报项目进行全面审查。 会议由委员会主任、CCF优秀会员、系统软件委员会副主任王林章教授主持。 在全体评审委员充分表达意见的基础上，会议经全体委员投票表决确定了最终的资助项目。 评审过程由CCF系统软件委员会秘书长卜磊教授和华为合作经理刘晓莉负责记录和组织。 所有信息都将被记录并可供检查。

经组委会最终确定，今年将支持5个A类项目和6个B类项目。 A类项目主要旨在探索前沿技术，其成果旨在在高水平学术会议上发表。 B类项目主要根据申请人及团队的学术成果开发原型系统/工具，并实际实现到系统（包括开源系统）中。

按照计划，今年资助的项目将于2023年7月进行提案报告，2023年12月进行中期评审，2024年8月进行最终答辩，完成项目。

谢国琪

湖南大学

项目名称：虚拟化系统内生安全防护技术

湖南大学教授、博士生导师，湖南省嵌入式与网络计算重点实验室主任，国家青年拔尖人才计划获得者，湖南省杰出青年基金获得者，CCF系统软件委员会常务委员。 长期从事嵌入式实时系统（实时通信系统、实时操作系统）领域的时延分析、安全防护和软件开发工作，曾获IEEE TCSC Early Award。 他主导开发的嵌入式实时虚拟机ZVM基于开源实时操作系统开发，并在社区开源。

赵帅

中山大学

项目名称：多核混合关键实时系统高性能资源共享技术研究

中山大学副教授，2022年9月加入计算机学院人工智能与无人系统研究所。拥有英国约克大学硕士、博士学位。 主要从事实时系统的理论与应用研究。 具体方向包括复杂系统调度、系统资源管理、软硬件协同设计与优化等。相关工作已在RTSS、DAC、IEEE Trans等20余个国际旗舰会议和期刊上发表。 TDPS、TC 和 TCAD。 他曾获得约克大学计算机科学学院海外研究生奖和三项最佳论文提名。

陈五辉

中山大学

项目名称：公有云环境下“网络计算与存储”融合的大型模型训练与推理优化框架

中山大学计算机学院副教授、博士生导师、软件工程与应用研究所副所长、鹏程实验室双聘副研究员。 主要研究领域为算力网络系统软件（大规模AI训练推理和模型迭代进化等系统软件）、区块链系统软件等。承担了多项国家级省部级项目国家重点研发计划项目、国家自然科学基金及青年项目以及多个校企合作项目。 成果发表在SoCC、IEEE TPDS、IEEE TC等知名会议和期刊上，并获得吴文俊人工智能自然科学奖二等奖、CCF B类亚军奖会议 IEEE ICPP 2020 最佳论文。

白家驹

北京航空航天大学

项目名称：基于模拟数据包生成的协议栈测试技术研究

北京航空航天大学网络空间安全学院副教授。 他的研究兴趣包括系统软件安全、操作系统和程序分析。 2018年毕业于清华大学计算机系，并获得清华大学优秀博士论文奖。 作为第一/通讯作者在ATC、ATC等系统与安全会议期刊发表论文20余篇。 曾担任计算机科学、技术、ATC等多个系统会议程序委员会委员，并担任中国计算机学会高级会员、系统软件委员会常务委员。他发现了Linux、MySQL等主流系统软件的数千个真实缺陷

李传义

南京大学

项目名称：基于跨域相似代码检索的自动代码生成技术研究

南京大学软件学院助理教授，CCF系统软件委员会常务委员，《工业和信息化领域急需人才（大数据与人工智能）培养工程》丛书编委。 主要研究领域为智能软件工程。 近期在IJCAI 2022、ICSE 2023、ASE 2022等国际顶级会议上牵头发表领先的源码预训练技术总结、源码预训练技术实证研究和神经程序修复技术。研究和其他论文。 在IEEE TSC、IEEE/ACM TASLP、ACM TKDD、JSS、 of 、 of 、ICSE、ESEC/FSE、ASE等国内外重要学术期刊和会议上共发表学术研究论文60篇、ACL、AAAI、IJCAI、EMNLP等更多文章。 曾获教育部-华为“智慧基地”优秀教学资源奖（主持）、首批国家级一流本科课程（线上线下混合，排名第三）、国家新工科研究与实践项目优秀奖（排名第七）等荣誉。

方春荣

南京大学

项目名称：人工智能编译系统图优化特性测试方法

南京大学软件学院教师、南京大学-蜀队联合研究中心主任。 主要从事智能软件工程研究（&）。 曾担任AST、AIST等国际会议程序委员会联席主席，ASE、FSE等顶级会议程序委员会委员，TSE、TOSEM等期刊审稿人。 发表CCF-A会议/期刊论文20余篇，申请发明专利10余项，部分成果已在知名企业应用转化。 参与多项软件工程相关国家标准的编写。 荣获2022年国家级教学成果奖、CCF TCFTC 2021年软件测试青年创新奖。 主持/参与多项国家自然科学基金项目，是国家重点研发计划项目主要成员。

张宇

中国科学技术大学

项目名称：升腾高性能动态算子调优

中国科学技术大学计算机科学与技术学院教授、博士生导师、华夏计算机科学与技术人才班带头人。 2005年1月获中国科学技术大学计算机软件及理论博士学位。 2010年10月至2011年10月，中国科学院派往耶鲁大学访问学者。 他的研究方向包括编程系统、软件分析和新兴计算的系统优化。 主持或参与多项科技部、国家自然科学基金委、工信部国家重点研发计划项目。 还主持了华为等多个企业创新合作项目。 在DAC、ISSRE、SANER、TCAD等国内外重要会议和期刊发表学术论文120余篇，出版编译原理、编程语言原理相关教材9部，合作翻译著作2部，授权发明专利13项。 国家级本科精品课程《编译原理与技术》负责人。 曾获全国高校计算机科学优秀教师奖励计划、宝钢优秀教师奖、系统能力发展突出贡献奖。 CCF优秀会员、CCF系统软件专委会常务委员、教育专委会常务委员、ACM中国操作系统分会副理事长、ACM中国计算机科学教育分会常务理事、教育部高等学校计算机科学教学指导委员会计算机系统专家委员会. 委员会成员。 曾任CCF合肥市主席、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项，第一发明人），荣获杰出论文奖，最近获得最佳论文提名获奖并入选2022年CCF优秀博士生论坛。 参与国家自然科学基金重点项目1项、重点研发计划1项。 作为核心成员开发了商业静态代码分析系统——。 曾获国家科技大学三好学生、联想博士生奖等荣誉。

杜东东

上海交通大学

项目名称：高并发低延迟云原生场景细粒度保密计算系统研究

上海交通大学并行与分布式系统研究所（IPADS）助理研究员，博士长期从事架构和操作系统研究。 其工作成果发表在ISCA、HPCA、SOSP、OSDI等国际学术会议以及ACM TOCS等国际期刊上。 代表性论文发表在2020年操作系统与架构领域顶级会议上，该论文在当年会议上被引次数排名第一。 作为主要负责人，开源软件蓬莱项目被并入鸿蒙、欧拉操作系统。 担任SOSP 23 AEC联合主席、RISC-V国际基金会SPMP工作组主席等。

洛川

北京航空航天大学

项目名称：高可配置系统软件高效组合测试方法研究

北京航空航天大学副教授、博士生导师。 他于北京大学获得博士学位。 主要研究方向为基于搜索的软件工程、智能运维、约束求解。 共发表CCF-A论文30余篇，其中以第一作者或通讯作者发表CCF-A论文10余篇，被 引用1300余次。 作为项目负责人主持多项科研项目，包括国家自然科学基金项目等； 作为项目骨干参与国家重点研发项目。 近年来，已担任或即将担任多个CCF-A顶级国际会议（如ISSTA、AAAI、IJCAI）的（高级）程序委员会委员。 所提出的技术在国际学术竞赛（如国际SAT竞赛、国际评估竞赛、国际组合测试竞赛）中多次获奖。 研究成果已被华为、美团、微软、麻省理工学院、加州大学伯克利分校、诺贝尔奖获得者、美国工程院院士等应用于实际应用和产品改造。