CCF容错大会议程！54个特邀报告热议芯片、软件、系统容错“硬”话题
CCF主办的第十八届全国容错计算学术会议(CCF CFTC 2019)详细日程公布。8个大会报告，8个前沿技术论坛，54位特邀报告讲者热议芯片、软件、系统背后的“硬科技”，该会议将是今年测试、容错、可信领域国内规模最大、影响最广的学术盛会。
8月15日-17日，由中国计算机学会(CCF)主办、中国计算机学会容错计算专业委员会、清华大学和北京启迪清云智慧能源有限公司共同承办的CCF CFTC 2019(CCF-19-TC19-01N)将在北京九华山庄召开。本次大会主题是“容错护航硬科技发展”，将就芯片、软件、系统等领域的容错硬科技技术进行广泛、深入的学术交流交流，这将是本年度国内测试、容错、可信领域规模最大、影响最广的一次学术盛会。
硬科技体现了国家的核心竞争力，容错是硬科技的重要保障。在国防、航天、金融、商业等行业，容错扮演至关重要的角色。容错技术不过关，航天器可能失控坠毁，大型装备恶劣环境下无法使用。容错也关系我们的日常生活，没有容错技术，我们双11数亿人的大采购就可能宕机，我们就可能无法畅通的刷看精彩的“短视频”。本次大会携手50多位顶级专家学者和企业代表共同打造8场大会特邀报告，8个高水平前沿论坛，50+论坛特邀报告，60+学术论坛报告，预计400+学术和工业界人士在场共同探讨芯片、软件、系统领域的容错硬科技话题。本次大会详情请访问中国计算机学会容错计算专委委员会网址：www.ccf-ftc.com。
1、8场精彩大会报告：本次大会邀请了8位权威专家、企业代表和有独创思路的青年学者：
杨孟飞
| 院士，中国空间技术研究院，研究员 | 航天嵌入式软件可信性保障研究现状与进展 |
黃錫瑜 | 新竹清华大学，教授 | How to Make an IC Healthy for a Long Time? |
何宗易 | 新竹清华大学，教授 | Digital Microfluidic Biochips: Design Automation, Test, and Security Assessment |
牛道恒 | 北京启迪清云智慧能源公司 | 新能源系统中的可靠性 |
金海 | 华中科技大学，教授 | 高效能图计算机设计的挑战与实践 |
吕荣聪 | 香港中文大学，教授 | 软件工程智能化与智能软件工程化 |
陈义全 | 阿里巴巴，云智能系统架构师 | 云计算基础设施的可靠计算 |
汪玉 | 清华大学，教授 | Fault Tolerant Neural Network Design for Hardware |
罗国杰 | 北京大学，副教授 | OpenBELT：开源 EDA 端到端框架的设想 |
2、前沿“硬科技”论坛： 针对芯片、软件、系统等可靠领域，讨论关键问题和最新研究进展，本次大会组织了7个专业前沿技术论坛，并邀请了50+学术和产业专家到会报告。
△ 集成电路测试高峰论坛Summit
△ 第四届全国硬件安全论坛
△ 第三届安全关键软件测试技术论坛
△ 第二届存储容错与存储计算论坛
△ 海量计算和存储可靠性论坛
△ 开源EDA和开源IP路线论坛
△ AI与EDA论坛
△ AI加速论坛和DAC SDC竞赛获奖队伍展览
前沿论坛1：集成电路测试高峰论坛Summit(8月15日)
执行 主席 | 李华伟，CCF 容错专委主任，中科院计算所研究员 | ||
论坛 简介 | 测试主要用于发现有缺陷的芯片，是集成电路关键技术之一，是集成电路质量的技术保证。为凝聚我国集成电路测试领域研究力量，加强该领域的学术交流，促进集成电路测试技术的发展和应用，中国计量测试学会于2018年8月14日成立了集成电路测试专业委员会。在集成电路测试专委成立一周年之际，与中国计算机学会容错计算专委会合作举办首届集成电路测试高峰论坛，邀请集成电路测试领域的著名专家学者分享其学术观点和最新研究成果。 | ||
时间 | 报告题目 | 讲者 | 单位 |
14:00- 14:10 | 开幕 | ||
14:10- 14:50 | VLSI测试技术发展的回顾与展望 | 李晓维 研究员 | 中国科学院 计算技术研究所 |
14:50- 15:30 | LSI Test: from Research to Business | 温晓青 教 授 | 日本九州工业大学 |
15:30- 15:50 | 茶 歇 | ||
15:50- 16:30 | A Detective Story of the Clock Network in an IC — Finding the Timing Failure Threats | 黃錫瑜 教 授 | 新竹清华大学 |
16:30- 17:10 | 基于深度学习的模拟电路故障诊断 与预测关键技术 | 何怡刚 教 授 | 武汉大学 |
17:10- 18:00 | Panel：集成电路测试教育教学与培训 | ||
前沿论坛2：第四届全国硬件安全论坛（8月15日）
执行 主席 | 张吉良，湖南大学, 副教授，沈海华，中国科学院大学，教授 | ||
论坛 简介 | 集成电路是构建安全信息系统的基石，在日常生活、军事安全等领域广泛应用，从民用智能电器到军方武器系统，小到手机、优盘，大到卫星、飞船，概莫能外。同时，集成电路还是程序与数据的载体，如果集成电路存在安全隐患，其运行的软件、存储的数据及其关联的一切，便再无安全可言。本届论坛的主题“硬件安全与自主可控”。本届论坛将继续邀请来自产业界与学术界的顶级团队分享其在硬件安全领域的最新研究成果，探讨从硬件到系统安全的产业需求与解决方案。 | ||
时间 | 报告题目 | 讲者 | 单位 |
13:30- 13:35 | 开场：全国硬件安全论坛介绍张吉良 | ||
13:35- 14:05 | CPU芯片硬件安全问题系统解决方案 | 刘雷波 教 授 | 清华大学 |
14:05- 14:35 | 基于忆阻器的硬件安全研究 | 吴华强 教 授 | 清华大学 |
14:35- 15:05 | 龙芯处理器的硬件安全机制设计 | 张福新 研究员 | 中国科学院 |
15:05- 15:35 | 新形势下计算机安全标准与工程实践 | 冯志华 研究员 | 航天科工 |
15:35- 15:50 | 茶歇 | ||
15:50- 16:20 | 可配置PUF及其抗模型攻击协议 | 刘伟强 副教授 | 南京航空航天大学 |
16:20- 16:35 | 特邀企业报告：防控金融风险， 建设全面的金融安全科技生态体系 ——北京金融安全产业园介绍 | 马小兰 总经理 | 北京金融安全产业园 |
16:35- 17:40 | Panel：自主可控与硬件安全 | ||
执行 主席 | 黄 松，CCF容错计算专委会副主任、中国人民解放军陆军工程大学教授，解放军军事训练软件测评中心主任； 惠战伟,CCF容错专委助理秘书长，陆军工程大学博士后 | ||
论坛 简介 | 国内软件测试领域一直存在两个群体，一个是以高校为代表的学术研究水平见长的学术派，一个是以军方测评机构为代表的工程技术水平见长的实践派，安全关键软件测试技术论坛设置的初衷就是旨在分析军用及安全关键软件测试领域存在的共性技术需求和痛点问题，抽象出其中的理论问题开展学术研究，为学术界和企业界之间搭建交流平台。 论坛自2017年首次举办以来，吸引了国内从事软件测试产品自主研发的多家企业和军工单位的广泛参与，在业界取得了强烈反响。本届论坛关注安全关键软件测试在自主可控和智能化方面面临的挑战、核心技术，以及当前的研究和应用热点。 | ||
8月 15日 | 报告题目 | 讲者 | 单位 |
13:30- 14:05 | 软件众测的挑战和支撑技术： 自动化、智能化、效益化 | 王 青 研究员 | 中科院软件所 |
14:05- 14:40 | 基于安全可靠系统设计测试验证的方法 | 吴淑然 技术经理 | 北京旋极信息技术股份有限公司 |
14:40- 15:15 | DO-178B与DO-178C对数据耦合 与控制耦合要求与变迁 | 高继伟 技术总监 | 上海创景信息科技 有限公司 |
15:15- 15:50 | 基于知识的软件智能分析验证技术 | 刘 畅 博 士 | 北京航空航天大学 |
15:50- 16:00 | 茶 歇 | ||
16:00- 16:35 | 航天嵌入式软件整数溢出问题的形式化验证方法 | 高 猛 副主任 | 航天科技集团五院502所软件检测站 |
16:35- 17:10 | 基于GJB-9433的FPGA自动化测试平台的技术探讨 | 徐小艾 技术总监 | 上海迪真计算机科技 有限公司 |
17:10- 17:45 | 智能软件系统的数据驱动测试 | 陈振宇 教 授 | 南京大学 |
17:45- 18:15 | 软件测试中的质量评价为什么难以服“众” | 惠战伟 博士后 | 陆军工程大学 |
8月 16日 | 报告题目 | 讲者 | 单位 |
13:30- 14:05 | 代码仓库和持续集成在快速迭代开发中的应用 | 张卫丰 教 授 | 南京邮电大学 |
14:05- 14:40 | 面向DevSecOps的代码安全检测技术 | 林 鹏 技术总监 | 北京关键科技股份 有限公司 |
14:40- 15:15 | 软件单元测试：从“很好但很难” 到“更好而不难” | 王 彤 技术顾问 | 南京创联智软信息科技有限公司 |
15:15- 15:50 | 大型复杂电子信息系统软件代码缺陷自动检测规模化落地实践 | 杨玲萍 研究员 | 中电28所测评中心主任 |
15:50- 16:00 | 茶 歇 | ||
16:00- 16:35 | 模型驱动的网络化嵌入式软件测试 | 邓 霏 高 工 | 中国工程物理研究院 计算机应用研究所 |
16:35- 17:10 | 航天嵌入式虚拟测试实践 | 郭向英 技术总监 | 北京轩宇信息技术 有限公司 |
17:10- 17:45 | 面向深度学习系统的安全机理及 测试验证方法研究 | 黄 松 教 授 | 陆军工程大学 |
17:45- 18:15 | Panel：智能化、实战化给安全关键软件测试带来的挑战 | ||
前沿论坛4: 第二届存储容错与存储计算论坛（8月16日）
执行 主席 | 石亮，华东师范大学 | ||
论坛 简介 | 存储技术，包括闪存存储技术，新型存储技术已经被广泛应用于各类计算系统。最近闪存中开始采用近似存储、近数据存储以及新型存储，如MRAM，ReRAM等开始采用存储计算技术实现性能、可靠性等多个角度的大幅度提升。本论坛中，我们邀请了领域内的专家学者展开存储容错与存储计算论坛，旨在讨论多种类型的存储在近似、近数据以及存内计算的特点和差异，从而为未来存储技术的设计提供重要思路。 | ||
时间 | 报告题目 | 讲者 | 单位 |
13:30- 13:35 | 开场：存储容错与计算论坛介绍 | 石亮 | 华东师范大学 |
13:35- 14:05 | 3D NAND大容量存储器新型错误编码机制 | 陈杰智 教 授 | 山东大学 |
14:05- 14:35 | 认知存储器（Cognitive SSD） | 王 颖 副研究员 | 中国科学院 |
14:35- 15:05 | 自旋电子技术: 从存储到存算一体 | 康 旺 副教授 | 北京航空航天大学 |
15:05- 15:35 | 高能效FPGA片上存储架构设计 及资源管理方法研究 | 鞠 雷 副教授 | 山东大学 |
15:35- 16:00 | 茶歇 | ||
16:00- 16:30 | 低电压MRAM存储芯片关键电路设计 | 蔡 浩 副教授 | 东南大学 |
16:30- 17:40 | Panel：存储介质的可靠性问题和存储介质的计算 | ||
执行 主席 | 王式文，阿里巴巴 | ||
论坛 简介 | 云计算产业自诞生以来一直保持迅猛的发展势头，并成为整个社会的基础服务。作为社会的基础服务，提升云计算的稳定性至关重要。可靠性技术在不断的发展，面对海量计算和存储，如何有效、可实施的提升稳定性将是核心话题。本论坛中，我们邀请领域内的专家学者和企业技术专家共聚一堂，探索海量计算和存储可靠性技术，针对产业界的可靠性现状和技术实践，结合学术界的创新性思维和技术，探索软硬件一体化的可靠性技术解决方案。 | ||
时间 | 报告题目 | 讲者 | 单位 |
13:25- 13:30 | 开场：海量计算和存储可靠性论坛介绍 | 王式文 | 阿里巴巴 |
13:30- 14:00 | 基于开源软件的云计算平台 可信赖计算技术与实践 | 江建慧 教 授 | 同济大学 |
14:00- 14:30 | 大规模下高稳定性基础云服务器的 系统体系建设 | 郑旭东 资深技术专家 | 阿里巴巴 |
14:30- 15:00 | 基于深度学习的海量服务器存储系统的故障预测 | 蒋 力 副教授 | 上海交通大学 |
15:00- 15:30 | 云计算大规模服务器硬件可靠性保障 | 王式文 高级技术专家 | 阿里巴巴 |
15:30- 15:50 | 茶歇 | ||
15:50- 16:20 | 大规模数据中心硬盘故障预测分析 | 何 诚 高级算法专家 | 阿里巴巴 |
16:20- 16:50 | 内存故障处理和恢复 | Youquan Song Senior Staff Software Engineer | Intel Corp |
16:50- 17:20 | 全球数据中心复杂场景下面向百万服务器的管理框架 | 陈立波 高级技术专家 | 阿里巴巴 |
执行 主席 | 罗国杰，北京大学 | ||
论坛 简介 | 目前开源的思潮和运动影响到硬件设计领域。近年开源IP的典型例子是广泛关注的开源RISC-V指令集及其开源微架构实现。而国际上也开始关注开源EDA的话题，例如美国qflow和OpenROAD以及印度的VSDFlow等项目。本论坛邀请EDA和IP领域的研究者和实践者，简介其方向的基础知识和发展动态，探讨开源EDA和开源IP的方式对于科学研究和工业生产的可行路径和风险。 | ||
8月 16日 | 报告题目 | 讲者 | 单位 |
13:25- 13:30 | 开场：开源EDA与开源IP路线论坛介绍 | 罗国杰 | 北京大学 |
13:30- 14:00 | 开源EDA之测试综合： 衔接前端和后端设计的EDA技术 | 李华伟 研究员 | 中科院计算所 |
14:00- 14:30 | VLSI布局研究与CEDA DATC Flow | 陈建利 博 士 | 福州大学 |
14:30- 15:00 | 开源EDA之电源验证技术：趋势和挑战 | 卓 成 研究员 | 浙江大学 |
15:00- 15:30 | 高层次综合：技术、方法和开源软件 | 杨 帆 教 授 | 复旦大学 |
15:30- 15:50 | 茶歇 | ||
15:50- 17:30 | Panel 1：应否投入开源EDA流程建设？ | ||
8月 17日 | 报告题目 | 讲者 | 单位 |
09:00- 09:05 | 开场：开源EDA与开源IP路线论坛介绍 | 罗国杰 | 北京大学 |
09:05- 09:30 | 多数逻辑代数及其逻辑综合方法 | 储著飞 副教授 | 宁波大学 |
09:30- 09:55 | 芯来科技引领RISC-V国内的产业化落地 | 胡振波 创始人和CEO | 芯来科技 |
09:55- 10:20 | 以开放工具链构建开源SoC设计方法学 | 马立伟 CPU研发部总监 | 赛昉中国 |
10:20- 10:50 | 茶歇 | ||
10:50- 11:15 | 敏捷开发实践与开源EDA工具链 | 解壁伟 助研 | 中科院计算所 |
11:15- 12:00 | Panel 2：RISC-V开源生态对开源EDA和其他开源IP的需求 | ||
执行 主席 | 杨帆，复旦大学 | ||
论坛 简介 | AI在机器视觉、语音识别、自动驾驶、金融等领域获得了成功应用。近年来，AI包括机器学习方法也逐渐在EDA的众多领域应用。未来，AI可能在EDA领域发挥更大的作用，进一步提升集成电路设计的自动化水平。本论坛中，我们邀请了业界和学术界的专家和学者，从集成电路设计、EDA算法研究、EDA软件开发等不同的视角和维度，探讨EDA中AI的潜在应用领域及应用思路。 | ||
时 间 | 报告题目 | 讲者 | 单位 |
9:00- 9:05 | AI与EDA论坛介绍 | 杨 帆 | 复旦大学 |
9:05- 9:30 | EDAI-机器学习在EDA领域的应用和研究 | 杨 柳 产品总监 | 华大九天软件有限公司 |
9:30- 9:55 | EDA中的主动学习和图学习问题 | 余 备 助理教授 | 香港中文大学 |
9:55- 10:20 | 电容提取场求解器与供电网络仿真中的AI方法 | 喻文健 副教授 | 清华大学 |
10:20- 10:50 | 茶歇 | ||
10:50- 11:10 | 基于机器学习的集成电路后端设计及加速 | 林亦波 研究员 | 北京大学 |
11:10- 12:00 | Panel：AI会如何改变EDA？ | ||
执行 主席 | 周平强，上海科技大学 | ||
时 间 | 报告题目 | 讲者 | 单位 |
9:00- 9:40 | Reconfigurable Computing and AI Chips | 尹首一 教 授 | 清华大学 |
9:40- 10:20 | 可定制计算生态与全栈人才培养 | 陆佳华 | Xilinx |
10:20- 10:40 | 茶歇 | ||
10:40- 10:50 | DAC SDC比赛情况简介 | 周平强 教 授 | 上海科技大学 |
10:50- 11:00 | DAC SDC获奖队伍报告 | FPGA团队 | 西安交通大学 |
11:00- 11:10 | DAC SDC获奖队伍报告 | GPU团队 | 浙江大学与上海科技大学 |
11:10- 11:20 | DAC SDC获奖队伍报告 | GPU团队 | 清华大学与清微智能 |
11:20- 12:00 | 所有参赛队伍做设计展示 | ||
3、揭晓CCF集成电路Early Career Award：针对工作不超过6年的青年学者设立CCF 集成电路Early Career Award，为从事集成电路方向的青年学者早期职业生涯提供支持，这是中国计算机学会体系内唯一的一个集成电路专业奖项，旨在鼓励更多年轻学者继续坚持从事集成电路方向研究。第一届CCF集成电路Early Career Award的得主是福州大学的陈建利教授，他获得了2017年DAC的最佳论文奖，为50年来大陆第一次。
今年是第二届评选，该奖最终由谁摘得，8月15日会议揭晓。该奖由摩尔精英公司赞助。
本次会议金牌赞助商：摩尔精英、北京中关村集成电路设计园发展有限公司（IC PARK）、北京启迪清云智慧能源有限公司。
本次会议银牌赞助商：计算机体系结构国家重点实验室、北京关键科技股份有限公司、北京轩宇信息技术有限公司、北京旋极信息技术股份有限公司、南京创联智软信息科技有限公司、上海创景信息科技有限公司、上海迪真计算机科技有限公司、四川中锐信息技术有限公司、北京海聚博源科技孵化器有限公司。
会议媒体/出版合作伙伴：半导体行业观察、机器之心、IC咖啡、IC智库。
点击“阅读原文”，注册并了解会议详细信息。