科研获奖
2026年3月21日至3月26日，ASPLOS 2026（ACM International Conference on Architectural Support for Programming Languages and Operating Systems）在美国匹兹堡召开。ASPLOS是计算机芯片架构领域最具影响力的国际会议之一，聚焦芯片架构、编程语言与操作系统的交叉研究，是推动软硬件协同创新的重要学术平台。会议长期汇聚全球顶尖高校与工业界前沿成果，竞争极为激烈。本届会议共收到1048篇投稿，录用152篇，接收率14.5%，创二十年来新低。在本届大会上，北京大学集成电路学院梁云教授团队荣获最佳论文奖（Best Paper Award）。成果简介如下：
随着AI、DSP等计算密集型应用的发展，通用处理器已难以同时满足性能与能效需求，基于RISC-V开放指令集扩展的定制指令成为实现领域专用加速的重要路径。然而，现有自动化方法主要依赖程序热点的语法级模式识别，仅能合并表面相似的指令序列，导致生成指令复用性低、过度特化，难以跨代码位置乃至跨应用复用，从而限制性能收益与硬件资源效率。针对上述问题，梁云教授团队提出ISAMORE框架，首次实现面向可复用性的定制指令自动发现。该方法基于等价图（e-graph）与反合一（anti-unification），通过等价饱和捕获程序语义空间，并提取跨程序共享的语义模式，实现指令跨应用复用。为缓解组合爆炸问题，ISAMORE设计了分阶段迭代流程及基于结构相似性筛选与模式采样的智能反合一机制，显著提升可扩展性；同时结合模式向量化与硬件感知成本模型，在性能与面积之间实现有效权衡。
该成果以《Finding Reusable Instructions via E-Graph Anti-Unification》为题发表并获最佳论文奖，北京大学集成电路学院博士生肖有为为第一作者，其导师梁云教授为通讯作者。
肖有为同学在ASPLOS会议现场领取最佳论文奖
背景链接
ACM国际编程语言与操作系统架构支持会议（ACM International Conference on Architectural Support for Programming Languages and Operating Systems，简称ASPLOS）创立于1982年。该会议由由ACM SIGARCH、SIGPLAN和SIGOPS联合主办，被中国计算机学会（CCF）列为A类推荐会议，历史平均录取率在18%左右。ASPLOS以跨学科系统研究为核心特色，涵盖计算机体系结构、硬件与新兴技术、编程语言与编译器、操作系统与网络等多个方向，是软硬件协同设计的重要学术平台，历史上推动了RISC、RAID、虚拟化、多核处理器及深度学习加速器等关键技术的发展。
