paperbot · PL 论文追踪

全部论文 待读 收藏

标签：语言与体系结构（共 660 篇，按优先级展示前 200）

P0 GPU-Accelerated Belief Propagation for Program Analysis
GPU 加速的信念传播程序分析
提出 FastLBP，一个支持灵活更新策略与局部结构的 GPU 加速信念传播框架，用于大规模程序分析。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 8/10引用 1程序分析与抽象解释语言与体系结构
P0 Taming Bitwise Behavior in GPU Kernels with Tensor Core: Black-Box Reconstruction, Compiler Enforcement, and Static Verification
驯服 GPU 内核中 Tensor Core 的位级行为：黑盒重建、编译器强制与静态验证
刻画 GPU 归约与 GEMM 的位级决定因素，实现闭源库算术的黑盒重建、Triton 归约顺序强制与位等价静态验证。
预印本 2026匹配度 8/10编译与代码生成程序验证语言与体系结构
P1 Equivalence Checking of ML GPU Kernels
ML GPU 内核的等价性检查
提出首个 GPU 内核等价性检查器，形式化验证手工、LLM 与编译器优化的 ML 内核正确性。
OOPSLA 10(OOPSLA2)2026匹配度 7/10引用 1程序验证语言与体系结构
P1 Target-Aware Implementation of Real Expressions
实数表达式的目标感知实现
提出目标感知数值编译器 Chassis，将数学表达式编译为目标算子并迭代优化精度与速度。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 6/10引用 7编译与代码生成语言与体系结构
P1 An approach to generate correctly rounded math libraries for new floating point variants
一种为新型浮点变体生成正确舍入数学库的方法
提出用线性规划生成多项式逼近正确舍入值，为新型浮点格式自动构建正确舍入数学库。
POPL 5(POPL)2021匹配度 5/10引用 21语言与体系结构运行时与内存管理
P1 FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
FlipFlop：基于静态分析的 GPU 内核能耗优化框架
提出 FlipFlop，用 PTX 静态分析预测 GPU 内核能耗并推荐帕累托最优线程块配置。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10引用 3程序分析与抽象解释语言与体系结构
P1 Hardware-Aware Static Optimization of Hyperdimensional Computations
硬件感知的超维计算静态优化
提出硬件感知的静态分析优化框架 Heim，为 BSC 超维计算推导满足精度目标的最小超向量尺寸。
OOPSLA 7(OOPSLA2)2023匹配度 5/10引用 3程序分析与抽象解释语言与体系结构
P1 PF-LLM: <u>L</u> arge <u>L</u> anguage <u>M</u> odel Hinted Hardware <u>P</u> re <u>f</u> etching
PF-LLM：大语言模型提示的硬件预取
微调大语言模型离线分析汇编上下文生成预取提示，指导轻量硬件预取器显著提升指令吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 5/10引用 1语言与体系结构机器学习与程序语言
P2 Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis
通过静态信息流分析验证实用硬件安全架构
提出安全类型 HDL，通过静态信息流分析验证 ARM TrustZone 多核原型等硬件安全机制，并能发现漏洞。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 4/10引用 78安全与隐私类型系统语言与体系结构
P2 AcMC <sup>2</sup>
AcMC²：将概率模型编译为优化的 MCMC 硬件加速器
提出 AcMC² 编译器，将概率模型转换为基于 MCMC 的 FPGA/ASIC 硬件加速器，并通过依赖分析优化并行与数据局部性。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 4/10引用 24量子与概率编程语言与体系结构
P2 H-H <scp>oudini</scp> : Scalable Invariant Learning
H-Houdini：可扩展的不变式学习
提出 H-Houdini，用可并行、可记忆化的分层增量 SMT 检查替代整体式检查，使归纳不变式学习扩展到大型硬件设计。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 4/10引用 11程序验证语言与体系结构
P2 FuseFlow: A Fusion-Centric Compilation Framework for Sparse Deep Learning on Streaming Dataflow
FuseFlow：面向流式数据流的稀疏深度学习融合中心编译框架
提出 FuseFlow，首个支持稀疏算子通用跨表达式融合的编译器，将 PyTorch 稀疏模型映射到可重构数据流架构并探索融合粒度。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 4/10引用 4编译与代码生成语言与体系结构
P2 Optimizing Datalog for the GPU
面向 GPU 的 Datalog 优化
提出 GPUlog：基于哈希索引有序数组 HISA 的 GPU Datalog 引擎，实现关系代数内核并显著加速递归推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 4/10引用 4逻辑与约束编程语言与体系结构
P2 The Simulation Semantics of Synthesisable Verilog
可综合 Verilog 的仿真语义
指出现有 Verilog 标准与可综合子集语义的不一致，修复并给出首个可执行真实硬件设计的仿真语义形式化。
OOPSLA 9(OOPSLA1)2025匹配度 4/10引用 3形式语义语言与体系结构
P2 Generalizing Reuse Patterns for Efficient DNN on Microcontrollers
面向微控制器高效 DNN 的广义复用模式
提出广义复用模式及精度/延迟分析模型，显著加速微控制器上的 DNN 推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 4/10引用 2机器学习与程序语言语言与体系结构
P2 Streaming Tensor Programs: A Streaming Abstraction for Dynamic Parallelism
流式张量程序：一种面向动态并行的流式抽象
提出 STeP 流式抽象，使动态张量负载能在空间数据流加速器上高效执行。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 4/10引用 1语言与体系结构编译与代码生成
P2 Boost Linear Algebra Computation Performance via Efficient VNNI Utilization
通过高效利用 VNNI 提升线性代数计算性能
提出一种编译方法，借助静态代价分析生成高效 VNNI 代码，提升稠密线性代数与 DNN 计算性能。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 4/10引用 1编译与代码生成语言与体系结构
P2 Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
面向现代硬件的可编程分治-合并推断的概率编程
Upix 是首个把分治-合并（DCC）推断实现为框架的概率编程系统，可将通用模型拆分并编译到加速器上高效推断。
OOPSLA 10(OOPSLA2)2026匹配度 4/10量子与概率编程语言与体系结构
P2 RedFuser: An Automatic Operator Fusion Framework for Cascaded Reductions on AI Accelerators
RedFuser：面向 AI 加速器上级联规约的自动算子融合框架
提出级联规约的形式化分析与增量计算形式，并实现自动融合与内核生成的 RedFuser 框架，在 AI 加速器上最高加速 2–5 倍。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 4/10编译与代码生成语言与体系结构
P2 VerilogASTBench: Benchmark Construction of Verilog AST Dataset with Dual-Stage AST Semantic Enhancement Framework
VerilogASTBench：基于双阶段 AST 语义增强框架的 Verilog AST 数据集基准构建
提出基于 AST 的 Verilog 解析、语义增强数据集构建与编译器引导修复框架，修复 15.24% 缺陷代码并发布 31.8 万样本 RTL 基准。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 4/10语言与体系结构机器学习与程序语言
P2 EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR
EquivFusion：通过 MLIR 统一从算法到网表的硬件等价性检查
提出基于 MLIR 的端到端硬件等价性检查工具，统一算法模型到门级网表并生成形式验证格式。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 4/10程序验证语言与体系结构
P2 Path-Sensitive Abstract Interpretation for WCET Estimation
面向 WCET 估计的路径敏感抽象解释
提出路径敏感抽象解释缓存分析，维护关键路径缓存状态，在保持可扩展性下平均提升 WCET 精度 24.83%。
PLDI 10(PLDI)2026匹配度 4/10程序分析与抽象解释语言与体系结构
P2 Exploiting Sophisticated Static Analysis for Verilog
面向 Verilog 的精密静态分析探索
为 Verilog 构建模块化精密静态分析套件与基础设施，在真实硬件项目中检出多个未知缺陷。
PLDI 10(PLDI)2026匹配度 4/10程序分析与抽象解释语言与体系结构
P2 Interstellar
Interstellar
用 Halide 调度语言统一表示 DNN 加速器微架构与映射，并优化硬件资源分配以降低能耗。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 3/10引用 197语言与体系结构编译与代码生成领域特定语言与建模
P2 Bit-Tactical
Bit-Tactical（位战术）
提出 Bit-Tactical，通过静态调度中间件与轻量稀疏混洗硬件前端协同利用权重与激活的位稀疏性来加速 DNN 推理。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 3/10引用 107语言与体系结构编译与代码生成
P2 Split-CNN
Split-CNN：通过自动模型变换与异构内存管理缓解 CNN 训练的内存瓶颈
提出 Split-CNN 将输入图像切块独立卷积以大幅降低训练显存，并配套异构内存管理系统提升 GPU 训练可扩展性。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 3/10引用 41机器学习与程序语言语言与体系结构
P2 MultiKernelBench: A Multi-platform Benchmark for Kernel Generation
MultiKernelBench：面向 kernel 生成的多平台基准
发布首个跨 NVIDIA GPU、华为 NPU 与 Google TPU 的深度学习 kernel 生成基准，含 300 个任务、15 类算子。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 3/10引用 40机器学习与程序语言语言与体系结构
P2 TelaMalloc: Efficient On-Chip Memory Allocation for Production Machine Learning Accelerators
TelaMalloc：面向生产级机器学习加速器的高效片上内存分配
结合约束优化与领域知识，用启发式搜索和求解器加速ML加速器片上内存分配，并在Pixel 6与TPUv4落地。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12022匹配度 3/10引用 36编译与代码生成语言与体系结构
P2 MERCI: efficient embedding reduction on commodity hardware via sub-query memoization
MERCI：在商用硬件上通过子查询记忆化实现高效嵌入归约
提出MERCI记忆化框架，聚类并缓存相关嵌入的部分聚合，减少DNN嵌入归约内存访问，在商用硬件提升吞吐与能效。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 3/10引用 32机器学习与程序语言语言与体系结构
P2 RTL-Repair: Fast Symbolic Repair of Hardware Design Code
RTL-Repair：硬件设计代码的快速符号修复
提出基于SMT的RTL硬件设计快速符号修复工具，可在秒级生成最小修复并适配IDE。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 3/10引用 29测试、调试与修复语言与体系结构
P2 uGrapher: High-Performance Graph Operator Computation via Unified Abstraction for Graph Neural Networks
uGrapher：面向图神经网络、基于统一抽象的高性能图算子计算
提出 uGrapher 统一抽象与可调度图算子计算，提升 GNN 在不同图与算子上的执行性能。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 3/10引用 25机器学习与程序语言语言与体系结构
P2 BaCO: A Fast and Portable Bayesian Compiler Optimization Framework
BaCO：一个快速且可移植的贝叶斯编译器优化框架
提出通用贝叶斯自动调优框架 BaCO，支持多种参数类型与约束，在 CPU、GPU、FPGA 上快速产出高质量代码。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 3/10引用 22编译与代码生成语言与体系结构
P2 Testing high performance numerical simulation programs: experience, lessons learned, and open issues
测试高性能数值模拟程序：经验、教训与开放问题
报告五个核电数值模拟程序的测试实践，发现 33 个缺陷，指出基于性质与蜕变测试最有效。
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 3/10引用 15测试、调试与修复语言与体系结构
P2 EmbedAgent: Benchmarking Large Language Models in Embedded System Development
EmbedAgent：面向嵌入式系统开发的大语言模型基准测试
提出角色化范式 EmbedAgent 与基准 EmbedBench，系统评测 LLM 在嵌入式编程、电路设计与跨平台迁移中的能力并提出改进策略。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 8机器学习与程序语言语言与体系结构
P2 CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
CaT：面向包处理流水线的求解器辅助编译器
将包处理流水线编译分解为变换、综合、分配三阶段并借助求解器实现，生成代码更快且资源占用更少。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 3/10引用 8编译与代码生成语言与体系结构
P2 The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Verilog 的本质：一种可处理且经测试的 Verilog 操作语义
提出核心语言 λV，为 Verilog 给出覆盖完整特性、可执行且经测试的操作语义，并解决语义陷阱。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 8形式语义语言与体系结构
P2 iDEV: exploring and exploiting semantic deviations in ARM instruction processing
iDEV：探索与利用 ARM 指令处理中的语义偏差
提出 iDEV 框架，用差分测试系统揭示并利用 ARM 指令处理工具间的语义偏差及其安全影响。
ISSTA Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis2021匹配度 3/10引用 7语言与体系结构安全与隐私测试、调试与修复
P2 An Architecture Supporting Formal and Compositional Binary Analysis
一种支持形式化与组合式二进制分析的架构
提出一种对应 λ 演算的嵌入式计算层架构，使汇编级代码可组合地形式验证，并能与不可信代码安全共存。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 3/10引用 7语言与体系结构程序验证
P2 UniSparse: An Intermediate Language for General Sparse Format Customization
UniSparse：面向通用稀疏格式定制的中间语言
提出 UniSparse 中间语言，解耦稀疏张量的逻辑结构与内存布局，支持通用格式定制及异构代码生成。
OOPSLA 8(OOPSLA1)2024匹配度 3/10引用 7编译与代码生成语言与体系结构
P2 A Journey of a 1,000 Kernels Begins with a Single Step: A Retrospective of Deep Learning on GPUs
一千个 Kernel 的旅程始于第一步：GPU 上深度学习的回顾
通过跨三代 GPU 的纵向研究，构建 CaSiO 应用套件，揭示深度学习软硬件协同演进趋势。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 3/10引用 6机器学习与程序语言语言与体系结构
P2 Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
Tilus：一种面向低精度计算的 Tile 级 GPGPU 编程语言
提出支持 1–8 位任意位宽低精度类型的 Tile 级 GPGPU 编程语言 Tilus，经自动向量化与指令选择生成高效 GPU 内核。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 6领域特定语言与建模语言与体系结构
P2 ElasticMiter: Formally Verified Dataflow Circuit Rewrites
ElasticMiter：形式化验证的数据流电路重写
提出首个形式化验证dataflow电路变换的框架ElasticMiter，并用图重写证明所得电路与原电路等价。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 3/10引用 6程序验证语言与体系结构
P2 <scp>SYL</scp> Q-SV: Scaling Symbolic Execution of Hardware Designs with Query Caching
SYLQ-SV：利用查询缓存扩展硬件设计的符号执行
提出 SylQ-SV 专用 SystemVerilog 符号执行引擎，通过 SMT 查询缓存加速硬件验证。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32025匹配度 3/10引用 5程序验证语言与体系结构
P2 PipeSynth: Automated Synthesis of Microarchitectural Axioms for Memory Consistency
PipeSynth：面向内存一致性的微架构公理自动合成
提出 PipeSynth，在 RTL 实现完成之前自动合成处理器的微架构内存一致性公理，以支持早期形式验证。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 3/10引用 4并发、并行与内存模型语言与体系结构
P2 Unifying Static and Dynamic Intermediate Languages for Accelerator Generators
统一加速器生成器的静态与动态中间语言
提出 Piezo，用单一中间语言统一加速器生成器中的静态与动态硬件控制，并支持跨控制风格的优化与转换。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 4语言与体系结构编译与代码生成
P2 libLISA: Instruction Discovery and Analysis on x86-64
libLISA：x86-64 上的指令发现与分析
libLISA 无需人工编写反汇编器，即可自动发现并分析 x86-64 指令，生成 CPU 特定的形式化模型。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 4语言与体系结构形式语义
P2 RealisticTritonBench: A Benchmark for Triton-Kernel Generation in Real-World AI Frameworks
RealisticTritonBench：面向真实世界 AI 框架中 Triton 内核生成的基准
首个从真实 AI 框架 PR 抽取任务的 Triton 内核生成基准，并在原框架端到端环境中评估 LLM。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 3/10引用 3机器学习与程序语言语言与体系结构
P2 Compositional AI Beyond LLMs: System Implications of Neuro-Symbolic-Probabilistic Architectures
超越LLM的组合式AI：神经符号概率架构的系统影响
首次系统刻画神经符号概率组合式AI在CPU/GPU上的性能瓶颈并提出软硬件优化。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 3机器学习与程序语言语言与体系结构
P2 Flexible Instruction-Set Semantics via Abstract Monads (Experience Report)
通过抽象单子实现灵活的指令集语义（经验报告）
提出用 Haskell 子集和抽象单子编写可复用的指令集语义，以同一核心语义支持测试、交互证明与软硬件模型检测。
ICFP 7(ICFP)2023匹配度 3/10引用 3形式语义语言与体系结构
P2 Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
从张量加速器 ISA 描述自动生成 ML 编译器后端
提出 ACT，仅凭张量加速器 ISA 描述自动生成集成 XLA 的 ML 编译器后端，性能媲美或超越商用后端与手写库。
OOPSLA 10(OOPSLA2)2026匹配度 3/10引用 2编译与代码生成语言与体系结构
P2 Graphiti: Formally Verified Out-of-Order Execution in Dataflow Circuits
Graphiti：数据流电路中形式化验证的乱序执行
在 Lean 4 中建立数据流电路的图精化元理论，并形式化验证引入乱序执行的循环重写，性能与未验证方法持平。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 3/10引用 2定理证明与证明工程语言与体系结构
P2 Compass: Navigating the Design Space of Taint Schemes for RTL Security Verification
Compass：导航 RTL 安全验证中污点方案的设计空间
Compass 用统一术语与 CEGAR 精化，为 RTL 设计各组件自动选择尽量轻量且满足安全验证目标的污点分析方案。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 3/10引用 2安全与隐私语言与体系结构程序验证
P2 <i>Velosiraptor</i> : Code Synthesis for Memory Translation
Velosiraptor：面向内存翻译的代码合成
利用软件合成从高层内存硬件映射规约自动生成经过验证的底层操作系统代码，并支持硬件组件生成。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 3/10引用 2程序合成语言与体系结构
P2 SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
SafeRace：评估并应对存在数据竞争时的 WebGPU 内存安全
揭示 WGSL 数据竞争可致内存安全护栏被优化删除的规范漏洞，并提出 SafeRace 内存安全保障 SMSG。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 2安全与隐私语言与体系结构
P2 CodeGreen: Towards Improving Precision and Portability in Software Energy Measurement
CodeGreen：提升软件能耗测量的精度与可移植性
提出模块化能耗测量平台 CodeGreen，以异步解耦架构与 AST 自动插桩实现高精度、跨平台、低开销的软件能耗测量。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10引用 1编程环境与开发者工具语言与体系结构
P2 Improving Equality Saturation for EDA via Semantic E-Graphs
通过语义 E-Graph 改进 EDA 中的等式饱和
提出语义 e-graph 与 Nextmap 引擎，以等式饱和跨高层和低层硬件表示优化 EDA，缓解阶段顺序问题。
PLDI 10(PLDI)2026匹配度 3/10引用 1编译与代码生成语言与体系结构
P2 When FPGA Meets Dataflow Analysis: An Explorative Step
当 FPGA 遇上数据流分析：一次探索性尝试
提出 FpgaFlow，首个用 FPGA 专用硬件加速过程内集合式数据流分析的设计，借助分配性实现线性空间可扩展并取得平均 12–15 倍加速。
OOPSLA 10(OOPSLA2)2026匹配度 3/10程序分析与抽象解释语言与体系结构
P2 Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation
Trinity：通过 Tile 级等式饱和实现三维张量程序优化
提出首个基于 tile 级等式饱和的张量程序优化器，联合优化代数等价、内存 I/O 与计算编排。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 3/10编译与代码生成语言与体系结构
P2 A Highly Scalable, Hybrid, Cross-Platform Timing Analysis Framework Providing Accurate Differential Throughput Estimation via Instruction-Level Tracing
一个高度可扩展的混合式跨平台时序分析框架：通过指令级追踪提供精确的差分吞吐量估计
提出混合时序分析框架 MCAD，结合 QEMU 指令追踪与静态吞吐量估计，实现快速且精确的差分性能预测。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10语言与体系结构程序分析与抽象解释
P2 ChiSA: Static Analysis for Lightweight Chisel Verification
ChiSA：面向轻量级 Chisel 验证的静态分析
提出 Chisel 静态分析形式基础与硬件值流分析方法，并实现首个 Chisel 静态分析器 ChiSA，支持轻量级验证。
POPL 10(POPL)2026匹配度 3/10程序分析与抽象解释语言与体系结构
P2 Hunting CUDA Bugs at Scale with cuFuzz
用 cuFuzz 大规模猎捕 CUDA 缺陷
提出首个 CUDA 导向的模糊测试器 cuFuzz，通过全程序模糊测试、设备端覆盖率反馈与 sanitizer 解耦，发现 43 个未知 bug。
OOPSLA 10(OOPSLA1)2026匹配度 3/10测试、调试与修复语言与体系结构
P2 TETRIS
TETRIS
指出大 NN 扩展加速器会加剧片上 SRAM 与片外 DRAM 的存储成本和能耗问题，并以 TETRIS 为题研究该瓶颈。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 567语言与体系结构机器学习与程序语言
P2 Not All Qubits Are Created Equal
并非所有量子比特生而平等
提出变异性感知的量子比特分配与移动策略，规避高错误率量子比特和链路，将NISQ系统可靠性最高提升1.9倍。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 308量子与概率编程语言与体系结构
P2 NeuPIMs: NPU-PIM Heterogeneous Acceleration for Batched LLM Inferencing
NeuPIMs：面向批量 LLM 推理的 NPU-PIM 异构加速
提出 NPU-PIM 异构加速系统 NeuPIMs，通过双行缓冲与运行时子批次交错实现 GEMM/GEMV 并发，提升批量 LLM 推理吞吐。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 181语言与体系结构机器学习与程序语言
P2 FlexTensor
FlexTensor
针对异构加速器上张量库手工开发周期长的问题，提出 FlexTensor 以实现灵活、可移植、高性能的张量计算。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 172编译与代码生成语言与体系结构
P2 DOTA: detect and omit weak attentions for scalable transformer acceleration
DOTA：检测并省略弱注意力以实现可扩展 Transformer 加速
提出算法-架构协同设计的 DOTA，通过运行时检测并省略弱注意力连接加速长序列 Transformer 推理。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 148机器学习与程序语言语言与体系结构
P2 vAttention: Dynamic Memory Management for Serving LLMs without PagedAttention
vAttention：无需 PagedAttention 的 LLM 服务动态内存管理
通过解耦虚拟与物理内存分配，在保持 KV cache 虚拟内存连续性的同时缓解碎片，提升 LLM 服务吞吐。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 138运行时与内存管理语言与体系结构机器学习与程序语言
P2 Kami: a platform for high-level parametric hardware specification and its modular verification
Kami：面向高层参数化硬件规范及其模块化验证的平台
Kami 是 Coq 库，支持以 Bluespec 风格高层参数化地规范、实现并模块化验证硬件设计。
ICFP 1(ICFP)2017匹配度 2/10引用 128定理证明与证明工程语言与体系结构
P2 In-Memory Data Parallel Processor
存内数据并行处理器
提出可编程存内处理器架构与数据并行编程/编译框架，将TensorFlow程序映射到存内处理器并取得显著加速。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 108语言与体系结构编译与代码生成
P2 POD-A <scp>ttention</scp> : Unlocking Full Prefill-Decode Overlap for Faster LLM Inference
POD-Attention：解锁完整的 Prefill-Decode 重叠以实现更快的 LLM 推理
首个能在混合批次上并行执行 prefill 与 decode 注意力计算的 GPU kernel，最高提速 59%。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 96语言与体系结构机器学习与程序语言
P2 Locality-Aware CTA Clustering for Modern GPUs
面向现代GPU的局部性感知CTA聚类
提出CTA聚类软件技术，挖掘跨CTA局部性并重排调度，提升GPU缓存性能。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 84语言与体系结构编译与代码生成
P2 Classifying Memory Access Patterns for Prefetching
面向预取的内存访问模式分类
提出基于指令数据流的访存模式分类方法，揭示现有预取器局限，并用软件预取注入超越先进硬件预取器。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 82语言与体系结构
P2 FLAT: An Optimized Dataflow for Mitigating Attention Bottlenecks
FLAT：一种缓解注意力瓶颈的优化数据流
提出注意力机制定制数据流 FLAT，用融合和分块将内存平方增长降为线性，缓解带宽瓶颈并加速 Transformer。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 68语言与体系结构机器学习与程序语言
P2 Allo: A Programming Model for Composable Accelerator Design
Allo：面向可组合加速器设计的编程模型
提出可组合编程模型 Allo，通过类型安全的定制原语自底向上组合硬件定制，支持跨函数整体优化。
PLDI 8(PLDI)2024匹配度 2/10引用 63领域特定语言与建模语言与体系结构
P2 A full-stack search technique for domain optimized deep learning accelerators
面向领域优化的深度学习加速器的全栈搜索技术
提出 FAST 全栈搜索框架，联合搜索硬件数据通路、软件调度与编译优化，为特定深度学习工作负载定制加速器并提升性能功耗比。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 62语言与体系结构机器学习与程序语言
P2 ElasticFlow: An Elastic Serverless Training Platform for Distributed Deep Learning
ElasticFlow：面向分布式深度学习的弹性无服务器训练平台
提出 ElasticFlow 弹性无服务器分布式深度学习训练平台，通过按截止期准入与动态资源分配保障训练性能。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 61机器学习与程序语言语言与体系结构
P2 MaxK-GNN: Extremely Fast GPU Kernel Design for Accelerating Graph Neural Networks Training
MaxK-GNN：面向图神经网络训练加速的极速 GPU 内核设计
提出 MaxK-GNN 系统，通过算法与系统协同设计大幅加速 GPU 上的 GNN 训练。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 60语言与体系结构机器学习与程序语言
P2 Forecasting GPU Performance for Deep Learning Training and Inference
面向深度学习训练与推理的GPU性能预测
提出NeuSight，将深度学习内核按tile分解，用机器学习与性能定律预测未见GPU上训练/推理的端到端延迟。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 58机器学习与程序语言语言与体系结构
P2 Vectorization for digital signal processors via equality saturation
通过等价饱和为数字信号处理器实现向量化
提出 Diospyros，用符号求值与等价饱和为 DSP 小型线性代数内核自动搜索高效向量化与数据布局。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 56编译与代码生成语言与体系结构
P2 Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler
用神经网络编译器弥合神经网络与神经形态硬件之间的差距
提出通用神经网络编译器，将无约束训练网络转换为满足神经形态硬件限制的等效网络。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 53机器学习与程序语言语言与体系结构
P2 SPECTR
SPECTR：面向多核系统的形式化监督控制资源管理
提出 SPECTR，用形式化监督控制理论实现多核系统可扩展、鲁棒的层级资源管理，协调竞争目标。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 49语言与体系结构程序验证
P2 Towards Efficient Superconducting Quantum Processor Architecture Design
面向高效超导量子处理器体系结构设计
提出面向应用的自动设计流程，在性能损失可忽略下生成简化的超导量子处理器体系结构。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 48量子与概率编程语言与体系结构
P2 A Computational Temporal Logic for Superconducting Accelerators
面向超导加速器的计算时序逻辑
提出以脉冲到达时间为核心的计算时序逻辑，使超导逻辑能原生异步执行有用计算并形式化其语义。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 47语言与体系结构逻辑与自动机
P2 VeGen: a vectorizer generator for SIMD and beyond
VeGen：面向 SIMD 及更广范围的向量化器生成器
提出向量化器生成器 VeGen，可自动生成面向 SIMD 及非 SIMD 向量指令的向量化器。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 43编译与代码生成语言与体系结构
P2 T3: Transparent Tracking &amp; Triggering for Fine-grained Overlap of Compute &amp; Collectives
T3：透明追踪与触发实现计算与集合通信的细粒度重叠
通过软硬件协同设计，透明地将生产者计算与后续通信融合，减少资源争用并高效重叠串行化通信。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 40语言与体系结构机器学习与程序语言
P2 CirFix: automatically repairing defects in hardware design code
CirFix：自动修复硬件设计代码中的缺陷
提出面向 Verilog 硬件设计的自动缺陷修复框架，并首次将自动程序修复的收益带入硬件领域。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 40测试、调试与修复语言与体系结构
P2 JUNO: Optimizing High-Dimensional Approximate Nearest Neighbour Search with Sparsity-Aware Algorithm and Ray-Tracing Core Mapping
JUNO：利用稀疏感知算法与光线追踪核心映射优化高维近似最近邻搜索
提出 Juno，结合稀疏感知算法与 GPU 光线追踪核心映射，加速高维近似最近邻搜索。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 39语言与体系结构机器学习与程序语言
P2 MSCCLang: Microsoft Collective Communication Language
MSCCLang：微软集合通信语言
提出面向多 GPU 集合通信的领域特定语言 MSCCLang，用于表达针对网络拓扑与应用模式定制的集合算法。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 38领域特定语言与建模语言与体系结构
P2 Elivagar: Efficient Quantum Circuit Search for Classification
Elivagar：面向分类的高效量子电路搜索
提出噪声引导的资源高效量子电路搜索框架 Élivágar，通过拓扑感知生成与廉价预测器加速 QML 分类电路设计。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 37量子与概率编程语言与体系结构
P2 Swizzle Inventor
Swizzle Inventor：自动合成 Swizzle 程序
提出 Swizzle Inventor，通过程序草图与自动合成器为 GPU 内核生成 swizzle 映射，获得优于专家手写 CUDA 的性能。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 35程序合成语言与体系结构
P2 K <scp>lotski</scp> : Efficient Mixture-of-Expert Inference via Expert-Aware Multi-Batch Pipeline
Klotski：基于专家感知多批次流水线的高效混合专家推理
提出专家感知的多批次流水线调度与预取机制，消除 MoE 卸载推理中的流水线气泡，吞吐最高提升 85.12 倍。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 34机器学习与程序语言语言与体系结构
P2 Chronos: Efficient Speculative Parallelism for Accelerators
Chronos：面向加速器的高效推测并行
提出 SLOT 执行模型与 Chronos 框架，使加速器无需缓存一致性即可高效支持推测并行。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 32语言与体系结构并发、并行与内存模型
P2 Why GPUs are Slow at Executing NFAs and How to Make them Faster
为什么 GPU 执行 NFA 很慢，以及如何让其更快
揭示 GPU 执行 NFA 的内存与利用率瓶颈，并通过内存私有化、查表计算化与动态调度显著加速。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 30语言与体系结构运行时与内存管理
P2 LTRF
LTRF：延迟容忍寄存器文件
提出 LTRF GPU 寄存器文件架构，用编译期间隔分析预取寄存器工作集，隐藏高延迟主寄存器文件访问。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 30语言与体系结构
P2 Heron: Automatically Constrained High-Performance Library Generation for Deep Learning Accelerators
Heron：面向深度学习加速器的自动约束高性能库生成
Heron 通过自动刻画 DLA 固有约束来约束搜索空间，从而生成高性能深度学习加速器库。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 29编译与代码生成语言与体系结构
P2 Optimizing CNNs on Multicores for Scalability, Performance and Goodput
面向可扩展性、性能与有效吞吐量的多核 CPU 上 CNN 优化
首次刻画多核 CPU 上训练 CNN 的性能优化机会，分析卷积算术强度、并行可扩展性与稀疏性。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 29机器学习与程序语言语言与体系结构
P2 Graphene: An IR for Optimized Tensor Computations on GPUs
Graphene：面向 GPU 上优化张量计算的中间表示
提出 Graphene，一种能表达 GPU 张量指令所需复杂数据-线程映射的张量 IR，用于优化张量计算。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 28编译与代码生成语言与体系结构
P2 SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting
SEER：基于 E-graph 重写的高层次综合超优化探索器
提出基于 e-graph 重写的 HLS 超优化工具流 SEER，自动探索等价实现并将软件程序改写为高效 HLS 代码，性能最高提升 38×。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 27编译与代码生成语言与体系结构
P2 Debugging in the brave new world of reconfigurable hardware
可重构硬件新世界中的调试
指出现有 FPGA 工具缺乏适应快速开发周期的缺陷定位能力，并呼吁系统理解硬件缺陷的症状、根因与修复。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 26测试、调试与修复语言与体系结构
P2 ORIANNA: An Accelerator Generation Framework for Optimization-based Robotic Applications
ORIANNA：面向基于优化的机器人应用的加速器生成框架
以因子图为统一抽象，自动为多种基于优化的机器人算法生成 FPGA 加速器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 24语言与体系结构领域特定语言与建模
P2 ValueExpert: exploring value patterns in GPU-accelerated applications
ValueExpert：探索 GPU 加速应用中的值模式
提出 ValueExpert 工具，用于定位 GPU 应用中与值相关的性能低效。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 24程序分析与抽象解释语言与体系结构
P2 3DGates
3DGates：3D打印机的指令级能耗优化
从指令级分析3D打印机能耗，提出跨指令集、编译器与固件的优化方案，整体能耗降低25%。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 24编译与代码生成语言与体系结构
P2 ReCA: Integrated Acceleration for Real-Time and Efficient Cooperative Embodied Autonomous Agents
ReCA：面向实时高效协作具身自主智能体的集成加速
提出 ReCA 协同设计框架，从算法、系统、硬件三层加速协作具身智能体，实现 10.2× 加速与更高任务成功率。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 23语言与体系结构
P2 FlexAmata: A Universal and Efficient Adaption of Applications to Spatial Automata Processing Accelerators
FlexAmata：将应用通用且高效地适配到空间自动机处理加速器
提出 FlexAmata，使字母表规模各异的自动机应用能通用高效地映射到空间自动机加速器。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 23语言与体系结构
P2 Efficient parameterized algorithms for data packing
数据打包的高效参数化算法
首次给出数据打包问题的参数化算法与细粒度二分，基于访问超图树宽实现线性时间求解。
POPL 3(POPL)2019匹配度 2/10引用 23运行时与内存管理语言与体系结构
P2 Efficient Lossless Compression of Scientific Floating-Point Data on CPUs and GPUs
面向 CPU 和 GPU 的高效科学浮点数据无损压缩
提出四种 CPU/GPU 兼容的快速无损浮点压缩算法，在多数基准上同时优于现有压缩器。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 22语言与体系结构
P2 HeteroGen: transpiling C to heterogeneous HLS code with automated test generation and program repair
HeteroGen：借助自动化测试生成与程序修复将 C 转译为异构 HLS 代码
将 C/C++ 自动转写为保持测试行为且性能更优的 HLS 代码，结合定向修复模式与自动测试生成。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 22语言与体系结构测试、调试与修复
P2 Compiler-driven FPGA virtualization with SYNERGY
编译器驱动的 FPGA 虚拟化：SYNERGY
提出 Synergy，通过 Verilog 编译变换和运行时支持在现有 FPGA 上实现挂起/恢复、迁移与多路复用。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 22语言与体系结构编译与代码生成
P2 Optimizing Dynamic-Shape Neural Networks on Accelerators via On-the-Fly Micro-Kernel Polymerization
通过即时微内核聚合优化加速器上的动态形状神经网络
提出动态形状张量编译器 MikPoly，用运行时形状驱动的微内核动态聚合与轻量代价模型实现高效优化。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 21编译与代码生成语言与体系结构
P2 Accelerating Sparse Data Orchestration via Dynamic Reflexive Tiling
通过动态反射式分块加速稀疏数据编排
提出动态反射式分块（DRT），在运行时按输入张量当前稀疏度持续重分块，提升稀疏张量核的数据复用与加速器缓冲区利用率。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 20语言与体系结构编译与代码生成
P2 Using Analytical Performance/Power Model and Fine-Grained DVFS to Enhance AI Accelerator Energy Efficiency
使用分析式性能/功耗模型与细粒度 DVFS 提升 AI 加速器能效
为 Ascend NPU 算子建立性能/功耗模型，并用细粒度 DVFS 搜索在低性能损失下降低 AI 加速器功耗。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 19语言与体系结构机器学习与程序语言
P2 ARC: Warp-level Adaptive Atomic Reduction in GPUs to Accelerate Differentiable Rendering
ARC：GPU中Warp级自适应原子归约以加速可微分渲染
提出ARC，通过Warp级寄存器归约并分配核心与L2原子计算，加速可微分渲染的梯度更新。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 19语言与体系结构
P2 Longnail: High-Level Synthesis of Portable Custom Instruction Set Extensions for RISC-V Processors from Descriptions in the Open-Source CoreDSL Language
Longnail：从开源 CoreDSL 语言描述到 RISC-V 处理器可移植定制指令集扩展的高层次综合
提出 CoreDSL 描述语言与 Longnail 高层次综合工具，实现 RISC-V 定制指令扩展的端到端生成与自动集成。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 19语言与体系结构领域特定语言与建模
P2 An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
面向边缘端基于AI的自适应应用的能耗感知设计方法
提出能耗感知的自适应边缘AI应用设计方法，用少量样本搜索配置，在损失2–6%精度下节能最高81%。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10引用 18机器学习与程序语言语言与体系结构
P2 Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors
确定超低功耗处理器的应用特定峰值功率与能量需求
提出软硬件协同自动分析技术，精确确定应用特定的超低功耗处理器峰值功率与能量需求，给出更紧且输入无关的保证边界。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 18程序分析与抽象解释语言与体系结构
P2 SmartMem: Layout Transformation Elimination and Adaptation for Efficient DNN Execution on Mobile
SmartMem：面向移动端高效 DNN 执行的布局变换消除与适配
SmartMem 通过让多个算子共享同一张量布局，消除大部分布局变换并适配移动端 2.5D 内存，显著加速 DNN 推理。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 17编译与代码生成语言与体系结构
P2 MSCCL++: Rethinking GPU Communication Abstractions for AI Inference
MSCCL++：重新思考面向 AI 推理的 GPU 通信抽象
提出 MSCCL++ 方法论，用底层原语、高层 DSL 与算法库实现高性能可移植 GPU 通信内核。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 16领域特定语言与建模语言与体系结构
P2 HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications
HeteroFuzz：模糊测试检测异构应用的平台相关分歧
提出 HeteroFuzz，用模糊测试检测异构应用中由硬件综合细节导致的平台相关行为分歧。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10引用 16测试、调试与修复语言与体系结构
P2 MulBERRY: Enabling Bit-Error Robustness for Energy-Efficient Multi-Agent Autonomous Systems
MulBERRY：为节能多智能体自主系统实现位错误鲁棒性
提出 MulBERRY 多智能体鲁棒学习框架，通过算法-硬件协同优化，在低电压位错误下提升无人机集群能效与任务成功率。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 15机器学习与程序语言语言与体系结构
P2 eHDL: Turning eBPF/XDP Programs into Hardware Designs for the NIC
eHDL：将 eBPF/XDP 程序转化为面向 NIC 的硬件设计
提出 eHDL，从未修改的 eBPF/XDP 程序自动生成 FPGA NIC 硬件流水线。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 15语言与体系结构编译与代码生成
P2 cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
cuCatch：一种高效捕获 CUDA 应用程序内存安全违规的调试工具
提出面向 CUDA 的内存安全检测工具 cuCatch，用编译器插桩与驱动支持低开销捕获时空违规。
PLDI 7(PLDI)2023匹配度 2/10引用 15测试、调试与修复语言与体系结构
P2 C4CAM: A Compiler for CAM-based In-memory Accelerators
C4CAM：面向基于CAM的存内加速器的编译器
首个面向CAM存内加速器的编译框架，可从TorchScript生成代码并探索配置。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 14编译与代码生成语言与体系结构
P2 CMC: Video Transformer Acceleration via CODEC Assisted Matrix Condensing
CMC：基于 CODEC 辅助矩阵压缩的视频 Transformer 加速
提出首个利用视频 CODEC 辅助算法-加速器协同设计的视频 Transformer 加速框架，跳过时空冗余计算。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 14语言与体系结构
P2 JSONSki: streaming semi-structured data with bit-parallel fast-forwarding
JSONSki：基于位并行快速前进的流式半结构化数据处理
提出位并行快速前进的 JSON 流式处理框架，跳过无关子结构，显著加速流式分析。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10引用 14语言与体系结构
P2 BayesPerf: minimizing performance monitoring errors using Bayesian statistics
BayesPerf：利用贝叶斯统计最小化性能监控误差
提出BayesPerf，用贝叶斯模型联合推断硬件性能计数器读数并设计低延迟加速器，将复用事件下平均误差从40.1%降至7.6%。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 14语言与体系结构机器学习与程序语言
P2 HeteroRefactor
HeteroRefactor
针对 FPGA HLS 难以支持含指针、内存管理和递归的内核程序，提出自动重构以提升 HLS 兼容性并减少手工优化。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10引用 14编译与代码生成语言与体系结构
P2 CIM-MLC: A Multi-level Compilation Stack for Computing-In-Memory Accelerators
CIM-MLC：面向存内计算加速器的多级编译栈
提出通用多级编译框架 CIM-MLC，用统一硬件抽象支持多种存内计算架构并优化映射调度。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 13编译与代码生成语言与体系结构
P2 APEX: A Framework for Automated Processing Element Design Space Exploration using Frequent Subgraph Analysis
APEX：利用频繁子图分析的自动化处理单元设计空间探索框架
APEX 用频繁子图挖掘从应用基准中提取常见计算子图，自动生成专用 CGRA 处理单元硬件与编译器，实现领域驱动的加速器设计空间探索。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 12语言与体系结构编译与代码生成
P2 AWS Trainium: The Journey for Designing and Optimization Full Stack ML Hardware
AWS Trainium：全栈机器学习硬件的设计与优化之旅
总结 AWS Trainium 从芯片到编译器、运行时全栈协同设计与优化的经验。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 11语言与体系结构机器学习与程序语言
P2 HIR: An MLIR-based Intermediate Representation for Hardware Accelerator Description
HIR：一种基于 MLIR 的硬件加速器描述中间表示
提出基于 MLIR 的中间表示 HIR，用于描述定制硬件加速器，以提供厂商无关的标准化硬件编译基础设施。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 2/10引用 11语言与体系结构编译与代码生成
P2 Cohort: Software-Oriented Acceleration for Heterogeneous SoCs
Cohort：面向异构 SoC 的软件导向加速
提出 Cohort，以软件为中心的异构 SoC 加速方案，避免加速器编程抽象泄漏过多硬件细节，提升通用性。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 11语言与体系结构运行时与内存管理
P2 Effective simulation and debugging for a high-level hardware language using software compilers
利用软件编译器实现高级硬件语言的有效仿真与调试
提出借助软件编译器为基于规则的高级硬件设计语言提供高效仿真与调试支持。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 11语言与体系结构编译与代码生成
P2 Debugging Support for Pattern-Matching Languages and Accelerators
面向模式匹配语言与加速器的调试支持
为 RAPID 模式匹配程序和有限自动机加速器提供无需改硬件的交互式步进调试与变量检查支持。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 11测试、调试与修复领域特定语言与建模语言与体系结构
P2 Modular Hardware Design of Pipelined Circuits with Hazards
带冒险的流水线电路的模块化硬件设计
提出 hazard interfaces 将冒险引发的跨级依赖封装于接口中，实现含各类冒险的流水线电路模块化设计。
PLDI 8(PLDI)2024匹配度 2/10引用 11语言与体系结构领域特定语言与建模
P2 Loop Rerolling for Hardware Decompilation
面向硬件反编译的循环重卷
提出硬件反编译问题，并用克隆检测与程序合成技术将网表中的重复逻辑重卷为 HDL 循环。
PLDI 7(PLDI)2023匹配度 2/10引用 11语言与体系结构程序合成
P2 Zero-Overhead Path Prediction with Progressive Symbolic Execution
基于渐进式符号执行的零开销路径预测
用渐进式符号执行提升训练覆盖率，实现无需插桩、可恢复预测误差的完整执行轨迹预测。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 10程序分析与抽象解释语言与体系结构
P2 M <sup>2</sup> XFP: A Metadata-Augmented Microscaling Data Format for Efficient Low-bit Quantization
M²XFP：一种用于高效低比特量化的元数据增强微缩放数据格式
提出元数据增强微缩放格式 M²XFP 及算法-硬件协同设计，大幅降低低比特量化精度损失并提升加速器效率。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 10机器学习与程序语言语言与体系结构
P2 Hydride: A Retargetable and Extensible Synthesis-based Compiler for Modern Hardware Architectures
Hydride：面向现代硬件架构的可重定向、可扩展的基于合成的编译器
利用厂商伪代码规格自动合成可重定向指令与指令选择趟，为新兴硬件 ISA 构建可扩展编译器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 10编译与代码生成语言与体系结构
P2 FPGA Technology Mapping Using Sketch-Guided Program Synthesis
基于草图引导程序合成的 FPGA 技术映射
提出 Lakeroad，用架构无关草图模板与 HDL 语义提取引导程序合成，实现可扩展且带正确性保证的 FPGA 技术映射。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 10程序合成语言与体系结构
P2 VClinic: A Portable and Efficient Framework for Fine-Grained Value Profilers
VClinic：一个可移植且高效的细粒度值剖析器框架
提出 VClinic，一个可移植且高效的支持 X86 和 ARM 的细粒度值分析框架，简化值分析器开发并带来显著加速。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 10程序分析与抽象解释语言与体系结构
P2 Locality Transformations for Nested Recursive Iteration Spaces
嵌套递归迭代空间的局部性变换
提出首个面向嵌套递归的调度变换 recursion twisting，自动提升多级存储层次局部性并显著加速。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 2/10引用 10编译与代码生成语言与体系结构
P2 Descend: A Safe GPU Systems Programming Language
Descend：一种安全的 GPU 系统编程语言
提出 Descend，一种在类型系统中追踪所有权与生命周期、保证 CPU/GPU 内存安全并支持 GPU 层次化执行资源的系统编程语言。
PLDI 8(PLDI)2024匹配度 2/10引用 10语言与体系结构类型系统
P2 Squeezing Operator Performance Potential for the Ascend Architecture
挖掘昇腾（Ascend）架构的算子性能潜力
提出面向昇腾架构的组件化 roofline 模型以定位算子瓶颈，并总结可复用的优化策略，端到端提速 1.07–2.15 倍。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 9语言与体系结构机器学习与程序语言
P2 Hyperscale Hardware Optimized Neural Architecture Search
超大规模硬件优化神经架构搜索
提出 H2O-NAS，用大规模并行 one-shot 搜索与硬件优化搜索空间自动设计高精度、高性能模型。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 9机器学习与程序语言语言与体系结构
P2 Generalizable and interpretable learning for configuration extrapolation
面向配置外推的可泛化与可解释学习
提出 GIL/GIL+，用可解释线性模型迭代外推配置，实现跨硬件与工作负载的配置优化。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10引用 9机器学习与程序语言语言与体系结构
P2 Quantum Control Machine: The Limits of Control Flow in Quantum Programming
量子控制机器：量子编程中控制流的极限
证明经典条件跳转无法直接提升到叠加态，并给出量子计算机可正确实现控制流的充要条件与量子控制机 ISA。
OOPSLA 8(OOPSLA1)2024匹配度 2/10引用 9量子与概率编程语言与体系结构
P2 P <scp>arendi</scp> : Thousand-Way Parallel RTL Simulation
Parendi：千路并行 RTL 仿真
Parendi 面向 Graphcore IPU 的并行 RTL 仿真器，可扩展至 5888 核，较 x64 多核最快提升 4 倍。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 8语言与体系结构编译与代码生成
P2 PrimePar: Efficient Spatial-temporal Tensor Partitioning for Large Transformer Model Training
PrimePar：面向大型 Transformer 模型训练的高效时空张量划分
提出时空张量划分原语，将子算子沿空间和时间维度分布，并设计搜索算法，提升大模型训练吞吐并降低显存占用。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 8并发、并行与内存模型语言与体系结构
P2 Accelerating Legacy String Kernels via Bounded Automata Learning
通过有界自动机学习加速遗留字符串内核
利用有界自动机学习将遗留字符串内核高效映射到 FPGA 等加速器，减少低层重写和手工架构优化。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10引用 8语言与体系结构
P2 DATS - Data Containers for Web Applications
DATS——面向 Web 应用的数据容器
DATS 通过硬件能力增强容器和 MVC 风格原语，安全高效地支持 Web 应用跨容器组合数据。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 8安全与隐私语言与体系结构
P2 Securing Interruptible Enclaved Execution on Small Microprocessors
保障小型微处理器上可中断的 enclave 执行安全
提出以完全抽象作为处理器扩展安全性的形式化准则，设计、证明并实现可中断 enclave，评估其性能与硬件开销。
TOPLAS 43(3)2021匹配度 2/10引用 8安全与隐私语言与体系结构
P2 Simulator Independent Coverage for RTL Hardware Languages
RTL 硬件语言的模拟器无关覆盖率
提出一种通过编译器 pass 和 cover 原语实现的模拟器无关 RTL 覆盖率框架，支持多种仿真、FPGA 加速与形式验证后端。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 7语言与体系结构测试、调试与修复
P2 (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms
基于多维同态的数据并行计算（解/重）组合
提出基于多维同态的形式化分解/重组方法，可自动生成并调优数据并行代码。
TOPLAS 46(3)2024匹配度 2/10引用 7编译与代码生成语言与体系结构
P2 Proactive Runtime Detection of Aging-Related Silent Data Corruptions: A Bottom-Up Approach
主动运行时检测老化相关的静默数据损坏：一种自底向上的方法
提出 Vega 工作流，利用老化建模与形式验证生成测试，在运行时低开销检测老化导致的静默数据损坏。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42024匹配度 2/10引用 6测试、调试与修复语言与体系结构
P2 LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks
LightRidge：面向衍射光学神经网络的端到端敏捷设计框架
提出首个面向衍射光学神经网络的端到端光学机器学习编译框架，集成可微物理内核、计算加速与领域特定语言。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 2/10引用 6领域特定语言与建模语言与体系结构
P2 On the naturalness of hardware descriptions
论硬件描述的自然性
构建多种 HDL 大型语料，发现硬件描述的自然性类似软件，并训练 VHDL 代码补全神经模型。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10引用 6语言与体系结构机器学习与程序语言
P2 Automatic Hierarchical Parallelization of Linear Recurrences
线性递推的自动层次并行化
提出面向 GPU 等层次化并行架构的高效线性递推算法，并通过 DSL 代码生成器自动产出优化的 CUDA 代码。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 6领域特定语言与建模编译与代码生成语言与体系结构
P2 SpEQ: Translation of Sparse Codes using Equivalences
SpEQ：利用等价关系翻译稀疏代码
SpEQ 识别稀疏代码语义与存储前置条件，并将其正确翻译为高性能库或 DSL 调用。
PLDI 8(PLDI)2024匹配度 2/10引用 6编译与代码生成语言与体系结构
P2 Challenges and Opportunities for Systems Using CXL Memory
使用 CXL 内存的系统：挑战与机遇
综述 CXL 内存系统在架构、OS 与 PL 中的挑战，探讨单节点应用跨 CXL pod 的可扩展性与高可用支持。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 5语言与体系结构运行时与内存管理
P2 Design of Novel Analog Compute Paradigms with Ark
用 Ark 设计新型模拟计算范式
提出面向模拟计算范式的编程语言 Ark，支持渐进式引入模拟行为，并提供验证器与动力学系统编译器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 5领域特定语言与建模语言与体系结构
P2 Fast Instruction Selection for Fast Digital Signal Processing
为快速数字信号处理而进行的快速指令选择
提出 Pitchfork：以可移植定点中间表示 FPIR 配合项重写系统自动识别并生成 DSP 专用定点指令，最高获得 2.44 倍加速。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 2/10引用 5编译与代码生成语言与体系结构
P2 Understanding the Topics and Challenges of GPU Programming by Classifying and Analyzing Stack Overflow Posts
通过分类与分析 Stack Overflow 帖子理解 GPU 编程的主题与挑战
基于 25,269 条 Stack Overflow 帖子构建 GPU 编程主题分类法，揭示开发者挑战、难度与趋势。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10引用 5语言与体系结构编程环境与开发者工具
P2 Liquid Silicon-Monona
液态硅-Monona（L-Si）
提出基于RRAM的可重构内存导向计算架构L-Si，统一计算与存储并降低重配置开销。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 5语言与体系结构编译与代码生成
P2 Task-Based Tensor Computations on Modern GPUs
现代 GPU 上的任务式张量计算
提出任务式张量编程模型 Cypress 及其编译器，以顺序语义屏蔽异步数据搬运与同步，性能比肩专家手写 CUDA。
PLDI 9(PLDI)2025匹配度 2/10引用 5语言与体系结构编译与代码生成
P2 Parameterized Hardware Design with Latency-Abstract Interfaces
基于延迟抽象接口的参数化硬件设计
提出延迟抽象接口与参数化 HDL Lilac，用类型系统保证参数化设计无结构性冒险，提升硬件集成效率。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 4语言与体系结构类型系统
P2 Language Models: The Most Important Compute Challenge of Our Time (Keynote)
语言模型：我们时代最重要的计算挑战（主旨演讲）
从 NVIDIA 工程实践出发，指出大语言模型训练与推理的系统优化是当前最紧迫的计算挑战。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 2/10引用 4机器学习与程序语言语言与体系结构
P2 Architecting Scalable Trapped Ion Quantum Computers using Surface Codes
使用表面码架构可扩展的囚禁离子量子计算机
提出拓扑感知的表面码编译方法，并据此优化 QCCD 阱容量等架构参数，发现双离子小阱最优。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 4量子与概率编程语言与体系结构
P2 A Cost-Effective Near-Storage Processing Solution for Offline Inference of Long-Context LLMs
面向长上下文 LLM 离线推理的高性价比近存储处理方案
提出 HILOS 框架，将注意力计算卸载到近存储加速器，大幅提升长上下文 LLM 离线推理吞吐并降低能耗。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 4语言与体系结构机器学习与程序语言
P2 CRUSH: A <u>Cr</u> edit-Based Approach for Functional <u>U</u> nit <u>Sh</u> aring in Dynamically Scheduled HLS
CRUSH：面向动态调度高层次综合中功能单元共享的基于信用（credit-based）方法
提出 CRUSH，用基于信用的解耦机制在动态调度 HLS 的数据流电路中实现无死锁、可扩展的功能单元共享。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 4语言与体系结构编译与代码生成
P2 RASSM: Residue-based Acceleration of Single Sparse Matrix Computation via Adaptive Tiling
RASSM：基于残差的自适应分块单稀疏矩阵计算加速
提出基于残差矩阵的自适应二维分块技术 RASSM，为 SpMM 等单稀疏矩阵核提升缓存占用与性能。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 4语言与体系结构
P2 Sigma: Compiling Einstein Summations to Locality-Aware Dataflow
Sigma：将 Einstein 求和编译为局部性感知数据流
将 Einstein 求和编译为局部性感知的数据流，以利用细粒度内存的数据复用并降低对底层加速器专家知识的依赖。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 4编译与代码生成语言与体系结构
P2 Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Ripple：面向空间数据流架构的异步编程
提出语言与架构 Ripple，用异步迭代器、共享内存原子操作与任务并行接口消除抽象倒置，支持非规则计算。
PLDI 9(PLDI)2025匹配度 2/10引用 4语言与体系结构并发、并行与内存模型
P2 Reconfigurable Quantum Instruction Set Computers for High Performance Attainable on Hardware
可重构量子指令集计算机：在硬件上实现可达的高性能
提出 ReQISC：统一微架构可等价直接实现任意二量子比特门并配套端到端编译器，首次让连续量子指令集的理论优势在硬件上落地。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 3量子与概率编程语言与体系结构
P2 Evaluating Compiler Optimization Impacts on zkVM Performance
评估编译器优化对 zkVM 性能的影响
首次系统研究 LLVM 优化对 zkVM 的影响，并改造少量 pass 以提升证明生成性能。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 3编译与代码生成语言与体系结构
P2 CacheMind: From Miss Rates to Why - Natural-Language, Trace-Grounded Reasoning for Cache Replacement
CacheMind：从缺失率到原因——面向缓存替换的自然语言、基于访存迹的推理
提出对话式工具 CacheMind，用 RAG 与大模型对缓存访存迹做语义推理，并发布首个评测基准 CacheMindBench。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 3机器学习与程序语言语言与体系结构
P2 An MLIR Lowering Pipeline for Stencils at Wafer-Scale
面向晶圆级 Stencil 的 MLIR Lowering 流水线
提出 MLIR lowering 流水线，将 stencil 内核自动编译为 Cerebras WSE 的 CSL 代码，性能媲美手工优化。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 3编译与代码生成语言与体系结构
P2 XY-Serve: End-to-End Versatile Production Serving for Dynamic LLM Workloads
XY-Serve：面向动态 LLM 工作负载的端到端通用生产级服务系统
提出 XY-Serve，以细粒度 meta 原语抽象与虚拟填充抹平 LLM 动态负载，在昇腾 NPU 上大幅提升服务吞吐。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 3语言与体系结构机器学习与程序语言
P2 Mosaic: Exploiting Instruction-Level Parallelism on Deep Learning Accelerators with <i>iTex</i> Tessellation
Mosaic：利用 iTex 镶嵌在深度学习加速器上挖掘指令级并行
提出自底向上镶嵌式深度学习编译器 Mosaic 与 iTex 抽象，将张量计算异构映射到多种指令单元以挖掘指令级并行。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 3编译与代码生成语言与体系结构
P2 Hassert: Hardware Assertion-Based Verification Framework with FPGA Acceleration
Hassert：带 FPGA 加速的硬件断言验证框架
Hassert 将 SystemVerilog 断言自动调度映射到 FPGA 与待测设计并行执行，并以运行时重构与硬件快照实现细粒度调试。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42024匹配度 2/10引用 3语言与体系结构程序验证
P2 Quantum Computing is Getting Real
量子计算正走向现实
指出量子计算进入实用拐点，并概述语言、验证、体系结构与编译优化等重大研究挑战。
ASPLOS Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems2018匹配度 2/10引用 3量子与概率编程语言与体系结构
P2 SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention
SPLAT：面向稀疏规则注意力的优化 GPU 代码生成框架
提出 ACSR 稀疏格式与 SPLAT 代码生成框架，为多样稀疏注意力模式在 GPU 上生成高性能实现。
OOPSLA 9(OOPSLA1)2025匹配度 2/10引用 3编译与代码生成语言与体系结构
P2 I/O Analysis is All You Need: An I/O Analysis for Long-Sequence Attention
I/O 分析足矣：面向长序列注意力的 I/O 分析
提出面向高瘦矩阵乘的 I/O 分析，并据此设计长序列精确自注意力加速器 AttenIO，实现显著加速。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 2语言与体系结构机器学习与程序语言
P2 Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums
Insum：用间接 Einsum 简化并优化稀疏 GPU 内核
以格式无关 Einsum 重写为间接 Einsum，配合 Insum 编译器生成高效稀疏 GPU 内核。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 2编译与代码生成语言与体系结构
P2 DFVG: A Heterogeneous Architecture for Speculative Decoding with <u>D</u> raft-on- <u>F</u> PGA and <u>V</u> erify-on- <u>G</u> PU
DFVG：一种基于 FPGA 起草与 GPU 验证的推测解码异构架构
提出 DFVG 异构架构，把推测解码的草稿生成卸载到 FPGA、验证交给 GPU，最高取得 3.26× 加速与 5.8× 能效提升。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 2语言与体系结构机器学习与程序语言
P2 SwiftSpec: Disaggregated Speculative Decoding and Fused Kernels for Low-Latency LLM Inference
SwiftSpec：面向低延迟 LLM 推理的分解式推测解码与融合内核
提出 SwiftSpec，通过跨 GPU 解聚草稿/目标模型并融合 GEMM 与注意力内核，显著降低单请求 LLM 解码延迟。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 2机器学习与程序语言语言与体系结构
P2 Be CIM or Be Memory: A Dual-mode-aware DNN Compiler for CIM Accelerators
成为 CIM 还是成为内存：面向 CIM 加速器的双模式感知 DNN 编译器
提出 CMSwitch 编译器，将 CIM 的计算/内存模式切换纳入编译优化空间，自动完成网络分段与资源分配。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 2/10引用 2语言与体系结构编译与代码生成
P2 NDPipe: Exploiting Near-data Processing for Scalable Inference and Continuous Training in Photo Storage
NDPipe：利用近数据处理实现照片存储中的可扩展推理与持续训练
提出NDPipe，在照片存储服务器中借助近数据处理与商品GPU，实现可扩展的DNN推理和持续训练。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 2机器学习与程序语言语言与体系结构
P2 Stepwise Debugging for Hardware Accelerators
硬件加速器的逐步调试
提出 Cider，利用高级硬件设计语言中的控制流信息，为编译到硬件的语言提供软件式逐步调试抽象。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 2语言与体系结构编程环境与开发者工具
P2 A compiler infrastructure for accelerator generators
面向加速器生成器的编译器基础设施
提出 Calyx 中间语言与编译器，将高层程序编译为可综合硬件设计，统一结构化与控制流表示。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 2语言与体系结构编译与代码生成
P2 SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior
SIMT-Step 执行：面向 GPU 子组行为的灵活操作语义
提出 SIMT-Step 操作语义，以动态基本块精确刻画 GPU 子组同步执行，并在 TLA+ 与多厂商 GPU 上验证。
PLDI 10(PLDI)2026匹配度 2/10引用 2形式语义语言与体系结构
P2 Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic
Kuiper：使用依赖类型与分离逻辑的正确且高效的 GPU 编程
提出嵌入 F* 的依赖类型 GPU 编程语言 Kuiper，扩展分离逻辑以证明内核正确性并编译为高效 CUDA。
PLDI 10(PLDI)2026匹配度 2/10引用 2程序验证语言与体系结构
P2 A Mechanized Semantics for Dataflow Circuits
数据流电路的机器化语义
提出数据流电路的机器化操作语义，在 Coq 中证明图与项演算等价并给出确定性条件。
OOPSLA 9(OOPSLA1)2025匹配度 2/10引用 2形式语义定理证明与证明工程语言与体系结构
P2 CCLInsight: Unveiling Insights in GPU Collective Communication Libraries via Primitive-Centric Analysis
CCLInsight：以原语为中心的分析揭示 GPU 集合通信库的洞见
提出以原语为中心的 GPU 集合通信库性能分析与工具 CCLInsight，揭示配置规律并显著优化 NCCL/MSCCL。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 2/10引用 1语言与体系结构机器学习与程序语言
P2 Finding Reusable Instructions via E-Graph Anti-Unification
通过 E-Graph 反合一发现可复用自定义指令
提出 ISAMORE 框架，利用 e-graph 反合一从领域应用中挖掘语义等价的可复用自定义指令，性能提升 1.12–2.69 倍。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 1语言与体系结构编译与代码生成
P2 Unicorns, Centaurs, and Cyborgs: Co-design Powering the Intelligence Era
独角兽、半人马与赛博格：共设计驱动智能时代
这是一篇主题演讲，主张通过贯穿软硬件栈、跨学科与跨社群的协同设计来支撑 AI 基础设施与「用 AI 优化 AI」的未来。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 1语言与体系结构机器学习与程序语言
P2 CHERI-SIMT: Implementing Capability Memory Protection in GPUs
CHERI-SIMT：在 GPU 中实现能力内存保护
评估在 GPU SIMT 核中集成 CHERI 能力内存保护的可行性，并提出显著降低寄存器、面积与执行开销的技术。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 1安全与隐私语言与体系结构
P2 The Configuration Wall: Characterization and Elimination of Accelerator Configuration Overhead
配置墙：加速器配置开销的刻画与消除
提出配置墙量化模型与 MLIR 编译优化，消除或隐藏加速器配置开销，在 OpenGeMM 上几何平均加速 2 倍。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 1编译与代码生成语言与体系结构
P2 Sequential Specifications for Precise Hardware Exceptions
面向精确硬件异常的串行规约
提出 XPDL 语言扩展，可由高层串行规约自动综合出支持陷阱与中断的精确异常流水线实现。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 1语言与体系结构编译与代码生成
P2 Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures
面向 AMD Zen 架构的稀疏性能计数器可解释端口映射推断
修改 uops.info 的端口映射推断算法，使其仅依赖稀疏性能计数器，并用 SMT 驱动的反例引导方法推断 AMD Zen 的端口映射。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 1语言与体系结构逻辑与约束编程
P2 Automatic Generation of Vectorizing Compilers for Customizable Digital Signal Processors
为可定制数字信号处理器自动生成向量化编译器
提出 Isaria 框架，从 ISA 规格自动合成重写规则，用等式饱和自动生成高性能向量化 DSP 编译器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 2/10引用 1编译与代码生成语言与体系结构