评审结果公示丨2024年度CCF-华为胡杨林基金形式化专项

文章预览

2024年度CCF-华为胡杨林基金形式化专项近日完成评审，本年度共有9位老师获得资助，现予以公示。  2024年度CCF-华为胡杨林基金-形式化专项于2024年8月2日发布申报课题方向指南，并同步开启申报。 本年度共设6个产业课题方向： 1) 可追溯的中间代码元数据生成； 2) 面向Rust+C大规模代码的内存与并发缺陷分析技术； 3) 基于抽象解释的RUST高效内存安全验证工具； 4) 面向形式化验证的可靠二进制提升技术； 5) 基于自动推理的ACSL规约生成； 6) 可证明低代价大模型修复方法。 开放课题不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力的课题。 至截止时间 （2024年9月30日24:00） ，共收到项目申请书36份，其中产业课题 10 份，开放课题 26 份。 评审由CCF形式化方法专委会和华为各自派驻3位专家组成的评审委员会组织推进，评 ………………………………