大会议程

Day1主会场 Day2主会场 A Day2主会场 B Day3主会场 A Day3主会场 B POSTER

Day1主会场8 月 21 日/周三水晶宫

时间	时长	题目	演讲者
08:30	30^'	签到	-
09:00	30^'	领导致辞、院士致辞、主席致辞	-
09:30	20^'	RISC-V opportunity, innovation, and collaboration igniting adoption	Calista Redmond CEO, RISC-V International
09:50	20^'	RISC-V 正在迅速发展—无处不在	Prof. Krste Asanović SiFive 联合创始人兼首席架构师
10:10	20^'	构筑技术能力，拓展 RISC-V 应用新边界	戚肖宁阿里巴巴集团副总裁
10:30	20^'	推动 RISC-V 产业升级，携手共筑 RDI 新生态	何宁奕斯伟计算，高级副总裁、首席技术官
10:50	20^'	青稞 RISC-V 与接口 PHY 的多快少省	杨勇沁恒微电子，技术总监、董事
11:10	20^'	开启算力新纪元：基于 RISC-V 的开放算力探索与展望	高鹏厦门算能科技有限公司，高级副总裁
11:30	20^'	RISC-V 生态视角下的商业要素必要性与重要性	胡振波芯来科技创始人
11:50	40^'	圆桌讨论：如何让 RISC-V 企业赚钱？	戴伟民芯原微電子董事长兼总裁武延军中国科学院软件所副所长、总工孟建熠知合计算 CEO 何宁奕斯伟计算高级副总裁、CTO 孙彦邦进迭时空创始人、总裁包云岗北京开源芯片研究院首席科学家（主持人）
12:30	70^'	午餐、展区	-
13:40	20^'	一分钟 POSTER 报告	-
14:00	20^'	RISC-V 赋予技术创新与商业变革新机遇	包云岗北京开源芯片研究院首席科学家
14:20	20^'	加速打造标杆产品，推动 RISC-V 生态进化	孟建熠博士 RISC-V 工委会会长、知合计算 CEO
14:40	15^'	定制芯片时代下的 RISC-V	刚至坚 SiFive 全球商务资深副总裁
14:55	15^'	新思科技 RISC-V 整体解决方案加速芯片创新	黄宗杰新思科技应用工程执行总监
15:10	15^'	RISC-V for Intelligent Edge Application Processing	苏泓萌博士晶心科技总经理暨首席技术官
15:25	15^'	RISC-V 在快速增长的数据中心市场展现价值	张岩 SiFive 首席现场应用工程师
15:40	15^'	RISC-V 在数据中心的挑战与机遇	刘文进赛昉科技高级首席工程师
15:55	15^'	Revolutionizing RISC-V adoption: Imagination's Integrated CPU and GPU Solution	Shreyas Derashri Vice President of Compute, Imagination
16:10	15^'	Unified-Compute in RISC-V: Making RISC-V fit for AI/ML	Philipp Tomsich Chief Technologist & Founder of VRULL
16:25	15^'	茶歇、展区	-
16:40	20^'	“一生一芯”计划——从零开始设计自己的 RISC-V 处理器芯片	余子濠中国科学院计算技术研究所
17:00	20^'	RISC-V 走向数据中心之路	席宏海元石智算，研发副总经理
17:20	20^'	全球首款 RISC-V 超级 SIM 芯片的技术创新与应用	刘梅娟芯昇科技有限公司芯片产品总监
17:40	20^'	坚持标准，共建信赖：为快速增长的 RISC-V 生态引入认证体系	史青昊 (James Shi) 阿里巴巴达摩院，高级测试专家
18:00	20^'	群芯闪耀：推动 RISC-V 的全面商业化覆盖	柯一冉深圳市群芯闪耀科技有限公司 (Milk-V)，副总裁

Day2主会场 A8 月 22 日/周四水晶宫 1+2

时间	时长	题目	演讲者
08:30	20^'	签到	-
08:50	10^'	发挥标准引领优势，共促产业生态繁荣	周萌 RISC-V 工委会秘书长
09:00	20^'	云数据中心 RISC-V IOMMU 虚拟化的探索与应用	刘亚南中移（苏州）软件技术有限公司，移动云芯片技术总监
09:20	20^'	RISC-V + AI 赋能 AGI 时代新兴应用场景	鲁海波奕斯伟计算，智能计算事业部总经理
09:40	20^'	持续迭代创新，打造稳定、高效、易用的玄铁处理器	陈晨阿里巴巴达摩院，资深技术专家
10:00	20^'	一种片上网络的开源实现	王齐北京开源芯片研究院，总工程师
10:20	20^'	Optimizing interconnect architectures for high-performance and complex RISC-V based SoCs	Hao Luan Chief Architect, Arteris
10:40	20^'	基于边缘侧 AI MCU 芯片及其应用	汪建强苏州国芯科技股份有限公司，芯片中心副主任
11:00	10^'	面向实时控制应用的 RISC-V 架构 DSP 处理器	向远洋中科本原科技（北京）有限公司，工程师
11:10	10^'	Imagination GPU 赋能 RISC-V 产业化落地与生态创新	郑魁 Imagination, 产品市场总监
11:20	20^'	Creating Custom RISC-V Processors Using ASIP Design Tools: A Post-Quantum Cryptography Case Study	毛海雪 Synopsys, 处理器解决方案资深应用工程师
11:40	20^'	RISC-V P Extension Implementation and DSP Application Practice	Dmitry Zakharov CloudBEAR, LLC
12:00	60^'	午餐、展区	-
13:00	15^'	功能越强，责任逾重 — 充分考虑验证地定制 RISC-V 之“实战指南“	Julian HU 胡征宇 Codasip China GM / 科达希普（深圳）有限公司总经理
13:15	20^'	面向 AI 应用的玄铁扩展指令	仇径阿里巴巴达摩院 RISC-V 及生态，技术专家
13:35	20^'	RISC-V 融合 AI 技术的芯片实践和应用	陈俭东进迭时空（杭州）科技有限公司，芯片产品总监
13:55	15^'	基于 RISC-V 云端推理 NPU 的大模型应用实践	王得科广州希姆半导体研发副总裁
14:10	15^'	高性能计算的挑战与机会	钟雷爱普存储技术（杭州）有限公司总经理
14:25	20^'	面向 RISC-V CPU 的大模型推理引擎 PerfXLM 移植与优化	张先轶澎峰科技 PerfXLab, CEO
14:45	10^'	AI 关键算子 RVV 性能优化	舒卓芯来科技，嵌入式软件工程师
14:55	15^'	Experiences with extending the RISC-V ISA for Matrix/AI	Fan Fujie Stream Computing, Director of Research
15:10	50^'	RISC-V in AI/ML: How can we harness open standards for Innovation and Performance in AI/ML?	Philipp Tomsich Chief Technologist & Founder of VRULL Xie Tao Peking University Chair Professor, Chief Scientist of Beijing Institute of Open Source Chip Bao Yungang Chief Scientist of Beijing Institute of Open Source Chip Mei Di CEO of Stream Computing He Hu Professor at Tsinghua University Wang Lei Senior vice president of Sophgo Mao Yu CECloud Security General Manager
16:00	15^'	茶歇、展区	-
16:15	15^'	面向机器学习推理应用的全同态编译器框架 (ANT-ACE)	肖琳杰蚂蚁技术研究院技术专家
16:30	15^'	面向 RISC-V 异构 AI 芯片的“大编译器”设计和实现	伍华林兆松科技联合创始人 & CTO
16:45	20^'	UXL 软件栈和 RISC-V 的初步探索	张玉珩 (Annita Zhang) 英特尔，首席工程师
17:05	10^'	RISC-V CPU IP 赋能 AI 时代创芯应用	马越芯来科技，高级总监
17:15	10^'	AutoIREE: Automatic Performance Tuning for AI models on RISC-V Vector Architectures	洪培翔 Andes Technology, Toolchain Technology Manager
17:25	10^'	基于 MLIR 的 RISC-V 编译优化实践：以 Buddy Compiler 为例	周旭林中国科学院软件研究所硕士研究生张洪滨中国科学院软件研究所博士研究生
17:35	20^'	构建 AIoT 时代 RISC-V 处理器的高效嵌入式集成开发环境	方华启芯来科技，软件总监
17:55	10^'	RISC-V & OpenHarmony 助力 AI 云-边-端协同创新	于大伍江苏润开鸿数字科技有限公司，副总裁
18:05	10^'	数据流架构和 RISC-V 相结合：一种 AI 和高性能计算芯片的技术解决方案	梅潮兆松科技（武汉）有限公司，软件工程师
18:15	10^'	RISC-V IO 虚拟化架构在 X100 芯片上的实现	Lv 'ZETALOG' Zheng（郑律） SpacemiT, CPU 架构总监
18:25	20^'	利用人工智能大模型优化 RISC-V 编译器的性能	赵正朋兆松科技（武汉）有限公司，软件开发工程师

Day2主会场 B8 月 22 日/周四水晶宫 3

时间	时长	题目	演讲者
08:30	30^'	签到	-
09:00	20^'	香山 RISC-V 服务器 IP 现状和路线图	张健北京开源芯片研究院，产品经理
09:20	20^'	香山开源处理器昆明湖架构的设计演进	唐浩晋中国科学院计算技术研究所，计算机科学与技术研究生二年级
09:40	20^'	香山处理器昆明湖架构向量扩展的设计与演进	胡轩中国科学院计算技术研究所，博士生三年级刘威丁北京开源芯片研究院/南京理工大学，硕士生二年级
10:00	20^'	面向服务器的香山处理器多核解决方案	丁昊楠中国科学院计算技术研究所，芯片设计工程师
10:20	20^'	万众一芯：基于开源众包芯片验证的探索与实践	姚治成中国科学院计算技术研究所，工程师
10:40	20^'	香山缓存系统的形式化验证	陈韬宇中国科学院软件研究所，计算机硕士生一年级
11:00	5^'	休息	-
11:05	5^'	乘影开源 GPGPU 介绍	何虎清华大学集成电路学院，副教授
11:10	10^'	“乘影”：开源通用 GPU 指令集架构介绍	于芳菲清华大学集成电路学院，硕士二年级研究生
11:20	10^'	基于 RISC-V 向量拓展的高性能开源 GPGPU 设计	沈贽苏州国芯科技股份有限公司，CPU 研发总监
11:30	10^'	详解开源乘影 GPGPU OpenCL 编译器技术栈	伍华林兆松科技，联合创始人兼 CTO
11:40	10^'	开源通用 GPU “乘影” v2.1.0 基于 Chisel HDL 的硬件开发进展	马鸣远清华大学集成电路学院，博士一年级研究生
11:50	10^'	乘影开源 GPGPU 软件工具链介绍	孔荔清华大学，软件工程师
12:00	60^'	午餐、展区	-
13:00	15^'	All-in-one RISC-V AI Compute Engine for Software Enabled Everything	Volker Politz Chief Sales Officer, Semidynamics
13:15	15^'	RISC-V Certification: Applying Advanced RISC-V Core and SoC Verification Towards the Anticipated Certification Requirements	David Kelf CEO, Breker Verification Systems
13:30	15^'	-	-
13:45	15^'	基于 RISC-V 的 DSP 中增强型 PWM 的设计与应用	冯新华北京中科昊芯科技有限公司，研发工程师
14:00	20^'	使用 RISC-V CPU ASIL B/D 开发集成中的挑战与方法	范添彬芯来科技，车规产品经理
14:20	20^'	RISC-V 芯片在汽车领域应用机遇与挑战	曹常锋长城汽车股份有限公司，总工程师
14:40	20^'	RISC-V 新 32 位嵌入式虚拟化架构 (rv64ilp32 v.s. Armv8-R AArch32 v.s. Infineon TriCore)	郭任达摩院玄铁团队，高级技术专家
15:00	20^'	Speed the path to certification of your RlSC-V-based product	Niklas Källman IAR Systems, Senior Product Manager for RISC-V Solutions
15:20	10^'	RISC-V Architectures for High-integrity Feature Rich Automotive Applications	Matthew Bubis Director of Product Management, Imagination Technologies
15:30	10^'	用高效的 ARC-V 处理器轻松驾驭汽车应用中的实时工作负载	裴亚强新思科技，资深处理器应用工程师
15:40	10^'	RISC-V SoC 敏捷设计云平台 & 面向车规等领域的核生成	赵华龙北京开源芯片研究院，研发总监
15:50	10^'	RISC-V Crypto Vector 扩展指令在车载 MCU HSM 模块中的应用	王海军亿咖通科技，资深技术专家
16:00	30^'	茶歇	-
16:30	20^'	-	-
16:50	10^'	青稞RISC-V内核USB/蓝牙/以太网芯片——专业接口技术助力RISC-V落地开花	陶玉凯南京沁恒微电子股份有限公司，产品开发工程师
17:00	10^'	高性能 RISC-V DSP，助力先进制造出海	张伟杰北京中科昊芯科技有限公司，FAE
17:10	10^'	RISC-V 云电脑终端软硬件生态分析及应用进展	韦茜中国电信研究院
17:20	10^'	中国移动基于 RISC-V 技术在云终端领域的探索	殷萍中移（苏州）软件技术有限公司，高级软件技术工程师
17:30	10^'	RISC-V 在高清云桌面终端领域的应用	万峰深圳市青葡萄科技有限公司创始人
17:40	10^'	RISC-V OpenStack 与 k8s 开发实践分享	周良奕斯伟计算，资深软件工程师郑宇奕斯伟计算，智能计算事业部软件研发高级总监
17:50	20^'	RISC-V SoC JH7110 工业实时系统方案落地探索	陈敏达赛昉科技，高级主管工程师
18:10	20^'	面向数据中心的 RISC-V 视频转码卡应用实践	李天正中国电信研究院，RISC-V 指令集研究员

Day3主会场 A8 月 23 日/周五水晶宫 1+2

时间	时长	题目	演讲者
08:30	30^'	签到	-
09:00	20^'	OpenJDK on RISC-V Update	杨飞中科院软件所 PLCT 实验室，研发工程师，OpenJDK Reviewer & OpenJDK RISC-V Port Project Leader
09:20	20^'	基于 RISC-V 的 Chromium 浏览器性能优化实践	李扬阿里巴巴达摩院 RISC-V 及生态，技术专家
09:40	20^'	LLVM 工具链 RISC-V 回顾与展望	肖玮英特尔，编译器性能优化架构师
10:00	20^'	GCC RVV 自动向量化及其应用	李盼 Intel, RISC-V Compiler Engineer
10:20	20^'	奕斯伟 RISC-V GCC 工具链开发实践分享	高斐奕斯伟计算，编译器技术专家王峰奕斯伟计算，编译器技术专家
10:40	20^'	QEMU for RISC-V 的整体进展	刘志伟阿里巴巴达摩院 RISC-V 及生态，技术专家
11:00	20^'	Leveraging the RISC-V Efficient Trace (E-Trace) Standard	Yifan Li SIEMENS EDA, Tessent Account Technology Manager
11:20	20^'	Benchmarking RISC-V Hardware & Emulator using Cloud-V	Bilal Zafar 10xEngineers, CEO
11:40	10^'	Enabling Hardware Sampling Based PGO for RISC-V Platform	Yichuan Gao（高一川） Intel Labs China, CPU Research Scientist
11:50	10^'	RVV 编译选项对性能影响的探索	徐凯亮上海交通大学，计算机专业博士一年级
12:00	60^'	午餐	-
13:00	20^'	RISC-V Android 的产品化探索	毛晗阿里巴巴达摩院，技术专家
13:20	20^'	RT-Thread 助力全球开发者共建 RISC-V 嵌入式操作系统生态	王顺上海睿赛德电子科技有限公司，RT-Thread 嵌入式软件工程师
13:40	10^'	Debian riscv64 移植的最新进展	于波中国科学院软件研究所，PLCT 工程师
13:50	20^'	openEuler RISC-V 2024: 我们如何驯服碎片化	王经纬中国科学院软件研究所，工程师
14:10	20^'	openKylin 在 RISC-V 上的最新进展和创新技术	王文竹 openKylin 社区技术委员会委员
14:30	20^'	由 deepin 视角，看 RISC-V 桌面生态的未来	杨畅 deepin 开源社区（统信软件）系统研发工程师
14:50	20^'	HVP: Hardware Accelerated RISC-V Android Emulator	Haicheng Li Intel, System Software Architect Qingshun Wang Intel, System Software Engineer
15:10	10^'	轻量级鸿蒙结合 RISC-V 的快速应用方法	王宜怀苏州大学，教授
15:20	30^'	休息	-
15:50	20^'	Introducing RISC-V Platform Management Interface (RPMI)	Tan Ley Foon StarFive Technology, Associate Principal Engineer Rahul Pathak Ventana Microsystems, Staff Software Engineer
16:10	20^'	RISC-V 服务器级 CPU 关键技术实践	费晓龙进迭时空（杭州）科技有限公司，CPU 研发总监
16:30	20^'	High Area Efficiency IOPMP Design in a Large-Scale System	辜善群晶心科技股份有限公司，副处长
16:50	10^'	-	-
17:00	20^'	Practical Approaches to Developing and Integrating ACPI and SMBIOS for RISC-V	Sia Jee Heng StarFive Technology, Senior Staff Engineer
17:20	10^'	RISC-V KVM 的调试与调优	杜超奕斯伟计算，资深软件工程师
17:30	10^'	Leverage BRS standard to improve RISC-V SW compatibility	许海波 Intel, RISC-V Software Engineer Andrei Warkentin Intel, Principal Engineer
17:40	20^'	Soft-ISA: kernel built-in emulation engine to extend RISC-V silicon ISA capability	Haicheng Li Intel, System Software Architect Xiao Wang Intel, System Software Engineer
18:00	10^'	从 StratoVirt 到 KataContainers：基于 H 扩展的软件生态建设	何若轻中国科学院软件研究所，工程师

Day3主会场 B8 月 23 日/周五水晶宫 3

时间	时长	题目	演讲者
08:30	30^'	签到	-
09:00	20^'	可抵御缓存侧信道攻击的随机化缓存设计	宋威中国科学院信息工程研究所网络空间安全防御重点实验室
09:20	20^'	SeChain: 基于国密算法的 RISC-V 安全启动机制设计与实现	芮志清中国科学院软件研究所在读博士研究生
09:40	20^'	安全加解密算子 RVK 性能优化	舒卓芯来科技，嵌入式软件工程师
10:00	20^'	A Study on Transient Execution Vulnerabilities of RISC-V Implementations（RISC-V 实现的瞬态执行漏洞研究）	Tuo Chen （陈拓） IISEC (Institute of Information Security, Japan), Master Student
10:20	10^'	RISC-V 架构下 OP-TEE 安全系统实践	桂兵芯来科技，高级软件工程师
10:30	10^'	基于 RISC-V 的 HSM 方案	王松芯来科技，嵌入式研发经理
10:40	10^'	Enhancing RISC-V Security with SBI Secure Service APIs	李勇英特尔亚太研发有限公司，软件架构师
10:50	20^'	基于 RISC-V 处理器架构搭建真实的计算机系统	常瑞浙江大学，副教授、博士生导师
11:10	20^'	“计算机组成与设计”课程实践：基于 RVfpga 的量化研究	刘鹏浙江大学，教授
11:30	10^'	PySpike: RISC-V 指令集模拟器的 Python 语言集成	刘禹无锡中微亿芯有限公司，资深软件工程师
11:40	20^'	tinyRV: 一种完备的 RISC-V 定制压缩指令集	陈名书兰州大学异步电路系统实验室，研究生
12:00	60^'	午餐	-
13:00	10^'	开源芯片社区 OChip: 香山贡献者机制发布	安旭北京开源芯片研究院，副总监
13:10	20^'	RISC-V 芯片创新应用与生态	刘勇深圳华秋电子有限公司，电子发烧友平台社区运营负责人
13:30	20^'	驱动数智未来，推动 RISC-V 高性能计算产品落地与创新	孙彦邦进迭时空（杭州）科技有限公司，创始人、总裁
13:50	20^'	RISC-V 开源硬件产品在云边端上的应用实践	吴才泽深圳矽速科技有限公司，CTO
14:10	10^'	玄铁多核 RTOS 系统平台介绍	林书塔阿里巴巴达摩院 RISC-V 及生态，技术专家
14:20	10^'	利用 WebAssembly 技术解决多种 ISA 的挑战	Chen Yolanda Intel, 编译器架构师
14:30	20^'	QEMU 调用本机动态库加速转译	章子杨上海交通大学软件学院 TCLOUD 实验室，研究生一年级
14:50	20^'	基于开源 IP、SoC 和开源 EDA 工具的芯片全链条设计	缪宇飏中国科学院计算技术研究所
15:10	10^'	5 levels of RISC-V Processor Verification	范宇杰新思科技，Application Engineer
15:20	20^'	基于 RISC-V 的架构建模及混合仿真验证方法	梁琪思尔芯 S2C, 产品经理
15:40	10^'	-	-
15:50	10^'	从 IP 到系统的 RISC-V 敏捷验证方案	杨晔芯华章科技，科技产品和业务规划总监
16:00	10^'	Accelerate RISC-V SOC SW/HW co-development with mixed Emulation platforms	Zang Bo（臧博） Intel (China) Research Center Ltd.
16:10	20^'	基于生成式多核 RISC-V 的设计验证方法	于兆杰无锡亚科鸿禹电子有限公司，AE 总监
16:30	10^'	CIRCT SV 新进展与蜂鸟 E200 RISC-V CPU 仿真案例	孙海龙兆松科技（武汉）有限公司，硬件编译器工程师
16:40	20^'	sdfirm: RISC-V 芯片验证方法论与实践	郑律 sdfirm 社区，社区开发者
17:00	10^'	EDA 辅助的领域专用 RISC-V 处理器设计	姚彦斌南京隼瞻科技有限公司，联合创始人兼 CTO
17:10	10^'	Accelerating Verification using RISC-V and cloud FPGAs	Wajahat Riaz SilverLining EDA, Verification Engineer
17:20	10^'	基于 FPGA 加速的 RISC-V 处理器敏捷验证框架	徐烁翔上海科技大学，计算机科学与技术研二
17:30	10^'	DUET: 一种基于 FPGA 加速的软硬件联合 Difftest 芯片验证框架	张寿林郑州大学，计算机技术研究生二年级
17:40	10^'	面向 RISC-V 指令集扩展的软硬件协同验证框架	蒋子健中国科学院大学，计算机科学与技术研一

POSTER

题目	作者
Building RISC-V containers on VisionFive v2	Leon Nunes Personal/RISC-V Devboard program, Customer Success Engineer
RISC-V AI Edge: 一站式 AI 边缘计算开发平台	张萌兆松科技（武汉）有限公司，软件工程师雷依钒兆松科技（武汉）有限公司，软件工程师
嵌入式技术与智能系统期刊征文	何小庆嵌入式系统联谊会，秘书长
Developing applications with RISC-V base and custom ISA extensions	Niklas Källman IAR Systems, Senior Product Manager for RISC-V Solutions
再论将 GraalVM 作为自由和开源 EDA 软件的通用运行时	李枫独立开发者
Porting Latest AOSP (Android 15)	梁宇宁深度数智，高级工程师
The case for using QEMU on the Cloud-V platform for RV64GC over current RISC-V hardware using SPECCPU2017 as a benchmark	M. Moiz Hussain 10xEngineers, Cloud-V, University of Engineering and Technology Ali Tarig 10xEngineers, Cloud-V, University of Engineering and Technology Umer Shahid 10xEngineers, Cloud-V, University of Engineering and Technology
openEuler RISC-V 运行时生态建设进展	张定立中国科学院软件研究所，工程师
openEuler LLVM 平行宇宙计划 RISC-V 架构进展同步与后续计划	周嘉诚中国科学院软件研究所，工程师
MilkV-Duo 小核管理 - 热插拔，热更新，高效通信	罗君四川大学，2021 级计算机科学与技术
在 RISC-V 设备上加速边端大模型的探索	黄知柏上海交通大学，电子信息-博士一年级
TeleBox: RISC-V 边缘 AI 盒子	梁致远中国电信研究院，研究员
基于 RISC-V 服务器的寒武纪 MLU370 智能加速卡适配	刘雨冬中国科学院软件研究所
赛昉在 riscv 工业应用上的探索与实现	罗佳维广东赛昉科技有限公司，软件工程师
嵌入式RISC-V+AI在汽车场景的应用	刘俊奕斯伟计算，资深产品经理
Short Forward Branch 技术在 S500 上的软硬件协同优化	赵坤鹏奕斯伟计算，资深硬件工程师王超奕斯伟计算，资深硬件工程师
高性能 RISC-V 处理器中的 trace 实现	杨成章奕斯伟计算，资深硬件工程师
R500A/R520A - 功能安全 RISC-V 处理器	王晓耕奕斯伟计算，资深硬件工程师
E100 - 极低成本 RISC-V 处理器	岳航博奕斯伟计算，高级硬件工程师
Debug tools: SOC 软件快照及恢复	徐航奕斯伟计算，高级软件工程师
Hassert: 基于断言与 FPGA 加速的敏捷验证框架	张子卿中国科学院计算技术研究所，中国翁伟杰厦门理工学院，中国李雅宁都柏林大学，爱尔兰蔡礼嘉香港科技大学，香港特别行政区王浩宇浙江大学，中国 David Boland 悉尼大学，澳大利亚包云岗中国科学院计算技术研究所，中国石侃中国科学院计算技术研究所，中国