2024年度CCF-华为胡杨林基金形式化专项指南发布

阅读量:152 2024-08-02 收藏本文

CCF-华为胡杨林基金由CCF与华为联合发起，旨在通过搭建产学合作平台，连接产业实践问题与学术科研问题，支持海内外优秀青年学者开展与产业结合的前沿科研工作。目前已经覆盖数据库、形式化方法、高性能计算、系统软件、软件工程等多个领域。

CCF-华为胡杨林基金形式化专项的主要目标为支持国内形式化方法的提升与竞争力构建，促进学术界与产业界合作、技术成果转化。

本专项中课题分为两类：开放课题和产业课题。

开放课题：不限定具体研究内容，主要资助具有前瞻性、前沿性、能为产业全面升级储备能力，实现关键基础技术底座自主、领先的相关课题。

产业课题：主要针对产业典型问题，持续提升形式化技术的能力上界、降低业界应用相关技术的门槛和成本，创造产业价值，形成本基金的正循环。

本年度拟资助的6个产业课题方向：

1、可追溯的中间代码元数据生成

2、面向Rust+C大规模代码的内存与并发缺陷分析技术

3、基于抽象解释的 RUST 高效内存安全验证工具

4、面向形式化验证的可靠二进制提升技术

5、基于自动推理的ACSL规约生成

6、可证明低代价大模型修复方法

申请日期：即日起至2024年9月30日24:00 (北京时间)

结果公布时间：2024年10月31日

申请方式：填写附件《2024年度CCF-华为胡杨林基金形式化专项申报表》,并发送zhangyanyong@huawei.com（标题注明【课题申报】）。

宣讲时间：2024年8月2日 16:00-17:50 (GMT+08:00)

直播链接(仅观看)：

https://www.chaspark.com/#/live/1030301090375839744

会议接入(可提问，仅宣讲时间可接入)：

宣讲安排（每个课题方向 10分钟宣讲，5分钟答疑）：