他从 RISC-V 应用迁移视角出发，围绕 x86 到 RISC-V 迁移过程中可能出现的并发语义差异，与现场嘉宾探讨了如何利用编译器 IR、事件提取与内存模型验证等方法辅助识别潜在风险，并初步讨论性能优化与正确性保持之间的工具链闭环。
龙蜥社区（OpenAnolis）是面向国际的 Linux 服务器操作系统开源根社区及创新平台，秉承“平等、开放、协作、创新”的原则，理事会由阿里云、统信软件、龙芯、Arm 、Intel 等 24 家国内外头部企业共同组成，有超过 1000 家来自芯片厂商、软件厂商、整机厂商、操作系统厂商等覆盖操作系统全产业链的合作伙伴参与生态共建。
