paperbot · PL 论文追踪

全部论文 待读 收藏

标签：编译与代码生成（共 791 篇，按优先级展示前 200）

P0 Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors
Arfa：一种基于 regime 的敏捷浮点舍入误差优化方法
提出 Arfa，将浮点表达式定义域划分为 regime 并进行重写，以降低舍入误差。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 9/10引用 1编译与代码生成
P0 Exploiting community structure for floating-point precision tuning
利用社区结构进行浮点精度调优
提出基于浮点变量社区结构的层次化精度调优方法，提升混合精度搜索效率与效果。
ISSTA Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis2018匹配度 8/10引用 60编译与代码生成程序分析与抽象解释
P0 One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
一种多项式逼近：为多种表示与舍入模式生成初等函数的正确舍入结果
提出用 n+2 位 round-to-odd 多项式逼近，一次生成支持多种精度与全部 IEEE 舍入模式的正确舍入初等函数库。
POPL 6(POPL)2022匹配度 8/10引用 15编译与代码生成程序合成
P0 Global Optimization of Numerical Programs Via Prioritized Stochastic Algebraic Transformations
基于优先随机代数变换的数值程序全局优化
提出数值程序全局优化框架，用符号轨迹与优先随机代数变换兼顾精度与效率。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 8/10引用 11编译与代码生成程序分析与抽象解释
P0 LPO: Discovering Missed Peephole Optimizations with Large Language Models
LPO：利用大语言模型发现遗漏的窥孔优化
结合大语言模型与形式化验证，闭环自动发现 LLVM 中遗漏的窥孔优化。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 8/10引用 4编译与代码生成机器学习与程序语言
P0 Cost of Soundness in Mixed-Precision Tuning
混合精度调优中健全性的代价
首次系统评测混合精度调优工具，量化健全静态分析与不健全动态方法在性能收益与精度保证间的权衡。
OOPSLA 9(OOPSLA2)2025匹配度 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 TensorRight: Automated Verification of Tensor Graph Rewrites
TensorRight：张量图重写的自动验证
提出首个可验证任意秩与尺寸张量图重写正确性的自动验证系统 TensorRight。
POPL 9(POPL)2025匹配度 7/10引用 13程序验证编译与代码生成
P1 Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
面向代码优化的具体类型推断：结合机器学习与 SMT 求解
提出结合机器学习与 SMT 求解的具体类型推断，无需类型标注即可优化动态类型 Python 代码。
OOPSLA 7(OOPSLA2)2023匹配度 7/10引用 5类型系统机器学习与程序语言编译与代码生成
P1 Automated Deep Learning Optimization via DSL-Based Source Code Transformation
基于 DSL 源代码转换的自动化深度学习优化
提出 Adopter，用 DSL 表达 DL 模型与转换规则，自动将 DL kernel 集成到模型中，提升精度召回与训练效率。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 7/10引用 1领域特定语言与建模机器学习与程序语言编译与代码生成
P1 Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
基于编译器引导大语言模型归约分析的输入中心代码优化
结合编译器与LLM的归约分析自动识别关键输入特征，将输入识别时间缩短44至450倍，支撑输入中心优化。
PLDI 9(PLDI)2025匹配度 7/10机器学习与程序语言编译与代码生成
P1 PyTorch 2: Faster Machine Learning Through Dynamic Python Bytecode Transformation and Graph Compilation
PyTorch 2：通过动态 Python 字节码变换与图编译加速机器学习
PyTorch 2 的 torch.compile 借助动态字节码变换捕获计算图并编译，在真实模型上取得显著加速。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 6/10引用 1395编译与代码生成机器学习与程序语言
P1 Deriving Probability Density Functions from Probabilistic Functional Programs
从概率函数式程序推导概率密度函数
提出一种概率函数式语言的密度编译器，并为含失败及离散/连续分布的程序证明其可靠性。
LMCS vol.Volume 13, Issue 22017匹配度 6/10引用 50量子与概率编程编译与代码生成
P1 Relax: Composable Abstractions for End-to-End Dynamic Machine Learning
Relax：面向端到端动态机器学习的可组合抽象
提出 Relax 编译器抽象，以跨层表示与一等符号形状标注优化端到端动态形状机器学习负载。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 6/10引用 26机器学习与程序语言编译与代码生成
P1 PYEVOLVE: Automating Frequent Code Changes in Python ML Systems
PYEVOLVE：自动化 Python 机器学习系统中的频繁代码变更
提出数据流/控制流感知的变换规则推断引擎，自动挖掘、推断并移植 Python ML 系统中的频繁代码变更。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 6/10引用 23编译与代码生成机器学习与程序语言
P1 Optimizing Deep Learning Inference via Global Analysis and Tensor Expressions
通过全局分析与张量表达式优化深度学习推理
提出 DNN 编译器 Souffle，以张量表达式构建全局依赖图并做跨算子边界的优化，显著加速推理。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 6/10引用 23编译与代码生成机器学习与程序语言
P1 DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization
DyCL：通过程序重写与图优化的动态神经网络编译
提出 DyCL，通过程序重写和图优化使现有深度学习编译器成功编译动态神经网络，并提升执行性能。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 6/10引用 16编译与代码生成机器学习与程序语言
P1 Performance-aware Scale Analysis with Reserve for Homomorphic Encryption
面向同态加密的带 reserve 的性能感知尺度分析
提出性能感知的静态 scale 分析，通过 reserve 预算反向重分配，无需空间探索即可生成高效尺度管理方案。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 6/10引用 14编译与代码生成类型系统
P1 Speeding up SMT Solving via Compiler Optimization
通过编译器优化加速 SMT 求解
提出 SLOT，将 SMT 实例翻译为 LLVM IR 并复用编译器优化进行化简，从而实现求解器无关的 SMT 加速。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 6/10引用 14逻辑与约束编程编译与代码生成
P1 SoD <sup>2</sup> : Statically Optimizing Dynamic Deep Neural Network Execution
SoD2：静态优化动态深度神经网络执行
提出 SoD2 框架，通过秩与维度传播静态确定动态 DNN 算子形状，实现融合代码生成、执行规划与内存分配优化。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 6/10引用 12编译与代码生成机器学习与程序语言
P1 Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
面向精度调优的混合精度程序性能与精度预测
用图神经网络学习混合精度程序表示来预测其性能与精度，从而加速动态精度调优。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 6/10引用 8机器学习与程序语言编译与代码生成
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 Compiling Probabilistic Programs for Variable Elimination with Information Flow
基于信息流的概率程序编译与变量消除
提出一种编译方法，利用信息流类型系统分解概率计算，将递归概率程序的全局边缘推断化为可处理子问题。
PLDI 8(PLDI)2024匹配度 6/10引用 6量子与概率编程类型系统编译与代码生成
P1 Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers
注意抽象鸿沟：将等价饱和引入真实世界的 ML 编译器
将等价饱和用于真实 ML 计算图，结合全局代价模型优化 XLA，在 CPU/GPU 上平均提速 3.45%。
OOPSLA 9(OOPSLA2)2025匹配度 6/10引用 3编译与代码生成机器学习与程序语言
P1 Optimizing Deep Learning Inference Efficiency through Block Dependency Analysis
通过块级依赖分析优化深度学习推理效率
提出 BlockDepend，用块级依赖分析简化算子间依赖并挖掘并行机会，显著加速 DNN 推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 6/10引用 1编译与代码生成机器学习与程序语言
P1 VERT: Polyglot Verified Equivalent Rust Transpilation with Large Language Models
VERT：基于大语言模型的多语言可验证等价 Rust 转译
结合大语言模型与模型检测，将任意可编译到 WebAssembly 的语言转译为等价且地道的 Rust。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 6/10引用 1机器学习与程序语言编译与代码生成程序验证
P1 Translation Tag Team: Formal Rules and LLMs Translate More Macros Together Than Apart
翻译接力队：形式规则与 LLM 合作比分开翻译更多宏
提出形式化宏翻译器 MerC 与基准 MacroBench，并证明 MerC 先翻译、LLM 补余的接力法优于单独使用。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 6/10编译与代码生成机器学习与程序语言
P1 Fixing Broken Graphs: LLM-Powered Automatic Code Optimization for DNN Programs
修复断裂的计算图：面向 DNN 程序的 LLM 驱动自动代码优化
提出多智能体系统 GraphGlue，用 LLM 修复导致深度学习编译器计算图断裂的代码，从而提升推理性能与显存效率。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 6/10机器学习与程序语言编译与代码生成
P1 Incremental Computation for Efficient Programmable Inference in Probabilistic Programs
概率程序中高效可编程推断的增量计算
将概率程序编译为密度函数并增量计算，加速多种蒙特卡洛推断且分离式证明保证正确性。
PLDI 10(PLDI)2026匹配度 6/10量子与概率编程编译与代码生成
P1 Sound and Modular Activity Analysis for Automatic Differentiation in MLIR
MLIR 中可靠且模块化的自动微分活性分析
将 AD 活性分析形式化为抽象解释并证明其可靠性，在 MLIR 中实现含函数摘要的模块化版本，获得显著加速。
OOPSLA 9(OOPSLA2)2025匹配度 6/10程序分析与抽象解释编译与代码生成
P1 The simple essence of automatic differentiation
自动微分的简单本质
从简单规约推导通用自动微分算法，特化后得到无图、无磁带、无变异的简洁反向模式 AD。
ICFP 2(ICFP)2018匹配度 5/10引用 88编译与代码生成机器学习与程序语言
P1 Towards End-to-End Optimization of LLM-based Applications with Ayo
面向基于 LLM 应用的端到端优化：Ayo
提出以任务原语为单位的细粒度端到端编排，将查询工作流表示为原语级数据流图，实现跨模块并行与流水线优化，最高加速 2.09 倍。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 5/10引用 48机器学习与程序语言编译与代码生成
P1 PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting
PolyJuice：基于等价饱和重写的张量编译器误编译缺陷检测
提出 PolyJuice，用等价饱和生成语义等价的多样计算图，通过差异测试发现张量编译器的误编译缺陷。
OOPSLA 8(OOPSLA2)2024匹配度 5/10引用 17编译与代码生成测试、调试与修复
P1 Probabilistic Programming with Programmable Variational Inference
支持可编程变分推断的概率编程
提出以组合式程序变换支持可编程变分推断，将变分目标写成程序并自动变换为无偏梯度估计器。
PLDI 8(PLDI)2024匹配度 5/10引用 14量子与概率编程编译与代码生成
P1 Scalable, Validated Code Translation of Entire Projects using Large Language Models
使用大语言模型对整个项目进行可扩展、经校验的代码翻译
提出模块化、特征映射与类型兼容性检查的 LLM 代码翻译方法，可将万行级 Go 项目可靠翻译为 Rust。
PLDI 9(PLDI)2025匹配度 5/10引用 13机器学习与程序语言编译与代码生成
P1 Migrating Code At Scale With LLMs At Google
在 Google 使用 LLM 进行大规模代码迁移
面向 Google 内部大规模代码迁移，探讨使用 LLM 辅助开发者完成框架替换、效率改进与依赖升级等演化任务。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 5/10引用 10机器学习与程序语言编译与代码生成
P1 WaDec: Decompiling WebAssembly Using Large Language Model
WaDec：使用大语言模型反编译WebAssembly
提出基于大语言模型的反编译器WaDec，用于提升WebAssembly二进制反编译输出的可读性。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 5/10引用 10机器学习与程序语言编译与代码生成
P1 Symbolic conditioning of arrays in probabilistic programs
概率程序中数组的符号化条件化
将符号化分解算法扩展到概率程序中的数组，实现无需展开循环的提升式条件化。
ICFP 1(ICFP)2017匹配度 5/10引用 9量子与概率编程编译与代码生成
P1 Verified Density Compilation for a Probabilistic Programming Language
概率编程语言的验证密度编译
提出 ProbCompCert：用 Coq 验证 Stan 子集概率编程语言编译器的关键遍，并发现 Stan 手册错误。
PLDI 7(PLDI)2023匹配度 5/10引用 6量子与概率编程定理证明与证明工程编译与代码生成
P1 ReCodeAgent: A Multi-agent Workflow for Language-Agnostic Translation and Validation of Large-Scale Repositories
ReCodeAgent：面向大规模仓库的语言无关翻译与验证的多智能体工作流
提出多智能体工作流 ReCodeAgent，实现全自动、语言无关的大规模仓库级代码翻译与验证。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 5/10引用 4机器学习与程序语言编译与代码生成
P1 First-Class Verification Dialects for MLIR
MLIR 的一等验证方言
将形式语义作为一等公民引入 MLIR，设计验证方言以支持编译器 IR 的语义编码与通用验证工具。
PLDI 9(PLDI)2025匹配度 5/10引用 4程序验证编译与代码生成
P1 LOOPRAG: Enhancing Loop Transformation Optimization with Retrieval-Augmented Large Language Models
LOOPRAG：用检索增强大语言模型增强循环变换优化
提出检索增强LLM框架LOOPRAG，通过参数化示例生成、循环感知检索与反馈迭代提升循环变换优化。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 5/10引用 3编译与代码生成机器学习与程序语言
P1 Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
通过自动循环向量化优化概率程序中的密度计算
提出可靠的自动循环向量化方法，用推测并行与不动点检查加速概率程序推断。
POPL 10(POPL)2026匹配度 5/10引用 3量子与概率编程编译与代码生成
P1 Compiling with Generating Functions
用生成函数编译
提出以生成函数为编译目标的概率程序精确推断方法，形式化编译并证明其正确性，实现系统 Geni。
ICFP 9(ICFP)2025匹配度 5/10引用 3量子与概率编程编译与代码生成
P1 Environment-Sharing Analysis and Caller-Provided Environments for Higher-Order Languages
高阶语言中的环境共享分析与调用者提供环境
提出基于抽象解释的高阶环境共享分析并形式化，支持调用者提供环境以减少环境分配。
ICFP 9(ICFP)2025匹配度 5/10引用 2程序分析与抽象解释编译与代码生成
P1 Probabilistic Programming with Vectorized Programmable Inference
具有向量化可编程推断的概率编程
提出 GenJAX 语言与编译器，将 vmap 向量化引入可编程概率推断，并证明其模型与推断操作向量化的正确性。
POPL 10(POPL)2026匹配度 5/10引用 1量子与概率编程编译与代码生成
P1 Scaling Optimization over Uncertainty via Compilation
通过编译扩展不确定性之上的优化
提出带分支定界半环的二元决策图IR，将概率优化编译为可扩展的推断与优化流程。
OOPSLA 9(OOPSLA1)2025匹配度 5/10引用 1量子与概率编程编译与代码生成
P1 Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
无需担忧应用舍入模式的正确舍入数学库
提出舍入不变输出与舍入不变输入界两种方法，使 RLibm 数学库无需频繁切换舍入模式，性能提升超过 2 倍。
PLDI 9(PLDI)2025匹配度 5/10引用 1编译与代码生成运行时与内存管理
P1 Correctness Meets Performance: From Agda to Futhark
正确性与性能兼顾：从 Agda 到 Futhark
用 Agda 形式化并抽取到 Futhark，使自动微分与 CNN 代码兼具正确性保证和接近 TensorFlow 的性能。
ICFP 9(ICFP)2025匹配度 5/10引用 1定理证明与证明工程编译与代码生成
P1 Translation Validation for LLVM’s AArch64 Backend
LLVM AArch64 后端的翻译验证
提出 arm-tv，形式化验证 LLVM IR 到 AArch64 汇编的翻译，并在该后端发现 45 个此前未知的误编译缺陷。
OOPSLA 9(OOPSLA2)2025匹配度 5/10引用 1编译与代码生成程序验证
P1 Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
为翻译验证建模局部内存的动态分配与释放
提出局部内存动态分配的执行模型与精化定义，将编译器翻译验证可靠地归约为 SMT 可解的一阶逻辑查询。
OOPSLA 8(OOPSLA1)2024匹配度 5/10引用 1程序验证编译与代码生成
P1 Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
通过 Lowering 空间探索发现 MLIR 编译器基础设施中的缺陷
提出 lowering 空间探索技术，动态构造多样 lowering 路径并比较执行结果，自动发现 MLIR 中的缺陷。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 5/10测试、调试与修复编译与代码生成
P1 Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor Programs
增强 LLM 将优化后的 PTX 反编译为面向张量程序的可读 CUDA
提出 PtxDec，用编译器数据增强与循环重卷中间表示，显著提升 LLM 将优化 PTX 反编译为可读 CUDA 的准确率。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 5/10机器学习与程序语言编译与代码生成
P1 Search-Based Translations for Tensor Operations
面向张量运算的基于搜索的翻译
提出用程序合成与验证自动把通用语言程序翻译为语义等价的张量运算，替代传统模式匹配。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 5/10程序合成编译与代码生成程序验证
P1 Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Phaedrus：利用轻量级生成模型与 LLM 预测动态应用行为
提出 Phaedrus，用 LLM 与轻量生成模型预测动态函数调用，指导免执行、输入特定的编译优化。
OOPSLA 10(OOPSLA1)2026匹配度 5/10机器学习与程序语言编译与代码生成
P1 Versioned E-Graphs
版本化 E-Graph
提出版本化 E-Graph，同时编码多个等价集合与共享信息，并证明其正确性，显著提升条件等价场景性能。
PLDI 10(PLDI)2026匹配度 5/10定理证明与证明工程编译与代码生成
P1 Tail Modulo Async-Await
异步等待下的尾模优化
将尾调用优化扩展到异步调用，提出 TMA 变换，避免多余任务，并可与 TMC 结合实现并行且空间优化的递归函数。
ICFP 10(ICFP)2026匹配度 5/10编译与代码生成并发、并行与内存模型
P2 A comprehensive study of deep learning compiler bugs
深度学习编译器缺陷的综合研究
对深度学习编译器缺陷进行大规模实证研究，揭示其与传统编译器缺陷的异同。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 4/10引用 118机器学习与程序语言编译与代码生成
P2 Demystifying differentiable programming: shift/reset the penultimate backpropagator
揭秘可微编程：shift/reset 与倒数第二个反向传播器
揭示反向模式自动微分与定界延续（shift/reset）的联系，并用多阶段编程实现兼顾性能与表达力的可微编程。
ICFP 3(ICFP)2019匹配度 4/10引用 49机器学习与程序语言编译与代码生成
P2 Unleashing the power of compiler intermediate representation to enhance neural program embeddings
释放编译器中间表示的力量以增强神经程序嵌入
利用 LLVM IR 与遗传算法搜索优化选项，增强神经程序嵌入质量并提升代码克隆检测性能。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 4/10引用 40机器学习与程序语言编译与代码生成
P2 Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters
深度学习中的互操作性：ONNX 模型转换器的用户调查与失败分析
通过 92 名工程师问卷与 200 个 ONNX 缺陷分析，揭示 DL 模型转换器约 75% 的缺陷集中在节点转换阶段。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 4/10引用 28机器学习与程序语言编译与代码生成
P2 Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation
可证明正确、渐近高效的高阶反向模式自动微分
提出高阶反向模式自动微分的简单高效实现，并证明其正确性与渐近复杂度。
POPL 6(POPL)2022匹配度 4/10引用 27编译与代码生成形式语义
P2 Verified tensor-program optimization via high-level scheduling rewrites
通过高层调度重写实现经验证的张量程序优化
在 Coq 中构建轻量框架，用一系列经验证的语义保持重写，对纯函数式数组语言写的张量核进行调度优化。
POPL 6(POPL)2022匹配度 4/10引用 25程序验证编译与代码生成
P2 Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Minotaur：面向 SIMD 的合成超优化器
用程序合成与形式验证为 LLVM 搜索整数/浮点 SIMD 优化，获得实际加速。
OOPSLA 8(OOPSLA2)2024匹配度 4/10引用 22程序合成编译与代码生成程序验证
P2 Translation Validation for JIT Compiler in the V8 JavaScript Engine
V8 JavaScript 引擎中 JIT 编译器的翻译验证
提出 TurboTV：基于 SMT 的分阶段翻译验证器，验证 V8 TurboFan JIT 编译的正确性并发现 LLVM 新误编译。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 4/10引用 20程序验证编译与代码生成
P2 Automating CUDA Synchronization via Program Transformation
通过程序变换自动实现 CUDA 同步
提出 AuCS，首个在 LLVM 级对 CUDA 内核自动插入同步屏障的通用框架，可处理数据竞争、屏障分歧与冗余屏障。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 4/10引用 20编译与代码生成并发、并行与内存模型
P2 ZENO: A Type-based Optimization Framework for Zero Knowledge Neural Network Inference
ZENO：面向零知识神经网络推理的基于类型的优化框架
提出基于类型的优化框架 ZENO，通过隐私/张量类型驱动与系统优化加速零知识神经网络推理，最高提升 8.5 倍。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 4/10引用 18安全与隐私编译与代码生成
P2 Optimal Kernel Orchestration for Tensor Programs with Korch
Korch：面向张量程序的最优内核编排
Korch 用算子分裂暴露细粒度优化空间，并将内核编排形式化为二元线性规划问题求解最优策略。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 4/10引用 17编译与代码生成机器学习与程序语言
P2 Rustlantis: Randomized Differential Testing of the Rust Compiler
Rustlantis：Rust 编译器的随机差分测试
首个面向 Rust 编译器正确性的 fuzzer，通过生成 MIR 程序做差分测试，发现 22 个新缺陷。
OOPSLA 8(OOPSLA2)2024匹配度 4/10引用 17测试、调试与修复编译与代码生成
P2 Fast and Optimal Extraction for Sparse Equality Graphs
稀疏等式图（e-graph）的快速最优提取
针对 e-graph 提取的 NP 难与不可近似性，提出稀疏低树宽 e-graph 的最优提取参数化算法及 Rust 实现。
OOPSLA 8(OOPSLA2)2024匹配度 4/10引用 17编译与代码生成
P2 EVT: Accelerating Deep Learning Training with Epilogue Visitor Tree
EVT：用 Epilogue Visitor Tree 加速深度学习训练
提出 EVT 编译器，用图级融合优化与 ILP 分区自动生成灵活 epilogue，加速深度学习训练 1.26~3.1 倍。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 4/10引用 16编译与代码生成机器学习与程序语言
P2 ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
ADEV：概率程序期望值的健全自动微分
提出 ADEV，将前向自动微分扩展到概率程序，使变换后程序的期望值等于原程序期望的梯度。
POPL 7(POPL)2023匹配度 4/10引用 16量子与概率编程编译与代码生成
P2 Search-Based LLMs for Code Optimization
面向代码优化的基于搜索的大语言模型
提出 SBLLM，将 LLM 与进化搜索结合，通过迭代精化与优化模式检索自动提升代码执行效率。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10引用 15机器学习与程序语言编译与代码生成
P2 Evaluating the Effectiveness of Decompilers
评估反编译器的有效性
系统评测主流反编译器的语义一致性与可读性，揭示其准确率与代码可读性缺陷，并指出改进方向。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 4/10引用 14编译与代码生成编程环境与开发者工具
P2 Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
程序重条件化（Program Reconditioning）：在发现与缩减编译器缺陷时避免未定义行为
提出程序重条件化，使含未定义行为且无检测工具的语言也能做程序生成、差分测试与用例缩减，在 GLSL/WGSL 编译器中发现 57 个缺陷。
PLDI 7(PLDI)2023匹配度 4/10引用 14测试、调试与修复编译与代码生成
P2 Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis
基于操作依赖分析的 MLIR 编译器基础设施模糊测试
利用操作依赖图与依赖覆盖引导变异，提升 MLIR 编译器模糊测试效果并发现 63 个新缺陷。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 4/10引用 12测试、调试与修复编译与代码生成
P2 The road not taken: exploring alias analysis based optimizations missed by the compiler
未选择的路：探索被编译器错过的基于别名分析的优化
提出 Scout，通过约束分配大小与对齐实现单次内存访问的运行时指针消歧，解锁被编译器错过的循环优化。
OOPSLA 6(OOPSLA2)2022匹配度 4/10引用 12编译与代码生成运行时与内存管理
P2 Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
索引流：融合收缩程序的形式化中间表示
提出索引流：统一稀疏张量与关系代数融合收缩执行的形式化中间表示，证明正确性且性能可比专用系统。
PLDI 7(PLDI)2023匹配度 4/10引用 11编译与代码生成形式语义领域特定语言与建模
P2 Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
内联汇编的接口合规性：自动检查、补丁与精化
提出首个自动形式化检查 GNU 内联汇编接口合规性的技术 RUSTInA，并能为部分问题生成经过证明的补丁与精化。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 4/10引用 9程序验证编译与代码生成
P2 Flan: An Expressive and Efficient Datalog Compiler for Program Analysis
Flan：面向程序分析的高表达力高效 Datalog 编译器
提出嵌入 Scala 的 Datalog 编译器 Flan，用多阶段编程生成专用代码，兼顾表达力与性能。
POPL 8(POPL)2024匹配度 4/10引用 9逻辑与约束编程编译与代码生成
P2 PureCake: A Verified Compiler for a Lazy Functional Language
PureCake：一个经验证的惰性函数式语言编译器
首个端到端机器验证的惰性函数式语言编译器，将 PureLang 编译到机器码并在 HOL4 中完成正确性证明。
PLDI 7(PLDI)2023匹配度 4/10引用 7编译与代码生成定理证明与证明工程
P2 RECom: A Compiler Approach to Accelerating Recommendation Model Inference with Massive Embedding Columns
RECom：一种用编译器加速海量嵌入列推荐模型推理的方法
首个面向 GPU 的 ML 编译器，将海量嵌入列融合为单内核并做符号化形状与子图优化，显著加速推荐模型推理。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 42023匹配度 4/10引用 6编译与代码生成机器学习与程序语言领域特定语言与建模
P2 Simplifying dependent reductions in the polyhedral model
简化多面体模型中的依赖归约
将多面体模型中的依赖归约优化形式化为整数双线性规划，并提出保持依赖的启发式算法。
POPL 5(POPL)2021匹配度 4/10引用 6编译与代码生成
P2 Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
Lobster：面向神经符号编程的 GPU 加速框架
提出 Lobster，将基于 Datalog 的神经符号程序编译到 GPU，实现端到端加速与可扩展推理。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 4/10引用 5机器学习与程序语言逻辑与约束编程编译与代码生成
P2 Compiling with Abstract Interpretation
用抽象解释进行编译
将抽象解释器转化为编译器，把编译 pass 对应为函子域，并用 SSA 抽象域提升分析精度。
PLDI 8(PLDI)2024匹配度 4/10引用 5程序分析与抽象解释编译与代码生成
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 Voyager: Input-Adaptive Algebraic Transformations for High-Performance Graph Neural Networks
Voyager：面向高性能图神经网络的输入自适应代数变换
提出输入自适应 GNN 编译器 Voyager，动态生成评估代数变换并运行时选择，GPU 上平均加速 3.5 倍。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32025匹配度 4/10引用 4编译与代码生成机器学习与程序语言
P2 Bridging Gaps in LLM Code Translation: Reducing Errors with Call Graphs and Bridged Debuggers
弥合 LLM 代码翻译中的鸿沟：用调用图与桥接调试器减少错误
提出 TransGraph：借调用图与桥接调试器增强 LLM 代码翻译，显著降低编译与运行时错误。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 4/10引用 4机器学习与程序语言编译与代码生成
P2 Predicting Compilation Resources for Adaptive Build in an Industrial Setting
在工业环境中预测编译资源以实现自适应构建
提出 PCRLINEAR，预测 C++ 文件编译所需内存与时间，使分布式构建系统能自适应调度编译资源。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 4/10引用 4机器学习与程序语言编译与代码生成
P2 IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis
IncIDFA：一种高效通用的增量迭代数据流分析算法
提出通用增量算法 IncIDFA，可精确高效地增量更新任意单调迭代数据流分析。
OOPSLA 9(OOPSLA1)2025匹配度 4/10引用 4程序分析与抽象解释编译与代码生成
P2 Using AI to Automate the Modernization of Legacy Software Applications
使用AI自动化遗留软件应用的现代化
提案用AI自动化遗留软件现代化，涵盖单体转微服务、C到Rust翻译及缺陷检测。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 4/10引用 3机器学习与程序语言编译与代码生成
P2 Tuning LLM-based Code Optimization via Meta-Prompting: An Industrial Perspective
基于元提示调优LLM代码优化：工业视角
提出Mpco框架，用元提示自动生成跨LLM的代码优化提示，在五个真实代码库上实现最高19.06%的性能提升。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10引用 2机器学习与程序语言编译与代码生成
P2 LLSC: a parallel symbolic execution compiler for LLVM IR
LLSC：面向 LLVM IR 的并行符号执行编译器
提出 LLSC，首个能为基于 fork 的符号执行语义生成并行执行代码的 LLVM IR 编译器。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 4/10引用 2程序分析与抽象解释编译与代码生成
P2 A Verified Compiler for a Functional Tensor Language
函数式张量语言的已验证编译器
为函数式张量语言 ATL 的降级算法提供形式化正确性证明，并用新类型系统修复截断 reshape 的可靠性缺陷。
PLDI 8(PLDI)2024匹配度 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 RustRepoTrans: Repository-level Context Code Translation Benchmark Targeting Rust
RustRepoTrans：面向 Rust 的仓库级上下文代码翻译基准
提出首个面向 Rust 的仓库级上下文增量代码翻译基准 RustRepoTrans，含 375 个任务与细粒度评测框架。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10引用 1机器学习与程序语言编译与代码生成
P2 UFront: Toward A Unified MLIR Frontend for Deep Learning
UFront：面向深度学习的统一 MLIR 前端
提出两阶段算子到算子编译流程的统一 MLIR 前端，兼容多框架模型并提升编译与执行效率。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 4/10引用 1编译与代码生成机器学习与程序语言
P2 Towards automatic restrictification of CUDA kernel arguments
迈向 CUDA kernel 参数的自动 restrict 标注
提出静态分析工具，在 CUDA kernel 调用点判定实参无别名后克隆 kernel，并自动为其参数添加 restrict 关键字。
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 4/10引用 1程序分析与抽象解释编译与代码生成
P2 Decompiling for Constant-Time Analysis
面向常数时间分析的反编译
揭示反编译与分析变换会消除CT违规，提出CT透明性并构建CT-RetDec验证工具。
OOPSLA 10(OOPSLA1)2026匹配度 4/10引用 1安全与隐私程序验证编译与代码生成
P2 MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age
MimIR：面向 DSL 时代的可扩展且类型安全的中间表示
提出以纯类型系统为核心的可扩展高阶中间表示 MimIR，让开发者以插件形式声明并优化领域特定操作。
POPL 9(POPL)2025匹配度 4/10引用 1领域特定语言与建模编译与代码生成
P2 Relaxing Alias Analysis: Exploring the Unexplored Space
放宽别名分析：探索尚未探索的空间
反向研究别名分析：系统性移除（而非精化）别名信息，发现其在 LLVM 中影响甚微，仅少数查询真正关键。
PLDI 9(PLDI)2025匹配度 4/10引用 1程序分析与抽象解释编译与代码生成
P2 Towards Reliable C-to-Rust Translation with Rule-Guided Reasoning and Reinforcement Learning
面向可靠 C-to-Rust 翻译的规则引导推理与强化学习
提出 TRAVEL，用规则引导 MCTS 推理与强化学习提升 LLM 的 C-to-Rust 翻译正确性。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 4/10机器学习与程序语言编译与代码生成
P2 BackSmith: A Systematic Approach to Testing Compiler Backends
BackSmith：一种系统化的编译器后端测试方法
提出黑盒编译器后端测试方法 BackSmith，通过生成后端导向、抗优化和稀有汇编程序，在 GCC/LLVM 后端发现 104 个新缺陷。
OOPSLA 10(OOPSLA2)2026匹配度 4/10测试、调试与修复编译与代码生成
P2 Detection of Optimization-introduced Bugs in C Compilers
C 编译器中优化引入缺陷的检测
研究 C 编译器优化引入缺陷的检测，计划通过大规模缺陷分析与优化导向 fuzzing 提升测试可靠性。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 4/10测试、调试与修复编译与代码生成
P2 Technical Optimizations on Textbook-Efficient Code with LLMs
使用LLM对教科书级高效代码进行技术优化
研究LLM对教科书级高效代码的技术优化，发现功能保持输出中34%有非平凡加速，但也伴随失败与回退。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 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 <scp>λ-trim:</scp> Optimizing Function Initialization in Serverless Applications With Cost-driven Debloating
λ-trim：以成本驱动的去膨胀优化无服务器应用中的函数初始化
λ-trim 用静态分析、计费感知性能分析与去膨胀，按成本优先级消除冗余代码以优化无服务器冷启动。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32025匹配度 4/10程序分析与抽象解释编译与代码生成
P2 Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment
依赖引导的仓库级 C 到 Rust 翻译与强化对齐
提出 DepTrans，用强化对齐训练与依赖引导迭代精化实现仓库级 C 到 Rust 翻译。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 4/10机器学习与程序语言编译与代码生成
P2 Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
使用分阶段分组与去幻觉增强 LLM 以进行头文件分解
提出 HFDecomposer，用两阶段分组与去幻觉增强 LLM，实现大型头文件的准确可靠分解。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10机器学习与程序语言编译与代码生成
P2 Training Large Language Models to Comprehend LLVM IR via Feedback-Driven Optimization
通过反馈驱动的优化训练大语言模型理解 LLVM IR
提出融合多种编译器优化反馈（静态监督与基于偏好的交互式精炼）来训练 LLM 理解并优化 LLVM IR 的框架。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 4/10机器学习与程序语言编译与代码生成
P2 Enhancing Deep Learning Transpilation with LLMs: Automation and Semantic Consistency
利用LLM增强深度学习转译：自动化与语义一致性
提出用LLM增强深度学习框架间转译，以自动化处理算子语义不一致并提升转换一致性。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 4/10机器学习与程序语言编译与代码生成
P2 SSA without Dominance for Higher-Order Programs
面向高阶程序的无需支配关系的 SSA
提出以自由变量为基础、用 φ 函数和函数参数直接表达数据依赖的 SSA 新基础，摆脱支配关系并支持高阶程序。
PLDI 10(PLDI)2026匹配度 4/10编译与代码生成程序分析与抽象解释
P2 Two Approaches to Fast Bytecode Frontend for Static Analysis
面向静态分析的快速字节码前端的两种方法
提出模式感知的三地址码翻译与剪枝式类型推断，构建高效且可靠的 Java 字节码前端。
OOPSLA 9(OOPSLA2)2025匹配度 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 egg: Fast and extensible equality saturation
egg：快速且可扩展的等式饱和
提出 rebuilding 与 e-class analyses 两项技术，使 e-graph 在等式饱和场景下兼具高性能与可扩展性，并实现开源库 egg。
POPL 5(POPL)2021匹配度 3/10引用 167编译与代码生成程序合成
P2 Gigahorse: Thorough, Declarative Decompilation of Smart Contracts
Gigahorse：智能合约的彻底、声明式反编译
提出 Gigahorse 工具链，以声明式逻辑规范将 EVM 字节码反编译为高层三地址 IR，支持智能合约分析。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 3/10引用 166编译与代码生成逻辑与约束编程
P2 Breaking the computation and communication abstraction barrier in distributed machine learning workloads
在分布式机器学习工作负载中打破计算与通信的抽象壁垒
提出 CoCoNet，用 DSL、语义保持变换与编译器联合优化分布式机器学习中的计算与通信 GPU 内核。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 3/10引用 125领域特定语言与建模编译与代码生成机器学习与程序语言
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 Efficient Compiler Autotuning via Bayesian Optimization
基于贝叶斯优化的高效编译器自动调优
提出 BOCA，首个基于贝叶斯优化的编译器自动调优方法，高效搜索优化 flag 组合。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 101编译与代码生成
P2 AStitch: enabling a new multi-dimensional optimization space for memory-intensive ML training and inference on modern SIMT architectures
AStitch：为现代 SIMT 架构上内存密集型的机器学习训练与推理开启新的多维优化空间
提出 AStitch 编译器，通过四种算子缝合方案、层次化数据复用与自适应线程映射，在多维空间优化内存密集型 ML 计算。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 3/10引用 96编译与代码生成机器学习与程序语言
P2 DIRE: A Neural Approach to Decompiled Identifier Naming
DIRE：一种用于反编译标识符命名的神经方法
提出 DIRE，用神经概率技术结合反编译所得词法与结构信息恢复变量名，最高 74.3% 与原源码一致。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 3/10引用 93机器学习与程序语言编译与代码生成
P2 SparseTIR: Composable Abstractions for Sparse Compilation in Deep Learning
SparseTIR：面向深度学习的可组合稀疏编译抽象
提出 SparseTIR，用可组合稀疏格式与变换构建搜索空间，提升深度学习稀疏算子编译性能。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 3/10引用 86编译与代码生成机器学习与程序语言
P2 TRIMMER: application specialization for code debloating
TRIMMER：面向代码去膨胀的应用特化
提出 Trimmer，利用配置数据与更强分析将应用特化到部署上下文，去除未用功能并减小代码体积与攻击面。
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 3/10引用 85编译与代码生成安全与隐私
P2 TensorIR: An Abstraction for Automatic Tensorized Program Optimization
TensorIR：面向自动张量化程序优化的抽象
提出 TensorIR，将张量计算作为一等公民的编译器抽象，支持自动张量化优化，性能媲美手工优化系统。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 3/10引用 76编译与代码生成机器学习与程序语言
P2 Orion: A Fully Homomorphic Encryption Framework for Deep Learning
Orion：面向深度学习的全同态加密框架
提出 Orion 全自动 FHE 框架，将 PyTorch 深度网络编译为高效同态加密程序，实现隐私神经推理。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 3/10引用 72安全与隐私编译与代码生成机器学习与程序语言
P2 Egalito
Egalito：面向二进制的重编译器
Egalito 利用 stripped x86_64/ARM64 二进制元数据实现完整反汇编与无布局约束的二进制重编译。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 3/10引用 67编译与代码生成程序分析与抽象解释安全与隐私
P2 Automatically eliminating speculative leaks from cryptographic code with blade
Blade：自动消除密码代码中的推测性泄漏
提出 Blade，用类型系统与 protect 原语自动切断推测性秘密的数据流，消除密码代码中的推测泄漏。
POPL 5(POPL)2021匹配度 3/10引用 53安全与隐私类型系统编译与代码生成
P2 From Clarity to Efficiency for Distributed Algorithms
从清晰到高效：面向分布式算法
提出一种高层分布式算法语言及自动优化，将复杂同步条件转为增量更新，从而高效实现逻辑量化。
TOPLAS 39(3)2017匹配度 3/10引用 53分布式与容错编译与代码生成领域特定语言与建模
P2 Analytical characterization and design space exploration for optimization of CNNs
CNN 优化的解析刻画与设计空间探索
提出面向多核 CPU 上 CNN 循环级优化的解析建模方法，以高效搜索最优分块与循环置换配置。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 3/10引用 52编译与代码生成机器学习与程序语言
P2 Coverage-guided tensor compiler fuzzing with joint IR-pass mutation
覆盖率引导的联合 IR-Pass 变异张量编译器模糊测试
提出 Tzer，通过联合 IR 与 pass 变异和覆盖率反馈对 TVM 张量编译器进行模糊测试，发现 49 个新缺陷。
OOPSLA 6(OOPSLA1)2022匹配度 3/10引用 50测试、调试与修复编译与代码生成
P2 Astra
Astra：面向深度学习训练的编译与执行框架
提出Astra，利用深度学习训练的重复可预测性在线探索优化空间，动态定制执行，训练性能最高提升3倍。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 3/10引用 49机器学习与程序语言编译与代码生成
P2 JITfuzz: Coverage-guided Fuzzing for JVM Just-in-Time Compilers
JITfuzz：面向 JVM 即时编译器的覆盖率引导模糊测试
提出覆盖率引导的 JVM JIT 编译器模糊测试框架，通过优化激活变异与调度高效发现 JIT 缺陷。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 48测试、调试与修复编译与代码生成
P2 An abstract stack based approach to verified compositional compilation to machine code
一种基于抽象栈的经过验证的组合式编译到机器码的方法
为 CompCert 内存模型引入抽象栈与细粒度栈权限，实现完整验证编译链并支持上下文组合编译。
POPL 3(POPL)2019匹配度 3/10引用 48编译与代码生成程序验证
P2 Gas Estimation and Optimization for Smart Contracts on Ethereum
以太坊智能合约的 Gas 估计与优化
针对以太坊智能合约，研究循环函数的 Gas 估计与存储/数组的 Gas 优化，以降低 out-of-gas 风险与交易费。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 3/10引用 47程序分析与抽象解释编译与代码生成
P2 TLP: A Deep Learning-Based Cost Model for Tensor Program Tuning
TLP：一种基于深度学习的张量程序调优成本模型
提出 TLP，一种用于张量程序调优的深度学习成本模型，旨在缓解特征提取依赖专家知识和跨硬件不可用问题。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 3/10引用 41编译与代码生成机器学习与程序语言
P2 Formally verified speculation and deoptimization in a JIT compiler
JIT 编译器中形式化验证的推测与去优化
提出显式化去优化同步点与推测假设的 JIT 中间表示，并在证明助手中验证若干推测优化。
POPL 5(POPL)2021匹配度 3/10引用 39编译与代码生成定理证明与证明工程
P2 Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming
切入要点：pointful 数组编程的索引集与保持并行的自动微分
提出将数组视为类型化索引集上的函数，并用类型化效应支持可自动并行化原地更新及保持并行的反向自动微分。
ICFP 5(ICFP)2021匹配度 3/10引用 39语言设计与特性类型系统编译与代码生成
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 SugarC
SugarC：将真实世界 C 预处理器去糖为纯 C
设计并实现 SugarC，将真实 C 预处理器的编译期可变性去糖为纯 C 的运行时可变性，并同步类型检查。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 3/10引用 36编译与代码生成语言设计与特性
P2 The next 700 compiler correctness theorems (functional pearl)
接下来的 700 个编译器正确性定理（函数式珍珠）
提出统一框架，在存在链接的情况下理解、比较并评估各类编译器正确性定理。
ICFP 3(ICFP)2019匹配度 3/10引用 36编译与代码生成程序验证
P2 Domain specific run time optimization for software data planes
面向软件数据平面的领域特定运行时优化
提出Morpheus，在运行时跟踪控制平面与流量动态，对软件数据平面代码做领域特定优化，吞吐最高提升2倍、99分位延迟减半。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 3/10引用 35编译与代码生成
P2 A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
面向简洁高效全同态加密的自动数据打包张量编译器
提出 Fhelipe 张量编译器，用自动数据打包为全同态加密程序选择并优化张量布局，兼顾易用与性能。
PLDI 8(PLDI)2024匹配度 3/10引用 34编译与代码生成安全与隐私
P2 Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
不要写，而是返回：在 C 到 Rust 翻译中用代数数据类型替换输出参数
提出基于抽象解释的静态分析技术，在 C 到 Rust 翻译中识别并消除输出参数，改用元组与 Option/Result 等代数数据类型返回。
PLDI 8(PLDI)2024匹配度 3/10引用 34程序分析与抽象解释编译与代码生成
P2 Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs
Concrat：面向并发程序的自动 C-to-Rust 锁 API 翻译器
提出自动工具 Concrat，将并发 C 程序的锁 API 转换为 Rust 锁 API，由保持语义的代码转换器与精确锁摘要静态分析器组成。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 31程序分析与抽象解释编译与代码生成
P2 MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure
MLIRSmith：面向 MLIR 编译器基础设施模糊测试的随机程序生成
首个针对 MLIR 编译器基础设施的模糊测试技术，用两阶段策略生成有效多样的 MLIR 程序并发现 53 个新缺陷。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10引用 31测试、调试与修复编译与代码生成
P2 WACO: Learning Workload-Aware Co-optimization of the Format and Schedule of a Sparse Tensor Program
WACO：面向稀疏张量程序的格式与调度工作负载感知协同优化学习
用稀疏卷积网络与近似最近邻搜索协同优化稀疏张量程序的存储格式与调度。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 3/10引用 30编译与代码生成机器学习与程序语言
P2 Aliasing Limits on Translating C to Safe Rust
将 C 翻译为安全 Rust 的别名限制
研究 C 到安全 Rust 翻译中别名分析的限制，并提出编码更精确分析结果的方法，使安全指针引用提升 75%。
OOPSLA 7(OOPSLA1)2023匹配度 3/10引用 30编译与代码生成程序分析与抽象解释
P2 DeepDev-PERF: a deep learning-based approach for improving software performance
DeepDev-PERF：一种基于深度学习的软件性能改进方法
提出基于Transformer的DeepDev-PERF，在53%情况下为C#应用生成与开发者一致的性能优化补丁。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 25机器学习与程序语言编译与代码生成
P2 Felix: Optimizing Tensor Programs with Gradient Descent
Felix：用梯度下降优化张量程序
提出 Felix，将张量程序空间可微化并用梯度下降高效搜索高性能实现。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 3/10引用 24编译与代码生成机器学习与程序语言
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 Mechanized semantics and verified compilation for a dataflow synchronous language with reset
带重置的数据流同步语言的机器化语义与经过验证的编译
在 Coq 中为带 reset 原语的数据流同步语言扩展机器化语义，并证明其编译器各趟的正确性。
POPL 4(POPL)2019匹配度 3/10引用 22定理证明与证明工程编译与代码生成
P2 Detecting JVM JIT Compiler Bugs via Exploring Two-Dimensional Input Spaces
通过探索二维输入空间检测 JVM JIT 编译器缺陷
提出 JOpFuzzer，沿程序种子与优化选项两个维度引导模糊测试，有效检测 JVM JIT 编译器缺陷。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 21测试、调试与修复编译与代码生成
P2 Compiler Testing using Template Java Programs
使用模板 Java 程序进行编译器测试
JAttack 框架利用带 DSL 洞的模板 Java 程序随机生成测试输入，发现 JIT 编译器六个关键缺陷。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10引用 21测试、调试与修复编译与代码生成
P2 Plankton: Reconciling Binary Code and Debug Information
Plankton：调和二进制代码与调试信息
提出二进制提升器 Plankton 与两个新算法，从带调试信息的二进制生成高质量 LLVM IR，使静态分析无需编译介入。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 3/10引用 20编译与代码生成程序分析与抽象解释
P2 Type Migration in Ultra-Large-Scale Codebases
超大规模代码库中的类型迁移
用图表示加 MapReduce 实现可扩展至数亿行代码的类型迁移重构，98% 生成补丁被接受。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 3/10引用 19编译与代码生成程序分析与抽象解释
P2 Finding Unstable Code via Compiler-Driven Differential Testing
通过编译器驱动的差分测试发现不稳定代码
提出编译器驱动的差分测试，用于发现因未定义行为导致运行时语义不一致的不稳定代码。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 3/10引用 18测试、调试与修复编译与代码生成
P2 Concerto: Automatic Communication Optimization and Scheduling for Large-Scale Deep Learning
Concerto：面向大规模深度学习的自动通信优化与调度
提出 Concerto 编译器框架，将通信调度建模为资源受限项目调度问题并自动分解，实现大规模深度学习通信优化，无需手工调优。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 17编译与代码生成机器学习与程序语言
P2 Language-parametric compiler validation with application to LLVM
语言参数化的编译器验证及其在 LLVM 上的应用
提出语言参数化的程序等价性检查器 Keq，基于割双模拟，并用于 LLVM 指令选择翻译验证。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 3/10引用 17程序验证编译与代码生成
P2 Verified Extraction from Coq to OCaml
从 Coq 到 OCaml 的已验证提取
在 Coq 中实现并验证从 Coq 到 OCaml 的提取流水线，给出正确性定理与安全互操作保证。
PLDI 8(PLDI)2024匹配度 3/10引用 17编译与代码生成定理证明与证明工程
P2 Register Tiling for Unstructured Sparsity in Neural Network Inference
面向神经网络推理中非结构化稀疏的寄存器分块
提出稀疏寄存器分块，通过 unroll-and-sparse-jam 与数据压缩，为稀疏神经网络推理的 SpMM 内核提升寄存器复用并加速。
PLDI 7(PLDI)2023匹配度 3/10引用 17编译与代码生成机器学习与程序语言
P2 Verified compilation of Quantum oracles
经验证的量子 oracle 编译
提出 Coq 中实现的高保障框架 VQO，形式验证从 OQIMP 到 OQASM 再到 SQIR 的量子 oracle 编译器，并用 QFT 降低量子比特开销。
OOPSLA 6(OOPSLA2)2022匹配度 3/10引用 17量子与概率编程定理证明与证明工程编译与代码生成
P2 PartIR: Composing SPMD Partitioning Strategies for Machine Learning
PartIR：为机器学习组合 SPMD 分区策略
提出硬件/运行时无关的 PartIR，用可组合 SPMD 分片策略与增量 IR 重写实现可预测的神经网络分区。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 16机器学习与程序语言编译与代码生成
P2 MELT: Mining Effective Lightweight Transformations from Pull Requests
MELT：从 Pull Request 中挖掘有效的轻量级变换
提出 MELT，从开源库 Pull Request 中挖掘轻量级、可解释的 API 迁移转换规则，并泛化以更好迁移客户端代码。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10引用 16程序合成编译与代码生成
P2 Cakes That Bake Cakes: Dynamic Computation in CakeML
烤蛋糕的蛋糕：CakeML 中的动态计算
为已验证的 CakeML 编译器加入 Eval 原语，实现运行时代码求值与动态执行，并支持首个可验证的 LCF 风格定理证明器运行时环境。
PLDI 7(PLDI)2023匹配度 3/10引用 16定理证明与证明工程编译与代码生成
P2 Profile inference revisited
再探 Profile 推断
提出有理论保证的高效 Profile 推断算法，修正采样 Profile 并提升 PGO 生成代码性能。
POPL 6(POPL)2022匹配度 3/10引用 16编译与代码生成
P2 Preservation of Speculative Constant-Time by Compilation
编译对推测性常量时间（speculative constant-time）的保持
揭示主流编译器不保持推测性常量时间，并给出经 Coq 验证保持该性质的编译器原型与类型检查器修补方案。
POPL 9(POPL)2025匹配度 3/10引用 15安全与隐私编译与代码生成
P2 Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
精细输入，退化输出：编译器行为的反直觉世界
揭示编译器在获得更精确信息（死代码、值域）后反而生成更差代码，并自动化测试发现此类问题。
PLDI 8(PLDI)2024匹配度 3/10引用 15编译与代码生成测试、调试与修复
P2 Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection
面向 WebAssembly 到原生指令选择的轻量级模块化验证
提出 Crocus，对 Cranelift 中 WebAssembly 到 aarch64 的指令降级规则进行轻量级模块化验证，复现并发现多个编译器缺陷。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 3/10引用 13程序验证编译与代码生成
P2 INTERTRANS: Leveraging Transitive Intermediate Translations to Enhance LLM-Based Code Translation
INTERTRANS：利用传递式中间翻译增强基于 LLM 的代码翻译
提出 INTERTRANS，用 ToCT 算法规划并验证传递式中间翻译序列，显著提升开源 LLM 的代码翻译准确率。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 3/10引用 13机器学习与程序语言编译与代码生成
P2 Neural architecture search as program transformation exploration
将神经架构搜索视为程序变换探索
将神经架构搜索操作统一为基于表示容量合法性的程序变换，在 TVM 中联合优化 DNN 推理。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 3/10引用 13编译与代码生成机器学习与程序语言
P2 Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
面向非纯高阶语言的图中间表示：以精确效应依赖实现可负担的激进优化
提出结合可达性类型与效应系统的类型化图IR，为含副作用与高阶函数的语言提供精确依赖与廉价激进优化。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 13编译与代码生成类型系统
P2 CHAD: Combinatory Homomorphic Automatic Differentiation
CHAD：组合子同态自动微分
提出 CHAD，一种纯函数式、类型保持且可证明正确的前向/反向自动微分源到源变换方法。
TOPLAS 44(3)2022匹配度 3/10引用 13编译与代码生成函数式编程
P2 Isolation without taxation: near-zero-cost transitions for WebAssembly and SFI
无税隔离：WebAssembly 与 SFI 的近零成本转换
提出零成本转换条件，改造 Lucet Wasm 运行时并构建静态验证器 VeriZero，在保证 SFI 安全的同时消除上下文切换开销。
POPL 6(POPL)2022匹配度 3/10引用 13安全与隐私编译与代码生成程序验证
P2 UBFuzz: Finding Bugs in Sanitizer Implementations
UBFuzz：发现 Sanitizer 实现中的缺陷
提出差分测试框架 UBFuzz，用阴影语句插入生成 UB 程序并以崩溃点映射为判定器，检测 sanitizer 实现缺陷。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12024匹配度 3/10引用 12测试、调试与修复编译与代码生成
P2 Automated refactoring of nested-IF formulae in spreadsheets
电子表格中嵌套 IF 公式的自动重构
首次大规模揭示电子表格嵌套 IF 公式的普遍性，并提出基于 AST 去冗余与内置函数重组的自动重构方法。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10引用 12编译与代码生成编程环境与开发者工具
P2 HiPy: Extracting High-Level Semantics from Python Code for Data Processing
HiPy：从 Python 代码中提取高层语义以用于数据处理
将通用 Python 函数转换为程序生成器，执行时生成静态类型 IR，实现高层领域优化与高效 C++ 代码生成。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 12编译与代码生成
P2 PYE
PYE：精确且高效的两步（静态+JIT）分析框架
提出 PYE 两步分析框架，静态编译生成条件值、JIT 阶段解析条件，实现精确且低开销的运行时分析。
TOPLAS 41(3)2019匹配度 3/10引用 12编译与代码生成程序分析与抽象解释
P2 Compiling Parallel Symbolic Execution with Continuations
用续延编译并行符号执行
提出 Gensym，将符号执行任务编译为 CPS 风格的协作式并发，实现并行符号执行的优化编译器。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 11编译与代码生成程序分析与抽象解释
P2 To Tag, or Not to Tag: Translating C's Unions to Rust's Tagged Unions
标记还是不标记：将 C 的 union 翻译为 Rust 的 tagged union
提出静态分析技术，在 C 到 Rust 翻译中识别 tag 字段并将 C union 替换为 Rust 的 tagged union，以消除不安全特性。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10引用 11程序分析与抽象解释编译与代码生成
P2 SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
SuperStack：通过贪心、约束与 SAT 技术对栈字节码进行超优化
提出 SuperStack，用贪心、MaxSAT 与领域约束加速栈字节码超优化，找到更优等价指令序列。
PLDI 8(PLDI)2024匹配度 3/10引用 11程序合成编译与代码生成
P2 Kinds are calling conventions
Kind 即调用约定
提出一种新的中间语言，将调用约定编码在类型的 Kind 中，从而兼顾灵活多态与高效静态编译。
ICFP 4(ICFP)2020匹配度 3/10引用 11编译与代码生成类型系统
P2 Towards Understanding the Bugs in Solidity Compiler
理解 Solidity 编译器中的缺陷
首个系统研究533个Solidity编译器缺陷，并揭示现有模糊测试器的局限。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10引用 10编译与代码生成测试、调试与修复
P2 Automating Zero-Shot Patch Porting for Hard Forks
自动化硬分叉的零样本补丁移植
提出基于大语言模型的零样本补丁移植方法 PPatHF，通过代码精简与指令微调自动将 Vim 补丁移植到 Neovim。
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10引用 10机器学习与程序语言编译与代码生成
P2 Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules
完全可组合且充分的验证编译：开放模块间的直接精化
提出无需编译器内部假设的开放模块组合式验证编译，用Kripke内存关系建立直接精化并保证组合性与充分性。
POPL 8(POPL)2024匹配度 3/10引用 10程序验证编译与代码生成
P2 Hydra: Generalizing Peephole Optimizations with Program Synthesis
Hydra：用程序合成泛化窥孔优化
提出 Hydra，用程序合成自动将具体窥孔优化泛化为与位宽无关的通用重写规则，并生成可验证的 LLVM C++ 代码。
OOPSLA 8(OOPSLA1)2024匹配度 3/10引用 10程序合成编译与代码生成
P2 Falcon: A Scalable Analytical Cache Model
Falcon：一个可扩展的解析式缓存模型
提出首个可扩展的解析式缓存模型，通过分块计算避免 Presburger 求解器最坏复杂度，将大型仿射程序分析从数小时降至秒级。
PLDI 8(PLDI)2024匹配度 3/10引用 10编译与代码生成程序分析与抽象解释
P2 Compiling Structured Tensor Algebra
编译结构化张量代数
提出 StructTensor，在编译期符号化计算张量结构，并用 STUR 统一表示稀疏与冗余结构，优化密集与稀疏张量代数性能。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 10编译与代码生成
P2 Lower your guards: a compositional pattern-match coverage checker
Lower your guards：一个组合式的模式匹配覆盖检查器
提出 Lower Your Guards 算法，将模式匹配归约为守卫树，简化覆盖检查，并在 GHC 中实现，提升准确性和性能。
ICFP 4(ICFP)2020匹配度 3/10引用 10语言设计与特性编译与代码生成
P2 SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
SNIP：编译器变换中的推测执行与非干扰保持
提出基于新型模拟关系的证明方法，统一保证编译器变换在推测语义下保持非干扰，并修复寄存器分配引入的安全缺陷。
POPL 9(POPL)2025匹配度 3/10引用 9安全与隐私编译与代码生成
P2 Guided Equality Saturation
引导式等式饱和
提出引导式等式饱和，将复杂重写拆成经人工中间引导连接的自动等式饱和步骤，提升可扩展性。
POPL 8(POPL)2024匹配度 3/10引用 9定理证明与证明工程编译与代码生成
P2 The Bounded Pathwidth of Control-Flow Graphs
控制流图的有界路径宽度
证明结构化程序控制流图具有有界路径宽度，并给出线性时间路径分解及更快的寄存器分配算法。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 9编译与代码生成程序分析与抽象解释
P2 From high-level inference algorithms to efficient code
从高层推断算法到高效代码
提出编译方法，将含数组隐变量与共轭似然的高层概率推断程序转换为高效代码。
ICFP 3(ICFP)2019匹配度 3/10引用 9量子与概率编程编译与代码生成
P2 Linear Layouts: Robust Code Generation of Efficient Tensor Computation Using F_2
线性布局：使用 F_2 实现高效张量计算的鲁棒代码生成
用 F_2 上的线性代数统一建模张量布局，实现通用布局转换并集成到 Triton，提升代码生成效率与鲁棒性。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 8编译与代码生成机器学习与程序语言
P2 Pruner: A Draft-then-Verify Exploration Mechanism to Accelerate Tensor Program Tuning
Pruner：一种加速张量程序调优的“先草拟后验证”探索机制
提出 Pruner 与 MoA-Pruner，以草拟-验证和在线适应机制加速张量程序调度搜索。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 3/10引用 8编译与代码生成机器学习与程序语言
P2 SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis
SIRO：借助程序合成实现中间表示的版本兼容
提出 Siro，用分治骨架与程序合成自动生成 LLVM IR 版本翻译器，并成功辅助静态分析与 fuzzing。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 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 Space-Efficient TREC for Enabling Deep Learning on Microcontrollers
空间高效的 TREC：在微控制器上实现深度学习
提出空间高效的 TREC 优化，使 DNN 在微控制器上通过计算复用减少计算并保持精度。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32023匹配度 3/10引用 8机器学习与程序语言编译与代码生成
P2 AtoMig: Automatically Migrating Millions Lines of Code from TSO to WMM
AtoMig：自动将百万行代码从 TSO 迁移到 WMM
提出 AtoMig，自动为百万行级 x86 TSO 代码迁移到 WMM 插入所需同步，避免依赖人工专家。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 3/10引用 8并发、并行与内存模型编译与代码生成
P2 Incremental CFG patching for binary rewriting
面向二进制重写的增量式 CFG 补丁
提出增量式 CFG 补丁方法，力图兼顾二进制重写的高可靠性与低运行时开销。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 3/10引用 8编译与代码生成程序分析与抽象解释