paperbot · PL 论文追踪

全部论文 待读 收藏

标签：程序合成（共 372 篇，按优先级展示前 200）

P0 Towards a Compiler for Reals
面向实数的编译器
提出源到源编译器Rosa，可根据误差规约将实数程序自动合成浮点或定点代码，并统一估计舍入误差。
TOPLAS 39(2)2017匹配度 8/10引用 104程序合成程序分析与抽象解释
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 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
3DGen：AI 辅助生成可证明正确的二进制格式解析器
提出 3DGen，用 AI 智能体将 RFC 与示例转成 3D 规约，并综合出可证明正确的 C 解析器。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 8/10引用 3机器学习与程序语言程序合成领域特定语言与建模
P0 LLM-Assisted Synthesis of High-Assurance C Programs
LLM 辅助的高保障 C 程序合成
提出 SynVer，用两个 LLM 分别合成 C 程序候选并生成 Rocq/VST 正确性证明，实现高保障 C 程序合成。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 8/10引用 2程序合成程序验证机器学习与程序语言
P1 Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
自动化程序精化：用精化演算引导并验证代码大语言模型
提出 Refine4LLM，用精化演算自动引导并验证 LLM 生成代码，在保证正确性的同时提升自动化程度。
POPL 9(POPL)2025匹配度 7/10引用 18机器学习与程序语言程序合成
P1 Synthesizing Precise Static Analyzers for Automatic Differentiation
为自动微分合成精确的静态分析器
提出 Pasado，通过直接合成自动微分链式、乘积和商法则复合表达式的抽象变换器，获得比组合标准变换器更精确且可靠的静态分析器。
OOPSLA 7(OOPSLA2)2023匹配度 7/10引用 8程序分析与抽象解释程序合成
P1 Certified Program Synthesis with a Multi-modal Verifier
基于多模态验证器的可认证程序合成
提出基于 Lean 多模态验证器 Velvet 的分阶段 agent 流水线 LeetProof，实现从自然语言到程序、规格与机器可检验证明的可认证合成。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 7/10引用 4程序合成机器学习与程序语言
P1 Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming
迈向 SMT 辅助的证明导向编程的神经合成
构建 60 万行 F* 程序与证明数据集，并探索用微调小模型和检索增强进行类型导向的程序与证明合成。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 7/10引用 4机器学习与程序语言程序合成
P1 Expecto: Extracting Formal Specifications from Natural Language Description for Trustworthy Oracles
Expecto：从自然语言描述中抽取形式化规约以构建可信赖的 Oracle
Expecto 用神经符号方法从自然语言意图中自顶向下模块化合成 DSL 形式规约，作为可信赖的规约预言机。
PLDI 10(PLDI)2026匹配度 7/10程序合成机器学习与程序语言
P1 Bayesian synthesis of probabilistic programs for automatic data modeling
面向自动数据建模的概率程序的贝叶斯合成
提出概率程序的贝叶斯合成框架，从观测数据自动构造数据建模 DSL 程序并保证其可靠性。
POPL 3(POPL)2019匹配度 6/10引用 28量子与概率编程程序合成
P1 ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models
ChopChop：一个对语言模型输出进行语义约束的可编程框架
提出首个可编程框架 ChopChop，通过对程序前缀的可实现性做共归纳分析，对语言模型生成施加语义约束。
POPL 10(POPL)2026匹配度 6/10引用 17机器学习与程序语言程序合成
P1 RACE-Bench: A Reasoning-Augmented Benchmark for Repository-Level Code Agents on Feature Addition
RACE-Bench：面向仓库级代码智能体特性添加任务的推理增强基准
提出 RACE-Bench，用可执行补丁验证与结构化中间推理轨迹双重评估仓库级代码智能体的特性添加能力。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 6/10引用 2机器学习与程序语言程序合成
P1 A Bayesian Framework for Automated Debugging
自动化调试的贝叶斯框架
提出统一刻画故障定位与自动程序修复的贝叶斯框架，并据此实现利用程序中间值的补丁排序技术 BAPP。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 6/10引用 1测试、调试与修复程序合成
P1 Jigsaw
Jigsaw
提出 Jigsaw，用程序分析与合成后处理增强大语言模型，实现基于多模态意图的 Pandas API 代码合成。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 5/10引用 141机器学习与程序语言程序合成
P1 Data-Driven Synthesis of Provably Sound Side Channel Analyses
数据驱动的可证可靠侧信道分析合成
提出数据驱动方法自动合成可证可靠的侧信道静态分析器，并用查询包含检查保证规则可靠性。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 5/10引用 24程序合成安全与隐私
P1 Doc2Feat-Bench: Evaluating Documentation-Driven Feature Addition
Doc2Feat-Bench：评估文档驱动的功能添加
提出文档驱动功能添加基准 Doc2Feat-Bench，含 634 个真实任务与人工校验子集，最佳智能体成功率仅 37.72%。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 5/10引用 22机器学习与程序语言程序合成
P1 Learning to Synthesize Relational Invariants
学习合成关系不变式
用 SyGuS 生成候选、SMT 验证器过滤，并借助逻辑推理剪枝与强化学习排序，高效合成关系不变式。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 5/10引用 10程序合成程序验证机器学习与程序语言
P1 Data-driven lemma synthesis for interactive proofs
面向交互式证明的数据驱动引理合成
提出数据驱动的引理合成方法，将交互式证明中的辅助引理生成归约为程序合成，并实现为 Coq 策略 lfind。
OOPSLA 6(OOPSLA2)2022匹配度 5/10引用 8定理证明与证明工程程序合成
P1 Synthesizing code quality rules from examples
从示例合成代码质量规则
提出 RhoSynth，利用开发者代码变更示例自动合成一阶逻辑代码质量规则，并部署于 Amazon CodeGuru Reviewer。
OOPSLA 6(OOPSLA2)2022匹配度 5/10引用 8程序合成程序分析与抽象解释
P1 AI-assisted programming: applications, user experiences, and neuro-symbolic techniques (keynote)
AI 辅助编程：应用、用户体验与神经符号技术（主题演讲）
面向不同水平编程者的 AI 辅助编程：从显式/隐式意图表达到神经符号技术。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 5/10引用 6机器学习与程序语言程序合成
P1 Guided Tensor Lifting
引导式张量提升
提出结合枚举合成与大语言模型的程序提升方法，自动学习概率文法启发式，将遗留代码提升到机器学习 DSL。
PLDI 9(PLDI)2025匹配度 5/10引用 4程序合成机器学习与程序语言
P1 Code Transformation Rule Synthesis using LLMs: Potential and Limits
使用 LLM 合成代码转换规则：潜力与局限
实证研究 LLM 能否为三种转换规则 DSL 合成正确、可泛化、可复用的代码转换规则，并揭示其能力边界。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 5/10引用 1机器学习与程序语言程序合成
P1 Distance-Guided Search in Program Synthesis with Imperfect LLM Solutions
不完美 LLM 解引导的距离导向搜索程序合成
提出距离引导搜索，用不完美的 LLM 生成程序启发自顶向下与自底向上合成，提升程序合成的可扩展性。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10引用 1程序合成机器学习与程序语言
P1 Lightweight Concolic Testing via Path-Condition Synthesis for Deep Learning Libraries
通过路径条件合成对深度学习库进行轻量级混合执行测试
提出首个面向深度学习库的轻量级混合执行测试技术，用归纳合成近似路径条件以提升分支覆盖与缺陷检测。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 5/10引用 1测试、调试与修复程序合成
P1 Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Nice to Meet You：合成实用的 MLIR 抽象转换器
提出 NiceToMeetYou 框架，无需 sketch 地合成 MLIR 中实用、可证可靠的整数抽象转换器。
POPL 10(POPL)2026匹配度 5/10引用 1程序合成程序分析与抽象解释
P1 From Syntactic Mimicry to Semantic Correctness: Behavioral Understanding in LLM Code Generation
从语法模仿到语义正确：LLM 代码生成中的行为理解
提出以行为理解为核心的 LLM 代码生成框架，通过使用模式检索、跨语境实践迁移与语义属性约束提升生成正确性。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 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 Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks
面向长时程机器人任务的神经符号分层学习
提出闭环反例引导合成框架，融合LLM规划、SMT验证与可微行为树合成，实现长时程机器人神经符号策略学习。
PLDI 10(PLDI)2026匹配度 5/10机器学习与程序语言程序合成
P1 Random Variate Generation with Formal Guarantees
具有形式化保证的随机变量生成
提出从有限精度 CDF 数值程序自动合成精确随机变量生成器的方法，兼具形式化保证与熵最优性。
PLDI 9(PLDI)2025匹配度 5/10量子与概率编程程序合成
P1 Automated Discovery of Tactic Libraries for Interactive Theorem Proving
交互式定理证明中战术库的自动发现
提出战术依赖图（TDG）驱动的战术发现方法，自动学习可复用战术并将证明重构得更模块化。
OOPSLA 9(OOPSLA2)2025匹配度 5/10定理证明与证明工程程序合成
P2 RepairAgent: An Autonomous, LLM-Based Agent for Program Repair
RepairAgent：面向程序修复的自主 LLM 智能体
首个基于 LLM 自主智能体的程序修复方法，在 Defects4J 上自主修复 164 个缺陷。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10引用 88程序合成机器学习与程序语言测试、调试与修复
P2 Phoenix: automated data-driven synthesis of repairs for static analysis violations
Phoenix：面向静态分析违规的自动化数据驱动修复合成
通过从GitHub挖掘补丁并学习DSL修复策略，自动为静态分析违规合成高质量补丁，无需测试套件。
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 4/10引用 58程序合成测试、调试与修复
P2 Natural Language to Code: How Far Are We?
自然语言到代码：我们还有多远？
通过大规模实证评估自然语言到代码技术，揭示其效果、互补性并提出自动集成策略。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 4/10引用 38机器学习与程序语言程序合成
P2 NeuRI: Diversifying DNN Generation via Inductive Rule Inference
NeuRI：通过归纳规则推断多样化 DNN 生成
提出 NeuRI，利用归纳程序合成从 API 轨迹推断约束，生成多样化 DNN 模型以模糊测试深度学习系统。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 4/10引用 37程序合成测试、调试与修复机器学习与程序语言
P2 Sound Loop Superoptimization for Google Native Client
Google Native Client 的健全循环超优化
提出健全的循环超优化架构，用完全健全验证与有界验证指导搜索，显著提升 NaCl libc 性能。
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 4/10引用 32程序合成程序验证
P2 Automated transpilation of imperative to functional code using neural-guided program synthesis
使用神经引导程序合成自动将命令式代码转译为函数式代码
提出基于归纳程序合成与神经引导的命令式到函数式 API 代码转译方法，工具 NGST2 显著优于多个基线。
OOPSLA 6(OOPSLA1)2022匹配度 4/10引用 27程序合成机器学习与程序语言
P2 Minotaur: A SIMD-Oriented Synthesizing Superoptimizer
Minotaur：面向 SIMD 的合成超优化器
用程序合成与形式验证为 LLVM 搜索整数/浮点 SIMD 优化，获得实际加速。
OOPSLA 8(OOPSLA2)2024匹配度 4/10引用 22程序合成编译与代码生成程序验证
P2 Synthesizing abstract transformers
合成抽象变换器
将抽象变换器的构造视为程序合成问题，可自动生成最精确的抽象变换器，并已在 AMURTH 中实现。
OOPSLA 6(OOPSLA2)2022匹配度 4/10引用 20程序分析与抽象解释程序合成
P2 Solving Infinite-State Games via Acceleration
通过加速求解无限状态博弈
提出首个带加速技术的无限状态博弈符号半算法，避免传统不动点求解发散并提升求解能力。
POPL 8(POPL)2024匹配度 4/10引用 14逻辑与自动机程序合成
P2 Programming-by-Demonstration for Long-Horizon Robot Tasks
面向长时程机器人任务的示教编程
提出面向长时程机器人任务的程序化示教学习算法，先学程序草图，再用 LLM 引导搜索补全并判定不可实现性。
POPL 8(POPL)2024匹配度 4/10引用 11程序合成机器学习与程序语言
P2 Search-Based Regular Expression Inference on a GPU
GPU 上基于搜索的正则表达式推断
提出正则表达式推断的枚举算法，以位向量矩阵紧凑编码搜索空间，并实现 CPU/GPU 版本，GPU 在困难基准上平均加速超千倍。
PLDI 7(PLDI)2023匹配度 4/10引用 11程序合成
P2 Model-guided synthesis of inductive lemmas for FOL with least fixpoints
面向带最小不动点一阶逻辑的模型引导归纳引理合成
提出用有限一阶模型作为反例引导，合成带最小不动点一阶逻辑中的归纳引理以证明公式有效性。
OOPSLA 6(OOPSLA2)2022匹配度 4/10引用 11程序验证程序合成
P2 Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations
位向量操作语法引导合成的增强枚举技术
融合项图枚举、示例过滤、LLM 优先级与自底向上推导，提升位向量语法引导合成性能。
POPL 8(POPL)2024匹配度 4/10引用 10程序合成机器学习与程序语言
P2 Synthesis of web layouts from examples
从示例合成 Web 布局
提出两阶段约束合成方法，从含噪示例生成可扩展的动态 Web 布局。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 4/10引用 8程序合成
P2 Program Synthesis for Program Analysis
用于程序分析的程序合成
提出以程序合成为统一机制的静态分析框架，并用受限二阶逻辑片段建模多种验证任务。
TOPLAS 40(2)2018匹配度 4/10引用 8程序合成程序分析与抽象解释
P2 Implementation and Synthesis of Math Library Functions
数学库函数的实现与合成
提出 MegaLibm，一个用于实现、测试、调优与合成数学库函数的领域特定语言。
POPL 8(POPL)2024匹配度 4/10引用 6领域特定语言与建模程序合成
P2 Optimal Program Synthesis via Abstract Interpretation
基于抽象解释的最优程序合成
提出基于抽象解释与A*搜索的最优程序合成框架，可证明最优并剪枝次优子树，提升可扩展性。
POPL 8(POPL)2024匹配度 4/10引用 6程序合成程序分析与抽象解释领域特定语言与建模
P2 Clarity Is Not Assumed: Understanding LLM-Based Code Generation under Ambiguous Requirements
歧义并非前提：理解 LLM 在模糊需求下的代码生成
提出 Orchid 基准，首次系统实证研究需求歧义对 LLM 代码生成的影响，发现歧义普遍降低模型性能。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 4/10引用 5机器学习与程序语言程序合成
P2 vCXLGen: Automated Synthesis and Verification of CXL Bridges for Heterogeneous Architectures
vCXLGen：面向异构架构的 CXL 桥自动合成与验证
提出 CXL 桥抽象并实现 vCXLGen，可从机器可读的一致性协议规范自动合成并组合验证异构 CXL 桥。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 4/10引用 5程序合成程序验证并发、并行与内存模型
P2 Scalability and precision improvement of neural program synthesis
神经程序合成的可扩展性与精度改进
提出一个从程序空间描述、模型架构与结果处理三个维度改进神经程序合成的框架，提升合成规模与正确性。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 4/10引用 3程序合成机器学习与程序语言
P2 Automatically deriving control-flow graph generators from operational semantics
从操作语义自动派生控制流图生成器
提出从操作语义自动合成多种控制流图生成器的理论、算法与工具 Mandate。
ICFP 6(ICFP)2022匹配度 4/10引用 3形式语义程序合成
P2 Programming by Navigation
导航式编程（Programming by Navigation）
提出导航式编程合成问题，保证规约细化中所有且仅有有效下一步，并高效求解。
PLDI 9(PLDI)2025匹配度 4/10引用 2程序合成逻辑与约束编程
P2 Active Learning for Neurosymbolic Program Synthesis
面向神经符号程序合成的主动学习
提出受限共形评估与SmartLabel，使神经符号程序合成在神经组件误预测下仍能通过少量用户交互收敛到目标程序。
OOPSLA 9(OOPSLA2)2025匹配度 4/10引用 2程序合成机器学习与程序语言
P2 Formal Verification-Integrated Reinforcement Learning for Automated ORM Schema Synthesis
形式验证集成的强化学习用于自动化 ORM Schema 合成
提出 ReinforceORM，用强化学习搜索 ORM Schema 的多目标帕累托最优解，并以 Alloy 形式验证保证正确性。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 4/10引用 1程序合成机器学习与程序语言
P2 Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation
选择，而非标注：用于程序消歧的多选查询合成
提出基于多选查询的主动学习范式，通过合成 Hoare 三元组选项实现高效的程序消歧。
PLDI 10(PLDI)2026匹配度 4/10引用 1程序合成程序验证机器学习与程序语言
P2 Optimal Predicate Pushdown Synthesis
最优谓词下推合成
提出有状态 fold 计算的最优谓词下推合成框架，自动生成正确且最优的过滤分解。
PLDI 10(PLDI)2026匹配度 4/10引用 1程序合成形式语义
P2 LOUD: Synthesizing Strongest and Weakest Specifications
LOUD：合成最强和最弱规范
提出 LOUD 框架，为含存在量词的非确定程序同时合成最强 ℒ-推论与最弱 ℒ-蕴含式规范。
OOPSLA 9(OOPSLA1)2025匹配度 4/10引用 1程序验证程序合成
P2 Counterexample-Guided Inference of Modular Specifications
反例引导的模块化规约推断
提出反例引导算法，自动推断模块化验证所需的被调函数规约，并在有限与大小受限无限规约空间下给出可靠完备性结果。
OOPSLA 9(OOPSLA1)2025匹配度 4/10引用 1程序验证程序合成
P2 Towards Fully Automated Medical Imaging Code Generation via Validation-Based Context Engineering
迈向全自动医学影像代码生成：基于验证的上下文工程
提出多智能体框架 AutoMedImg，以多阶段验证与自动上下文工程实现零人工干预的医学影像处理代码生成。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 4/10机器学习与程序语言程序合成
P2 Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
实到仿生成：通过约束求解从真实世界数据合成场景程序
提出 R2SGEN 框架，以解耦 SMT 约束求解从真实世界数据合成结构化场景程序，克服组合爆炸并优于 LLM 基线。
OOPSLA 10(OOPSLA2)2026匹配度 4/10程序合成逻辑与约束编程
P2 TaskEval: Synthesised Evaluation for Foundation-Model Tasks
TaskEval：面向基础模型任务的合成评估
提出任务无关元模型与评估合成器，自动生成基础模型任务评估器并收集人类反馈。
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 4/10机器学习与程序语言程序合成
P2 Syno: Structured Synthesis for Neural Operators
Syno：面向神经算子的结构化合成
提出端到端神经算子合成框架 Syno，自动发现精度或速度更优的新算子。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32025匹配度 4/10程序合成机器学习与程序语言
P2 Data Dependency-Aware Code Generation from Enhanced UML Sequence Diagrams
基于增强 UML 序列图的数据依赖感知代码生成
提出 UML2Dep 框架，用增强 UML 序列图显式建模并结合数据依赖推断，提升 LLM 从复杂需求生成代码的可靠性。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10机器学习与程序语言程序合成
P2 Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
面向可靠代码生成的需求开发与形式化：一种多智能体愿景
提出首个基于需求开发与形式化的多智能体框架 ReDeFo，以形式规约衔接自然语言需求与可执行代码，保障生成代码可靠性。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10机器学习与程序语言程序合成
P2 Verifying Solutions to Semantics-Guided Synthesis Problems
验证语义引导综合（SemGuS）问题的解
将 SemGuS 解验证归约到 μCLP 有效性，并扩展 SemGuS 以支持非确定性与反应式综合。
PLDI 9(PLDI)2025匹配度 4/10程序合成程序验证逻辑与自动机
P2 egg: Fast and extensible equality saturation
egg：快速且可扩展的等式饱和
提出 rebuilding 与 e-class analyses 两项技术，使 e-graph 在等式饱和场景下兼具高性能与可扩展性，并实现开源库 egg。
POPL 5(POPL)2021匹配度 3/10引用 167编译与代码生成程序合成
P2 Semantic program repair using a reference implementation
使用参考实现的语义程序修复
以参考实现为隐式规约，通过符号分析推断预期行为并合成条件等价补丁，缓解测试过拟合。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 3/10引用 86测试、调试与修复程序合成
P2 Inferring Program Transformations From Singular Examples via Big Code
借助 Big Code 从单一示例推断程序变换
提出 GENPAT，利用大代码统计与代码上下文，从单个程序变更示例推断通用程序变换，并验证于系统化编辑与修复。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 3/10引用 73程序合成测试、调试与修复
P2 Bug synthesis: challenging bug-finding tools with deep faults
缺陷合成：以深层缺陷挑战缺陷查找工具
提出缺陷注入系统 Apocalypse，用符号执行与约束合成生成公平、深层、独立、可复现且罕见的缺陷语料。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10引用 55测试、调试与修复程序合成
P2 Syntax-guided synthesis of Datalog programs
语法引导的 Datalog 程序合成
提出 ALPS，利用语法引导剪枝从输入输出示例合成 Datalog 程序。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10引用 51程序合成逻辑与约束编程
P2 Functional programming for compiling and decompiling computer-aided design
面向计算机辅助设计编译与反编译的函数式编程
提出函数式CAD语言LambdaCAD及语义保持编译器，并用求值上下文合成算法将网格反编译回可编辑的CAD程序。
ICFP 2(ICFP)2018匹配度 3/10引用 48领域特定语言与建模程序合成
P2 Provenance-guided synthesis of Datalog programs
溯源引导的 Datalog 程序合成
利用查询溯源信息引导 CEGIS，从输入输出规约高效合成 Datalog 程序。
POPL 4(POPL)2019匹配度 3/10引用 47程序合成逻辑与约束编程
P2 Automated model repair for Alloy
Alloy 模型的自动修复
提出首个 Alloy 模型自动修复技术 ARepair，融合变异测试与程序合成，修复 28/38 个真实缺陷模型。
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 3/10引用 42测试、调试与修复程序合成
P2 SOAR: A Synthesis Approach for Data Science API Refactoring
SOAR：一种面向数据科学 API 重构的合成方法
无需训练数据，利用库文档与程序合成自动重构数据科学 API，并用解释器错误信息剪枝搜索空间。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 40程序合成
P2 EvoSpex: An Evolutionary Algorithm for Learning Postconditions
EvoSpex：一种学习后置条件的进化算法
提出 EvoSpex，用遗传算法从方法执行与变异的前后状态对中自动学习 Java 方法后置条件断言。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 40程序合成测试、调试与修复
P2 CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation
CODEP：面向通用代码生成的语法化 Seq2Seq 模型
提出基于下推自动机的语法约束 Seq2Seq 代码生成框架 CODEP，保证生成代码语法正确并提升多项基准指标。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 39程序合成机器学习与程序语言
P2 Android testing via synthetic symbolic execution
基于合成式符号执行的 Android 测试
用按需程序合成自动推断 Android 库模型，免除手工建模并缓解路径发散，提升符号执行的分支覆盖。
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 3/10引用 38测试、调试与修复程序合成
P2 Bottom-up synthesis of recursive functional programs using angelic execution
基于天使式执行的自底向上递归函数式程序合成
提出基于天使语义与版本空间学习的自底向上递归函数式程序合成方法。
POPL 6(POPL)2022匹配度 3/10引用 38程序合成
P2 Programming not only by example
不仅通过示例编程
提出超越纯示例的交互式程序合成意图表达方式，允许程序员参照生成程序的具体部分来精化意图。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 3/10引用 37程序合成编程环境与开发者工具
P2 Combining the top-down propagation and bottom-up enumeration for inductive program synthesis
结合自顶向下传播与自底向上枚举的归纳程序合成
提出 Duet，将自顶向下传播与自底向上枚举结合，实现可扩展且通用的归纳程序合成。
POPL 5(POPL)2021匹配度 3/10引用 34程序合成
P2 Can Program Synthesis be Used to Learn Merge Conflict Resolutions? An Empirical Analysis
程序合成能否用于学习合并冲突解决方案？一项实证分析
首次将程序合成用于学习合并冲突解决：提出DSL从示例学习策略，可解决11.4%冲突且准确率93.2%。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 33程序合成领域特定语言与建模
P2 Singularity: pattern fuzzing for worst case complexity
Singularity：面向最坏情况复杂度的模式模糊测试
提出模式模糊测试，用程序合成搜索输入模式以揭示程序最坏渐近复杂度。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10引用 33测试、调试与修复程序合成
P2 Symbolic execution with existential second-order constraints
带存在性二阶约束的符号执行
将符号变量扩展到函数并集成程序合成来求解二阶约束，缓解符号执行的路径爆炸。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 3/10引用 33程序分析与抽象解释程序合成
P2 Maximal multi-layer specification synthesis
最大化多层规约合成
MARS 将输入输出样例、文本描述和部分代码构成的多层规约归约为 Max-SMT，并用 LSTM 与关联规则学习用户意图。
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 3/10引用 31程序合成机器学习与程序语言逻辑与约束编程
P2 Semantics-guided synthesis
语义引导的程序合成
提出 SemGuS 框架，允许以递归大步步语义定义合成问题，并用 CHC 证明搜索同时合成程序与证明不可实现性。
POPL 5(POPL)2021匹配度 3/10引用 31程序合成形式语义逻辑与约束编程
P2 JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models
JavaBench：面向大型语言模型的面向对象代码生成基准
提出项目级 Java 基准 JavaBench，系统评测 LLM 生成面向对象代码的能力，发现其远逊于本科生。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10引用 29机器学习与程序语言程序合成
P2 Grace: Language Models Meet Code Edits
Grace：语言模型遇上代码编辑
提出Grace方法，通过将LLM条件于相关历史编辑，显著提升代码编辑生成的准确率。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10引用 27机器学习与程序语言程序合成
P2 Subtle Bugs Everywhere: Generating Documentation for Data Wrangling Code
无处不在的隐蔽缺陷：为数据整理代码生成文档
结合程序合成与测试用例选择为数据整理代码自动生成文档，并以 JupyterLab 插件验证其帮助用户更快发现隐蔽缺陷。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 3/10引用 27编程环境与开发者工具程序合成
P2 Incorporating domain knowledge through task augmentation for front-end JavaScript code generation
通过任务增强融入领域知识的前端 JavaScript 代码生成
提出任务增强方法与 Subtoken-TranX 模型，在前端 JavaScript 领域数据稀缺下显著提升代码生成准确率。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 26机器学习与程序语言程序合成
P2 Liquid information flow control
Liquid 信息流控制
提出 Lifty，用 liquid types 静态验证敏感数据信息流策略，并自动合成修复补丁。
ICFP 4(ICFP)2020匹配度 3/10引用 26安全与隐私类型系统程序合成
P2 SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
SmartFix：利用统计模型加速“生成-验证”式修复以修复存在漏洞的智能合约
用验证器反馈训练的统计模型加速生成-验证式补丁搜索，实现智能合约漏洞的全自动、安全可保证修复。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10引用 25测试、调试与修复程序合成
P2 Data Extraction via Semantic Regular Expression Synthesis
通过语义正则表达式合成进行数据抽取
提出语义正则表达式及由少量正负例合成该表达式的学习算法，用于兼顾语法与语义的数据抽取。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 24程序合成机器学习与程序语言
P2 TF-Coder: Program Synthesis for Tensor Manipulations
TF-Coder：面向张量操作的程序合成
提出 TF-Coder，用带模型引导的自底向上加权枚举搜索，从输入输出示例合成 TensorFlow 张量操作代码。
TOPLAS 44(2)2022匹配度 3/10引用 24程序合成机器学习与程序语言
P2 Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
增强LLM代码生成：一种基于相似度的集成选择方法
提出面向LLM代码生成的集成方法，通过语法与语义相似度及行为等价性投票，从多模型候选中选出最可靠程序。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 17机器学习与程序语言程序合成
P2 Leveraging Rust Types for Program Synthesis
利用 Rust 类型进行程序合成
提出首个面向安全 Rust 的按构造正确程序合成方法，用 Synthetic Ownership Logic 将类型约束与功能规约结合。
PLDI 7(PLDI)2023匹配度 3/10引用 17程序合成类型系统
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 Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Asparagus：智能合约参数化 Gas 上界的自动合成
用多面体几何与实代数几何定理自动合成智能合约 gas 消耗的参数化上界，并首次给出完备性保证。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 16程序分析与抽象解释程序合成
P2 Aligning Requirement for Large Language Model's Code Generation
对齐需求：面向大语言模型代码生成的规约对齐
提出 Specine，通过识别、提升并对齐编程规约，缓解 LLM 代码生成与需求不一致的问题。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 15机器学习与程序语言程序合成
P2 SapientML
SapientML
提出 SapientML，通过三阶段分治程序合成从语料中学习，为新的预测任务高效生成高质量 ML 流水线。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 3/10引用 15程序合成机器学习与程序语言
P2 Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
基于模板的多项式程序合成的代数几何算法
提出用代数几何定理将基于模板的多项式程序合成直接归约为二次规划，避免量词消去并保持半完备性。
OOPSLA 7(OOPSLA1)2023匹配度 3/10引用 15程序合成逻辑与约束编程
P2 Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
通过迭代前向-后向抽象解释的归纳程序合成
提出交替迭代前向与后向抽象解释来剪枝搜索空间，显著提升归纳程序合成效果。
PLDI 7(PLDI)2023匹配度 3/10引用 15程序合成程序分析与抽象解释
P2 Type-directed synthesis of visualizations from natural language queries
类型指导的自然语言查询到可视化合成
将自然语言查询转为 refinement 类型规约，并用类型指导合成生成符合用户意图与设计准则的可视化程序。
OOPSLA 6(OOPSLA2)2022匹配度 3/10引用 15程序合成类型系统
P2 Life is Random, Time is Not: Markov Decision Processes with Window Objectives
生命是随机的，时间不是：具有窗口目标的马尔可夫决策过程
将窗口机制扩展到马尔可夫决策过程，解决窗口目标的阈值概率问题并给出通用策略综合方法。
LMCS vol.Volume 16, Issue 42020匹配度 3/10引用 15逻辑与自动机程序合成
P2 Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism
利用天使与恶魔非确定性的 Hoare 逻辑合成策略
提出一种命题 Hoare 逻辑，统一刻画天使/恶魔非确定性，支持部分正确性验证与策略合成，并证明其判定复杂度为 EXPTIME。
LMCS vol.Volume 12, Issue 32017匹配度 3/10引用 15程序验证程序合成
P2 Synthesizing replacement classes
合成替换类
提出借助自动合成的类间状态等价谓词，将候选类 R 合成为与原类 O 功能等价的替换类的技术。
POPL 4(POPL)2019匹配度 3/10引用 14程序合成程序验证
P2 iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements
iSyn：从法律金融协议半自动合成智能合约
提出端到端系统 iSyn，用 SmartIR 中间表示和 NLP 流水线，从金融法律协议半自动合成并验证智能合约。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 13程序合成领域特定语言与建模
P2 Fuzzle: Making a Puzzle for Fuzzers
Fuzzle：为模糊测试器制作谜题
将 bug 合成建模为迷宫生成，通过迷宫路径生成带精确 ground truth 的整程序模糊测试基准。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10引用 13测试、调试与修复程序合成
P2 AutoTSG: learning and synthesis for incident troubleshooting
AutoTSG：面向事故排障的学习与合成
结合机器学习与程序合成，将非结构化的排障指南（TSG）自动转换为可执行工作流。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 13程序合成机器学习与程序语言
P2 Inductive program synthesis over noisy data
面向噪声数据的归纳程序合成
提出基于状态加权有限树自动机的框架与算法，在含错误样本的噪声数据上合成正确程序。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10引用 13程序合成逻辑与自动机
P2 Synthesizing differentially private programs
合成差分隐私程序
提出基于线性依赖类型系统的类型导向合成算法，自动构造满足隐私约束的随机化差分隐私程序。
ICFP 3(ICFP)2019匹配度 3/10引用 13程序合成安全与隐私
P2 A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement
面向代码生成的结对编程框架：通过多方案探索与反馈驱动精化
提出PairCoder，用导航员与驾驶员两个LLM智能体结对编程，通过多方案探索与执行反馈迭代提升代码生成准确率。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10引用 12机器学习与程序语言程序合成
P2 Explainable Program Synthesis by Localizing Specifications
通过局部化规格实现可解释的程序合成
提出子规格机制，为合成程序局部附加由全局规格与上下文推导的逻辑解释，并验证其性质与用户效用。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 12程序合成编程环境与开发者工具
P2 Complexity and information in invariant inference
不变式推断中的复杂性与信息
在 Hoare 查询模型下证明归纳不变式推断需指数查询，并证明 PDR 式丰富查询可较 ICE 学习指数加速。
POPL 4(POPL)2019匹配度 3/10引用 12程序验证程序合成
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 A Case for Synthesis of Recursive Quantum Unitary Programs
递归量子酉程序合成的可行性论证
提出首个量子酉程序合成框架 QSynth，借助 SMT 求解自动合成递归定义的量子酉电路。
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 Unrealizability Logic
不可实现性逻辑
提出首个用于证明程序合成问题不可实现（无解）的 Hoare 风格证明系统，可对无限程序集的执行进行上近似。
POPL 7(POPL)2023匹配度 3/10引用 10程序合成程序验证
P2 Symbolic Fixpoint Algorithms for Logical LTL Games
逻辑 LTL 博弈的符号化不动点算法
将经典不动点算法推广到符号化逻辑 LTL 博弈，高效合成控制器与获胜策略。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10引用 9程序合成逻辑与自动机
P2 NL2Viz: natural language to visualization via constrained syntax-guided synthesis
NL2Viz：通过约束引导的语法指导合成实现自然语言到可视化
提出 NL2Viz，结合数据/程序上下文与软硬约束，用约束语法引导合成将自然语言转为可视化，并支持结果精化复用。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 9程序合成编程环境与开发者工具
P2 Learning Domain-Specific Edit Operations from Model Repositories with Frequent Subgraph Mining
利用频繁子图挖掘从模型仓库中学习领域特定编辑操作
提出无监督方法 Ockham，利用频繁子图挖掘从模型历史中学习能压缩模型差异的领域特定编辑操作。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 3/10引用 9领域特定语言与建模程序合成
P2 Reward-Guided Synthesis of Intelligent Agents with Control Structures
奖励引导的带控制结构的智能体合成
提出奖励引导的程序合成范式 ReGuS，用带循环、条件与过程调用的分层合成算法高效求解长时程机器人控制任务。
PLDI 8(PLDI)2024匹配度 3/10引用 9程序合成机器学习与程序语言
P2 Repairing Regular Expressions for Extraction
修复用于提取的正则表达式
提出首个基于编程示例的提取型正则合成与修复方法，支持反向引用与环视等扩展。
PLDI 7(PLDI)2023匹配度 3/10引用 9程序合成形式语义
P2 Synthesizing Specifications
合成规范
提出自动合成规范的方法与工具 Spyro，在用户给定查询和 DSL 下生成最精确且穷尽的 L-性质。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 9程序合成程序分析与抽象解释
P2 On LLMs’ Internal Representation of Code Correctness
论 LLM 对代码正确性的内部表示
通过对比正确与错误代码的隐藏状态，发现并利用 LLM 内部的代码正确性表示来筛选更可靠的生成代码。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 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 Active Learning for Inference and Regeneration of Applications that Access Databases
主动学习用于访问数据库应用的推断与再生成
提出 Konure，用主动学习推断访问关系数据库的应用模型，并将模型再生成带安全检查的 Python 实现。
TOPLAS 42(4)2020匹配度 3/10引用 7领域特定语言与建模程序合成机器学习与程序语言
P2 Augmented example-based synthesis using relational perturbation properties
基于关系扰动属性的增强示例合成
提出用关系扰动属性对示例合成施加语义偏置，自动增广示例以提升泛化能力。
POPL 4(POPL)2019匹配度 3/10引用 7程序合成语言设计与特性
P2 Which of My Assumptions are Unnecessary for Realizability and Why Should I Care?
我的哪些假设对可实现性是不必要的，以及为什么我应当关心？
提出检测并去除反应式系统规约中对可实现性不必要的假设，生成核心规约，从而合成更通用的控制器。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 3/10引用 6程序合成逻辑与自动机
P2 Dynamic update for synthesized GR(1) controllers
合成 GR(1) 控制器的动态更新
提出并求解 GR(1) 合成控制器的动态更新问题，用桥接控制器实现运行中安全切换至新规约。
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 3/10引用 6程序合成逻辑与自动机
P2 TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
TreeCoder：面向 LLM 代码生成的解码与约束的系统化探索与优化
提出 TreeCoder，把解码策略与约束函数作为可优化组件，通过树搜索系统性探索并自动调优 LLM 代码生成。
PLDI 10(PLDI)2026匹配度 3/10引用 6机器学习与程序语言程序合成
P2 Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
在单调语义的程序合成问题中自动实现自顶向下枚举的剪枝
提出单调语义下自动构造区间抽象语义，从而在 SemGuS 中无需手工抽象域即可剪枝。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 6程序合成程序分析与抽象解释
P2 Absynthe: Abstract Interpretation-Guided Synthesis
Absynthe：抽象解释引导的程序合成
提出 Absynthe，一种语言无关、由用户自定义抽象语义引导的程序合成框架。
PLDI 7(PLDI)2023匹配度 3/10引用 6程序合成程序分析与抽象解释
P2 Learning formulas in finite variable logics
有限变量逻辑中的公式学习
提出通用自动机理论技术，在有限变量逻辑中实现语法受限的公式与项精确学习、可实现性判定和合成。
POPL 6(POPL)2022匹配度 3/10引用 5程序合成逻辑与自动机
P2 Constructive Domains with Classical Witnesses
带经典见证的构造性Domain
提出从程序抽取视角出发、以经典正确性断言实现的构造性连续Domain理论，并给出函数空间与实数表示定理。
LMCS vol.Volume 17, Issue 12021匹配度 3/10引用 5形式语义程序合成
P2 Adaptation<sup>2</sup>: Adapting Specification Learners in Assured Adaptive Systems
Adaptation²：在可保证自适应系统中自适应规约学习器
提出 Adaptation²，主张用强化学习让规约学习器在运行时自适应配置，以支撑可保证的自适应系统。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 3/10引用 4程序合成机器学习与程序语言
P2 The Search for Constrained Random Generators
受限随机生成器的搜索
提出基于演绎程序合成的受限随机生成器合成方法，并在 Lean 中实现 Palamedes。
PLDI 10(PLDI)2026匹配度 3/10引用 4测试、调试与修复程序合成
P2 PL4XGL: A Programming Language Approach to Explainable Graph Learning
PL4XGL：一种可解释图学习的编程语言方法
提出图描述语言 GDL 和基于程序合成的可解释图学习模型 PL4XGL，用 GDL 程序解释分类结果。
PLDI 8(PLDI)2024匹配度 3/10引用 4机器学习与程序语言程序合成
P2 From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
从 SMT 到 ASP：求解 Datalog 综合中“规则选择”问题的基于求解器的方法
提出三种基于求解器的方法求解 Datalog 规则选择综合问题，其中编码为 ASP 的方案比现有技术快约 9 倍且综合出更高质量的程序。
POPL 7(POPL)2023匹配度 3/10引用 4程序合成逻辑与约束编程
P2 Languages with Decidable Learning: A Meta-theorem
具有可判定学习的语言：一个元定理
提出 finite-aspect checkable 语言，并用树自动机元定理统一证明多类表达式学习问题可判定。
OOPSLA 7(OOPSLA1)2023匹配度 3/10引用 4程序合成逻辑与自动机
P2 Synthesizing MILP Constraints for Efficient and Robust Optimization
为高效且鲁棒的优化合成 MILP 约束
提出基于 SyGuS 的方法，从布尔逻辑规约自动合成高质量 MILP 线性约束。
PLDI 7(PLDI)2023匹配度 3/10引用 4程序合成逻辑与约束编程
P2 AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
AutoPLC：为可编程逻辑控制器生成厂商感知的结构化文本
提出 AutoPLC，通过厂商知识库与四阶段 LLM 流程，从自然语言需求自动生成可编译的厂商感知 PLC 结构化文本代码。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10引用 3机器学习与程序语言程序合成
P2 Perspective Multi-Player Games
Perspective 多玩家博弈
将 Perspective 博弈扩展到多玩家、联盟与非零和，证明不可判定边界，并给出两人非零和可判定与理性合成结果。
LICS 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)2021匹配度 3/10引用 3逻辑与自动机程序合成
P2 Synthesis-based resolution of feature interactions in cyber-physical systems
信息物理系统中基于合成的特征交互消解
提出基于合成的特征交互消解方法，通过合成满足系统规约的动作，在冲突动作均不理想时仍能产生期望结果。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 3/10引用 3程序合成
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 Evolution-Aware Heuristics for GR(1) Realizability Checking
面向 GR(1) 可实现性检查的演化感知启发式方法
提出演化感知的 GR(1) 可实现性检查启发式，复用先前检查的中间数据加速迭代开发中的检查。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10引用 2程序合成逻辑与自动机
P2 LLM-Guided Genetic Improvement: Envisioning Semantic Aware Automated Software Evolution
LLM 引导的遗传改进：迈向语义感知的自动化软件演化
提出用 LLM 编辑聚类为遗传改进注入语义信号，并以 PatchCat 初步验证其可行性与效率收益。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10引用 2机器学习与程序语言程序合成
P2 Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables
面向有限范围内的自顶向下自动化开发：从可表达物到可执行程序的神经符号框架
提出神经符号 SPF 框架，用代码分类学与三层语义金字塔支持有限范围的自顶向下代码生成。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10引用 2程序合成机器学习与程序语言
P2 Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification
面向测试生成与有界验证的方法调用序列高效合成
提出基于抽象堆状态与同构状态合并的方法调用序列合成算法，高效生成满足规约的堆状态。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 3/10引用 2程序合成测试、调试与修复程序验证
P2 Synthesis of infinite-state systems with random behavior
具有随机行为的无限状态系统的合成
提出 Skolem 提取算法，从规约合成具随机行为的见证，保证正确性并提升响应多样性。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 3/10引用 2程序合成测试、调试与修复
P2 MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
MISAAL：基于合成的自动生成高效且可重定向的语义驱动优化
Misaal 用硬件指令形式语义离线剪枝重写规则、在线轻量项重写，实现快速可重定向的合成优化编译器。
PLDI 9(PLDI)2025匹配度 3/10引用 2程序合成编译与代码生成
P2 Equivalence by Canonicalization for Synthesis-Backed Refactoring
面向合成支持重构的规范化等价
提出基于规范化等价的程序合成框架，将直接风格代码重构为使用库组合子的等价代码。
PLDI 8(PLDI)2024匹配度 3/10引用 2程序合成编译与代码生成
P2 Synthesizing fine-grained synchronization protocols for implicit monitors
为隐式监视器合成细粒度同步协议
提出从隐式监视器合成细粒度显式同步协议的静态分析与 MaxSAT 方法，生成可媲美专家手写的协议。
OOPSLA 6(OOPSLA1)2022匹配度 3/10引用 2并发、并行与内存模型程序合成程序分析与抽象解释
P2 SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
SolContractEval：面向合约级 Solidity 代码生成的评测基准
提出首个合约级 Solidity 代码生成基准 SolContractEval，并用基于历史交易重放的动态框架系统评测六个主流 LLM。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10引用 1机器学习与程序语言程序合成
P2 EffBT: An Efficient Behavior Tree Reactive Synthesis and Execution Framework
EffBT：一种高效的行为树反应式合成与执行框架
提出 EffBT，从 GR(1) 规约自动合成语义正确且高效执行的行为树，并引入剪枝与 Parallel 节点优化执行。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 3/10引用 1程序合成逻辑与自动机
P2 Can an LLM Find Its Way Around a Spreadsheet?
LLM 能否在电子表格中自如导航？
提出从代码库检索并组合数据预处理流水线的方法，使 LLM 能响应电子表格的自由形式数据清洗请求并持续扩充代码库。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 3/10引用 1机器学习与程序语言程序合成
P2 Data Constraint Mining for Automatic Reconciliation Scripts Generation
面向自动对账脚本生成的数据约束挖掘
提出 AutoReconciler，从业务数据挖掘数据约束并自动生成 SQL 对账脚本。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 1程序合成测试、调试与修复
P2 EvoSpex: A Search-Based Tool for Postcondition Inference
EvoSpex：一种基于搜索的后置条件推断工具
提出基于进化算法的工具 EvoSpex，从测试用例自动推断 Java 方法的后置条件。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 1程序合成测试、调试与修复
P2 Learning-based Assistant for Data Migration of Enterprise Information Systems
企业信息系统数据迁移的基于学习的辅助工具
提出结合机器学习、知识表示与程序合成的数据迁移辅助工具，自动建议字段匹配和转换规则。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 3/10引用 1程序合成机器学习与程序语言
P2 Parameterized Infinite-State Reactive Synthesis
参数化无限状态反应式合成
提出反例引导的参数化无限状态反应式合成方法，可生成可实例化并带不变式/秩函数证明的系统。
POPL 10(POPL)2026匹配度 3/10引用 1程序合成程序验证
P2 Determination Problems for Orbit Closures and Matrix Groups
轨道闭包与矩阵群的判定问题
给出判定一个簇是否为 s-生成交换代数矩阵群作用下点轨道闭包的多项式空间算法。
POPL 10(POPL)2026匹配度 3/10引用 1逻辑与自动机程序合成
P2 Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
通过优化领域特定语言加速语法引导的程序合成
提出 AMaze 框架，自动优化 DSL 以加速语法引导程序合成，最高取得 4.35× 加速。
POPL 10(POPL)2026匹配度 3/10引用 1程序合成领域特定语言与建模
P2 Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations
抽象精化引导的程序合成：面向机器人从演示中学习
提出 RoboScribe，从原始连续演示中自动推导状态与动作抽象，迭代精化并合成可解释的机器人控制程序。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 1程序合成机器学习与程序语言
P2 Synthesizing DSLs for Few-Shot Learning
面向小样本学习的 DSL 合成
研究符号域中小样本学习的 DSL 合成问题，证明其可判定性并给出正则树表征。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 1程序合成逻辑与自动机
P2 Synthesizing Formal Semantics from Executable Interpreters
从可执行解释器合成形式语义
提出从语法与封闭解释器自动合成 CHC 形式语义的 CEGIS 算法，并实现 SynAntic 工具。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 1程序合成形式语义
P2 Flexible Correct-by-Construction Programming
灵活的正确性构造编程
提出并形式化两种更灵活的构造正确编程方法 CbC-Block 和 TraitCbC，并比较其可用性。
LMCS vol.Volume 19, Issue 22023匹配度 3/10引用 1程序合成语言设计与特性
P2 CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
CapOpt：面向能力感知的超级优化，生成安全且可证明更快的代码
首个将 capability 语义纳入搜索空间与正确性模型的超级优化框架，在 CHERI 上同时提升性能与内存安全。
OOPSLA 10(OOPSLA2)2026匹配度 3/10程序合成安全与隐私
P2 Synthesizing Graph Queries from Demonstrations
从演示中合成图查询
提出结合图挖掘与演绎剪枝的图查询合成方法，实现工具 DMiner，可从用户的计算演示中高效合成图查询。
OOPSLA 10(OOPSLA2)2026匹配度 3/10程序合成领域特定语言与建模
P2 Incremental Program Synthesis from Event Logs
从事件日志中进行增量式程序合成
提出增量式合成算法，从系统自动收集的事件日志中合成 API 调用自动化脚本，并实现工具 LogLoom。
OOPSLA 10(OOPSLA2)2026匹配度 3/10程序合成
P2 Tephra: Principled Discovery of Fuzzer Limitations
Tephra：原则化地发现模糊测试器的局限
提出 Tephra 方法，用语义引导合成含障碍的无缺陷程序，系统评估并揭示现代模糊测试器的局限。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10测试、调试与修复程序合成
P2 RealisticCodeBench: Towards More Realistic Evaluation of Large Language Models for Code Generation
RealisticCodeBench：面向更真实的大语言模型代码生成评估
从 GitHub 真实 LLM 使用场景出发构建多语言代码生成基准，揭示模型与现有基准间的差距。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10机器学习与程序语言程序合成
P2 First-Order Quantified Separator in Alloy Analyzer
Alloy Analyzer 中的一阶量化分离器
提出 Folloy，将一阶逻辑规约学习编码为 Alloy 中的约束满足问题，并用 Max-SAT 保证所学公式规模最小。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10程序合成逻辑与约束编程
P2 Quantifying the benefits of code hints for refactoring deprecated Java APIs
量化代码提示对重构已废弃 Java API 的收益
用符号合成与 LLM 两个引擎自动重构 Java 废弃 API，量化 Javadoc 代码提示对重构成功率的提升。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10程序合成机器学习与程序语言
P2 Synthesizing Document Database Queries Using Collection Abstractions
使用集合抽象合成文档数据库查询
提出一种从输入输出示例自动合成文档数据库查询的技术，利用集合抽象剪枝搜索空间。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 3/10程序合成领域特定语言与建模
P2 Automated, Unsupervised, and Auto-Parameterized Inference of Data Patterns and Anomaly Detection
自动化、无监督且自动参数化的数据模式推断与异常检测
提出 RIOLU，无需标注样本和人工参数配置，从脏数据中自动推断精确正则模式并检测异常。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 3/10程序合成机器学习与程序语言
P2 Improving IDE code inspections with tree automata
用树自动机改进 IDE 代码检查
提出基于示例编程合成树自动机的框架，精准抑制 IDE 代码检查中的误报。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10程序合成编程环境与开发者工具
P2 SynGuar: guaranteeing generalization in programming by example
SynGuar：在示例编程中保证泛化
提出首个可为 PBE 合成器动态计算所需额外示例数、从而高概率保证低泛化误差的框架。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 3/10程序合成
P2 Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling
通过元分析引导的洞填充进行归纳程序合成
提出用抽象解释元分析预测最佳洞填充顺序，以提升归纳程序合成中自上而下搜索效率。
POPL 10(POPL)2026匹配度 3/10程序合成程序分析与抽象解释
P2 Oriented Metrics for Bottom-Up Enumerative Synthesis
面向自底向上枚举式合成的定向度量（Oriented Metrics）
提出 oriented metric 结构统一搜索空间缩减技术，实现度量通用的自底向上合成器，性能提升逾一个数量级。
POPL 10(POPL)2026匹配度 3/10程序合成程序分析与抽象解释
P2 Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
基于单调不动点复用的高效增量 GR(1) 合成
提出增量 GR(1) 合成，通过复用获胜区域与单调不动点加速可实现性检查。
OOPSLA 10(OOPSLA1)2026匹配度 3/10程序合成逻辑与自动机
P2 Specy: Learning Specifications for Distributed Systems from Event Traces
Specy：从事件轨迹中学习分布式系统规约
提出 Specy，从分布式系统事件轨迹中自动学习带事件量词的规约，并支持不变式推导与运行时监控。
OOPSLA 10(OOPSLA1)2026匹配度 3/10程序合成分布式与容错
P2 Trace-Guided Synthesis of Effectful Test Generators
轨迹引导的效应化测试生成器合成
提出欠近似类型与效应系统，用符号轨迹约束引导合成测试生成器，有效探测带效应黑盒系统。
PLDI 10(PLDI)2026匹配度 3/10程序合成测试、调试与修复类型系统
P2 Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
预合成：借助更细粒度抽象语义扩展程序合成的规模
提出离线预合成阶段，用树自动机与 oracle 支撑细粒度抽象语义下的快速剪枝，显著加速程序合成。
PLDI 10(PLDI)2026匹配度 3/10程序合成程序分析与抽象解释
P2 Verification Modulo Tested Library Contracts
模被测库契约的验证
提出综合库方法模块/上下文契约并用测试引擎校验的客户端验证框架，实现工具 Dualis。
PLDI 10(PLDI)2026匹配度 3/10程序验证程序合成
P2 Inductive synthesis of structurally recursive functional programs from non-recursive expressions
从非递归表达式归纳合成结构递归的函数式程序
提出块级剪枝与版本空间学习，从输入输出示例合成递归函数式程序。
JFP vol.352025匹配度 3/10程序合成函数式编程
P2 Metamorph: Synthesizing Large Objects from Dafny Specifications
Metamorph：从 Dafny 规约合成大型对象
提出 Metamorph，利用 Dafny 验证器反例与分段距离度量，将大型对象的长方法调用序列合成化为加权 A* 搜索。
OOPSLA 9(OOPSLA1)2025匹配度 3/10程序合成测试、调试与修复
P2 Inductive Synthesis of Inductive Heap Predicates
归纳堆谓词的归纳合成
提出仅用正例的ILP算法，从内存图合成含数据性质（如有序性）的递归分离逻辑堆谓词。
OOPSLA 9(OOPSLA1)2025匹配度 3/10程序合成程序验证
P2 Program Skeletons for Automated Program Translation
面向自动化程序翻译的程序骨架
提出程序骨架方法，将跨语言翻译分解为可机械翻译的骨架与可综合的代码片段，实现 Python 到 JavaScript 翻译。
PLDI 9(PLDI)2025匹配度 3/10程序合成编译与代码生成
P2 Multi-modal Sketch-Based Behavior Tree Synthesis
多模态基于草图的行为树合成
提出BtBot，利用自然语言与正反例，通过LLM生成草图并搜索修复，自动合成行为树程序。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序合成机器学习与程序语言
P2 Tunneling through the Hill: Multi-way Intersection for Version-Space Algebras in Program Synthesis
穿越山峰：程序合成中版本空间代数的多路交集
提出多路交集方法，直接合并多个小型版本空间代数，避免中间结果爆炸，显著加速程序合成。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序合成领域特定语言与建模
P2 Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes
Stencil-Lifting：面向遗留代码中模板核摘要提取的层次化递归提升系统
提出层次化递归提升系统 Stencil-Lifting，自动将遗留代码中的 stencil 核转换为语义等价的 DSL 实现。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序合成领域特定语言与建模
P2 A Sound Static Analysis Approach to I/O API Migration
面向 I/O API 迁移的可靠静态分析方法
提出 Sprout 系统，结合流敏感指针分析与 typestate 分析，自动将程序迁移到新 I/O API 并保证行为等价。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序分析与抽象解释程序合成
P2 Homomorphism Calculus for User-Defined Aggregations
用户自定义聚合的同态演算
提出同态演算，可验证或反驳 UDAF 是否为 dataframe 同态，并构造合并算子以支持增量与并行计算。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序验证程序合成
P2 HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition
HieraSynth：面向完全超优化的分层空间分解并行框架
提出分层分解与并行搜索的超优化框架，可在大指令集上完整合成最优程序。
OOPSLA 9(OOPSLA2)2025匹配度 3/10程序合成编译与代码生成
P2 Comparative Synthesis: Learning Near-Optimal Network Designs by Query
比较式合成：通过查询学习近最优网络设计
提出比较式合成框架，通过 Validate/Compare 查询在目标不明确时合成近优网络设计，并实现 Net10Q。
POPL 7(POPL)2023匹配度 3/10程序合成机器学习与程序语言
P2 FUDGE: fuzz driver generation at scale
FUDGE：大规模 fuzz driver 生成
提出 Fudge，利用已有客户端代码自动生成库的 fuzz driver，并在工业界大规模部署发现漏洞。
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10引用 112测试、调试与修复程序合成
P2 SkCoder: A Sketch-based Approach for Automatic Code Generation
SkCoder：一种基于草图的自动代码生成方法
提出基于草图的代码生成方法 SkCoder，通过检索相似代码、抽取草图并后编辑，显著提升生成正确率。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 2/10引用 109机器学习与程序语言程序合成
P2 Re-Factoring Based Program Repair Applied to Programming Assignments
基于重构的程序修复在编程作业中的应用
提出 Refactory，用重构正确解并匹配控制流、合成补丁，为错误学生程序实时生成修复。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10引用 86测试、调试与修复程序合成
P2 AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL Properties
AutoTap：使用 LTL 性质合成与修复触发-动作程序
AutoTap 将用户期望性质翻译为 LTL，并自动合成或修复触发-动作程序。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 83程序合成逻辑与自动机
P2 Automated API-usage update for Android apps
Android 应用的自动化 API 使用更新
提出一种基于他人更新示例自动为 Android 应用生成并验证 API 变更补丁的技术。
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 2/10引用 81测试、调试与修复程序合成
P2 VarFix: balancing edit expressiveness and search effectiveness in automated program repair
VarFix：在自动程序修复中平衡编辑表达力与搜索有效性
提出 VarFix，借助变体执行实现不牺牲编辑表达力的系统化补丁搜索，提升自动程序修复效果。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10引用 51测试、调试与修复程序合成