paperbot · PL 论文追踪

全部论文 待读 收藏

标签：领域特定语言与建模（共 481 篇，按优先级展示前 200）

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机器学习与程序语言程序合成领域特定语言与建模
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 RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
RunbookFX：面向可执行事故诊断与缓解的类型与效应安全的 LLM 合成
提出类型化函数式 DSL RunbookFX，用乘积效应代数把事故响应安全分解为风险、能力、回滚三维，并以 Coq 机化证明保障 LLM 合成程序的安全性。
ICFP 10(ICFP)2026匹配度 7/10类型系统领域特定语言与建模机器学习与程序语言
P1 Prompting Is Programming: A Query Language for Large Language Models
提示即编程：面向大语言模型的查询语言
提出语言模型编程（LMP）及查询语言 LMQL，把提示、脚本与输出约束统一，并编译为高效推理流程。
PLDI 7(PLDI)2023匹配度 6/10引用 114领域特定语言与建模机器学习与程序语言
P1 GenCoG: A DSL-Based Approach to Generating Computation Graphs for TVM Testing
GenCoG：一种基于 DSL 的 TVM 测试计算图生成方法
提出 GenCoG，用 DSL 描述算子类型约束并通过混合执行求解，增量生成有效且高表达力的计算图以测试 TVM。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 5/10引用 23领域特定语言与建模测试、调试与修复机器学习与程序语言
P1 End-to-end translation validation for the halide language
Halide 语言的端到端翻译验证
提出 Halide 端到端翻译验证算法，用 prophetic 注解和 refinement 映射证明生成代码正确。
OOPSLA 6(OOPSLA1)2022匹配度 5/10引用 13程序验证领域特定语言与建模
P1 Automated Verification of Soundness of DNN Certifiers
DNN 认证器健全性的自动验证
提出 ProveSound，通过符号化 DNN 将 DNN 认证器的健全性验证归约为 SMT 可处理问题，实现任意架构认证器的自动验证。
OOPSLA 9(OOPSLA1)2025匹配度 5/10引用 3程序验证领域特定语言与建模机器学习与程序语言
P1 Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services
面向数字医疗服务的结构化临床规约的智能体式生成
提出 MARACTUS，用 LLM 智能体把非结构化临床文档转换为机器可读行动树，支撑模型驱动工程与形式验证。
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10机器学习与程序语言领域特定语言与建模
P1 AgentSpec: Customizable Runtime Enforcement for Safe and Reliable LLM Agents
AgentSpec：面向安全可靠 LLM 智能体的可定制运行时约束执行
提出轻量级 DSL AgentSpec，在运行时对 LLM 智能体施加可定制的安全约束，并支持用 LLM 自动生成规则。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10领域特定语言与建模安全与隐私
P1 TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
TorchQL：面向机器学习完整性约束的编程框架
提出 TorchQL，用查询语言表达并检查 ML 模型与数据集上的完整性约束，提升错误发现效率。
OOPSLA 8(OOPSLA1)2024匹配度 5/10领域特定语言与建模机器学习与程序语言
P2 Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
索引流：融合收缩程序的形式化中间表示
提出索引流：统一稀疏张量与关系代数融合收缩执行的形式化中间表示，证明正确性且性能可比专用系统。
PLDI 7(PLDI)2023匹配度 4/10引用 11编译与代码生成形式语义领域特定语言与建模
P2 Formal Specification and Testing for Reinforcement Learning
强化学习的形式化规约与测试
为基于时序差分的强化学习提出形式规约，并以DSL解释器作测试预言机进行基于属性的测试与变异评估。
ICFP 7(ICFP)2023匹配度 4/10引用 8领域特定语言与建模测试、调试与修复形式语义
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 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 Active Learning of Symbolic NetKAT Automata
符号 NetKAT 自动机的主动学习
提出主动学习未知网络 NetKAT 模型（含符号自动机）的算法，并证明其健全性。
PLDI 9(PLDI)2025匹配度 4/10引用 4逻辑与自动机领域特定语言与建模
P2 Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets
大语言模型驱动的软件模型演化：在模拟、公共与工业数据集上的实验
提出 RAMC，用大语言模型、模型历史与检索增强生成补全软件模型，支撑模型演化。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10引用 3领域特定语言与建模机器学习与程序语言
P2 FIXDRIVE: Automatically Repairing Autonomous Vehicle Driving Behaviour for $0.08 per Violation
FixDrive：以每次违规 0.08 美元成本自动修复自动驾驶车辆驾驶行为
提出 FixDrive 框架，用多模态大模型从违规记录生成 μDrive 驾驶策略修复，减少违规与碰撞。
ICSE 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)2025匹配度 4/10引用 3机器学习与程序语言领域特定语言与建模
P2 Adaptive Shielding via Parametric Safety Proofs
基于参数化安全证明的自适应屏蔽
提出编程语言框架，用参数化安全证明与DSL定义自适应屏蔽，为学习控制器提供概率安全保证。
OOPSLA 9(OOPSLA1)2025匹配度 4/10引用 3程序验证领域特定语言与建模机器学习与程序语言
P2 Better Development of Safety Critical Systems: Chinese High Speed Railway System Development Experience Report
更好地开发安全关键系统：中国高速铁路系统开发经验报告
分享中国高铁安全关键系统开发挑战，提出用SysML精化与SAT求解检查模型的搜索式模型驱动方法。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 4/10引用 2领域特定语言与建模程序验证
P2 P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
P4-SpecTec：将语言机械化框架集成到真实世界 P4 规范中
提出 P4-SpecTec，用可执行算法推理规则机械化 P4 静态/动态语义，生成类型检查器与解释器，发现 24 个 bug。
OOPSLA 10(OOPSLA2)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 Multiple Schema-Conformant Declarative Code Generation
多 Schema 一致的声明式代码生成
提出让 LLM 为每段代码自动选取合适 Schema 并受约束生成的框架，实现多 Schema 合规的声明式代码生成。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10机器学习与程序语言领域特定语言与建模
P2 Towards Automated Governance: A DSL for Human-Agent Collaboration in Software Projects
迈向自动化治理：面向软件项目中人类与代理协作的DSL
提出面向人类与AI代理协作的软件项目治理DSL愿景，以定义并执行丰富治理政策。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 4/10领域特定语言与建模机器学习与程序语言
P2 Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
在你选择的交互式定理证明器中进行组合式神经-信息物理系统验证
提出 Vehicle 的组合式方法，将神经网络验证与符号证明集成到任意交互式定理证明器中。
ICFP 10(ICFP)2026匹配度 4/10定理证明与证明工程领域特定语言与建模机器学习与程序语言
P2 Interstellar
Interstellar
用 Halide 调度语言统一表示 DNN 加速器微架构与映射，并优化硬件资源分配以降低能耗。
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 3/10引用 197语言与体系结构编译与代码生成领域特定语言与建模
P2 ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS
ARMv8-A、RISC-V 和 CHERI-MIPS 的 ISA 语义
使用 Sail 语言为 ARMv8-A、RISC-V、MIPS 和 CHERI-MIPS 架构建立严谨的可执行语义模型，支持模拟器与证明助手代码生成。
POPL 3(POPL)2019匹配度 3/10引用 131形式语义领域特定语言与建模定理证明与证明工程
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 Learning from, understanding, and supporting DevOps artifacts for docker
学习、理解并支持面向 Docker 的 DevOps 制品
提出工具集 binnacle，从 90 万个 GitHub 仓库中学习并语义分析 Docker 等 DevOps 制品，超越浅层语法校验。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 3/10引用 54程序分析与抽象解释领域特定语言与建模
P2 A graph solver for the automated generation of consistent domain-specific models
面向一致性领域特定模型自动生成的图求解器
提出直接在图结构上求解的图求解器，用于自动生成满足元模型与良构约束的大规模一致领域模型。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 3/10引用 53领域特定语言与建模逻辑与约束编程
P2 From Clarity to Efficiency for Distributed Algorithms
从清晰到高效：面向分布式算法
提出一种高层分布式算法语言及自动优化，将复杂同步条件转为增量更新，从而高效实现逻辑量化。
TOPLAS 39(3)2017匹配度 3/10引用 53分布式与容错编译与代码生成领域特定语言与建模
P2 Functional programming for compiling and decompiling computer-aided design
面向计算机辅助设计编译与反编译的函数式编程
提出函数式CAD语言LambdaCAD及语义保持编译器，并用求值上下文合成算法将网格反编译回可编辑的CAD程序。
ICFP 2(ICFP)2018匹配度 3/10引用 48领域特定语言与建模程序合成
P2 Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems
应对组合爆炸：分析高度可配置系统的工业需求与实践研究
通过工业调查与访谈，揭示高度可配置系统分析的实际需求、实践及工具缺口。
ASE Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering2018匹配度 3/10引用 47领域特定语言与建模编程环境与开发者工具
P2 Multi-granular conflict and dependency analysis in software engineering based on graph transformation
基于图变换的软件工程多粒度冲突与依赖分析
提出多粒度静态冲突与依赖分析算法，高效计算二元、粗粒度与细粒度结果。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 3/10引用 40程序分析与抽象解释领域特定语言与建模
P2 Xpert: Empowering Incident Management with Query Recommendations via Large Language Models
Xpert：基于大语言模型的查询推荐赋能事故管理
通过大规模实证研究KQL查询使用，并基于大语言模型提出Xpert查询推荐，提升云系统事故管理效率。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10引用 37领域特定语言与建模机器学习与程序语言
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 Eunomia: Enabling User-Specified Fine-Grained Search in Symbolically Executing WebAssembly Binaries
Eunomia：在符号执行 WebAssembly 二进制程序时支持用户指定的细粒度搜索
提出用 DSL 指定局部搜索策略的细粒度符号执行技术 Eunomia，并实现首个全特性 WebAssembly 符号执行引擎。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 28程序分析与抽象解释领域特定语言与建模
P2 Narcissus: correct-by-construction derivation of decoders and encoders from binary formats
Narcissus：从二进制格式构造即正确地推导解码器与编码器
用 Coq 策略从无冗余二进制格式规范自动推导互为逆的解码器与编码器，并重实现网络协议栈。
ICFP 3(ICFP)2019匹配度 3/10引用 27定理证明与证明工程领域特定语言与建模
P2 Supporting the Statistical Analysis of Variability Models
支持可变性模型的统计分析
提出可变性模型的概率基础，支持统计推理、可视化与更精确敏感的自动化分析。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 3/10引用 25领域特定语言与建模
P2 Block public access: trust safety verification of access control policies
Block Public Access：访问控制策略的信任安全验证
提出 Block Public Access，用 SMT 与残差策略验证访问控制策略不授予公共访问，并已在 AWS 生产部署。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10引用 25程序验证领域特定语言与建模安全与隐私
P2 FLACK: Counterexample-Guided Fault Localization for Alloy Models
FLACK：面向 Alloy 模型的反例引导故障定位
提出反例引导的故障定位技术 FLACK，为声明式 Alloy 模型定位并排序导致断言违反的可疑表达式。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 3/10引用 22测试、调试与修复领域特定语言与建模
P2 Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments
建模作业中 AI 混淆抄袭的自动检测
提出自动分析结合人工复核的建模作业抄袭检测方法，对 ChatGPT 混淆抄袭的检测率与鲁棒性显著优于现有工作。
ICSE Proceedings of the 46th International Conference on Software Engineering: Software Engineering Education and Training2024匹配度 3/10引用 21领域特定语言与建模机器学习与程序语言
P2 Bringing the WebAssembly Standard up to Speed with SpecTec
用 SpecTec 为 WebAssembly 标准提速
提出 SpecTec DSL 与工具链，将 Wasm 形式规范作为单一事实来源，自动生成规范文档与元级解释器并发现规范错误。
PLDI 8(PLDI)2024匹配度 3/10引用 21领域特定语言与建模形式语义
P2 Goal-conflict likelihood assessment based on model counting
基于模型计数的目标冲突可能性评估
提出以模型计数量化目标冲突发生可能性，服务于目标导向需求工程的风险评估。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 3/10引用 19逻辑与约束编程领域特定语言与建模
P2 Infrastructure as code for dynamic deployments
面向动态部署的基础设施即代码
指出现有静态 IaC 无法表达基础设施的动态变化，主张让动态行为进入 IaC 程序并支持联合分析测试。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 18领域特定语言与建模
P2 Slapo: A Schedule Language for Progressive Optimization of Large Deep Learning Model Training
Slapo：面向大规模深度学习模型训练渐进式优化的调度语言
提出调度语言 Slapo，将 PyTorch 模型的执行与定义解耦，通过高层调度原语渐进式优化大模型训练。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 3/10引用 17领域特定语言与建模机器学习与程序语言
P2 Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven Systems
不可预测且可抢占的中断驱动系统的简易建模与验证
提出中断序列图 ISD 及其自动机语义，将中断驱动系统转换为混合自动机以复用模型检测器。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 3/10引用 16领域特定语言与建模程序验证
P2 FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain
FREPA：飞机控制领域需求建模与分析的自动化形式化方法
提出FREPA方法、领域语言AASRDL及工具AeroReq，支持航空控制需求形式化建模与V&V并落地工业。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10引用 15领域特定语言与建模程序验证
P2 Dependently-typed data plane programming
依赖类型的数据平面编程
提出基于可判定精化的依赖类型 P4 方言 Π4，为数据平面程序提供轻量级静态验证。
POPL 6(POPL)2022匹配度 3/10引用 15类型系统领域特定语言与建模
P2 Computation semantics of the functional scientific workflow language Cuneiform
函数式科学工作流语言 Cuneiform 的计算语义
给出 Cuneiform 的抽象语法、简单类型系统与求值语义，并提供 Erlang 参考实现。
JFP vol.272017匹配度 3/10引用 15形式语义领域特定语言与建模
P2 Declarative smart contracts
声明式智能合约
提出声明式语言 DeCon，用关系约束建模智能合约并规格化合约级属性，可编译为带运行时监控的 Solidity。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 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 Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
基础设施即代码的多语言（polyglot）代码异味检测：GLITCH
提出 GLITCH：面向 IaC 的跨技术代码异味检测框架，通过中间表示支持多种 IaC 语言并提高检测精度与召回率。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10引用 13程序分析与抽象解释领域特定语言与建模
P2 Bring Your Own Data Structures to Datalog
把自定义数据结构带入 Datalog
提出 Byods：一种嵌入 Rust 的 DSL，使 Datalog 规则对关系的数据结构表示参数化，从而突破引擎内置表示带来的算法复杂度瓶颈。
OOPSLA 7(OOPSLA2)2023匹配度 3/10引用 11逻辑与约束编程领域特定语言与建模
P2 Grisette: Symbolic Compilation as a Functional Programming Library
Grisette：将符号编译作为函数式编程库
提出纯函数式、静态类型的符号求值库 Grisette，以有序守卫合并路径，显著缩小约束并加速求解。
POPL 7(POPL)2023匹配度 3/10引用 10函数式编程逻辑与约束编程领域特定语言与建模
P2 Model-based testing of networked applications
基于模型的网络应用测试
提出一个基于Coq嵌入式DSL的非确定性服务器模型，实现应用层协议自动测试并平滑过渡到形式验证。
ISSTA Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis2021匹配度 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 𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes
λS：具有高阶函数与数据类型的可微编程的可计算语义
提出可微编程语言 λS，首次为高阶函数、高阶导数与 Lipschitz 不可微函数提供可计算语义。
POPL 5(POPL)2021匹配度 3/10引用 8形式语义机器学习与程序语言领域特定语言与建模
P2 REDriver: Runtime Enforcement for Autonomous Vehicles
REDriver：自动驾驶汽车的运行时强制执行
提出基于信号时序逻辑的通用模块化运行时强制执行方法，通过梯度驱动算法修复自动驾驶系统的规划轨迹。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10引用 7程序验证领域特定语言与建模
P2 Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis
利用大型语言模型进行 Simulink 工具链测试，并开发多样化的开源 Simulink 模型语料库以支持度量与演化分析
提出构建可复用 Simulink 模型语料库，并利用大语言模型测试 Simulink 工具链以发现关键缺陷。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 3/10引用 7测试、调试与修复机器学习与程序语言领域特定语言与建模
P2 Active Learning for Inference and Regeneration of Applications that Access Databases
主动学习用于访问数据库应用的推断与再生成
提出 Konure，用主动学习推断访问关系数据库的应用模型，并将模型再生成带安全检查的 Python 实现。
TOPLAS 42(4)2020匹配度 3/10引用 7领域特定语言与建模程序合成机器学习与程序语言
P2 Tilus: A Tile-Level GPGPU Programming Language for Low-Precision Computation
Tilus：一种面向低精度计算的 Tile 级 GPGPU 编程语言
提出支持 1–8 位任意位宽低精度类型的 Tile 级 GPGPU 编程语言 Tilus，经自动向量化与指令选择生成高效 GPU 内核。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 3/10引用 6领域特定语言与建模语言与体系结构
P2 CPSDebug: a tool for explanation of failures in cyber-physical systems
CPSDebug：一种信息物理系统故障解释工具
提出灰盒调试工具CPSDebug，结合测试、规约挖掘与故障分析，解释MATLAB Simulink/Stateflow模型故障的时空传播。
ISSTA Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis2020匹配度 3/10引用 6测试、调试与修复领域特定语言与建模
P2 Generating Compilers for Qubit Mapping and Routing
为量子比特映射与路由生成编译器
提出设备状态机抽象与DSL，可自动为任意量子处理器生成量子比特映射与路由编译器。
POPL 10(POPL)2026匹配度 3/10引用 6量子与概率编程领域特定语言与建模
P2 Trustworthy Runtime Verification via Bisimulation (Experience Report)
通过互模拟实现可信的运行时验证（经验报告）
CopilotVerifier 为 Copilot 编译器输出的 C 监视器生成与源语义互模拟的正确性证明。
ICFP 7(ICFP)2023匹配度 3/10引用 6程序验证领域特定语言与建模
P2 A Programming Language for Data Privacy with Accuracy Estimations
一种带精度估计的数据隐私编程语言
提出 DPella 编程框架，静态追踪差分隐私数据分析的精度及其与隐私的权衡。
TOPLAS 43(2)2021匹配度 3/10引用 6安全与隐私程序分析与抽象解释领域特定语言与建模
P2 Change impact analysis in Simulink designs of embedded systems
嵌入式系统Simulink设计中的变更影响分析
提出Boundary Diagram Tool，将单模型切片扩展至多模型嵌入式系统，实现跨模型变更影响分析并集成到汽车OEM流程。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 3/10引用 4领域特定语言与建模程序分析与抽象解释
P2 VFQL: combinational static analysis as query language
VFQL：将组合式静态分析作为查询语言
提出 VFQL——在值流图上进行组合静态分析的查询语言与框架，支持用户自定义缺陷检测。
ISSTA Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis2019匹配度 3/10引用 4程序分析与抽象解释领域特定语言与建模
P2 Dargent: A Silver Bullet for Verified Data Layout Refinement
Dargent：验证数据布局精化的银弹
提出 Dargent 数据布局描述语言与精化框架，为 Cogent 生成带形式正确性证明的 C 代码，消除 marshalling 复制开销。
POPL 7(POPL)2023匹配度 3/10引用 4领域特定语言与建模程序验证
P2 Verifying Declarative Smart Contracts
验证声明式智能合约
面向逻辑式 DSL De-Con 编写的声明式智能合约，提出自动化安全验证工具 DCV，可自动推断归纳不变式。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 3/10引用 3程序验证领域特定语言与建模
P2 Creating concise and efficient dynamic analyses with ALDA
用 ALDA 创建简洁高效的动态分析
提出动态分析描述语言 ALDA 及优化编译器 ALDAcc，可生成与手工调优性能相当的分析实现。
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 3/10引用 3程序分析与抽象解释领域特定语言与建模
P2 Enhancing Game AI Behaviors with Large Language Models and Agentic AI
利用大语言模型与智能体 AI 增强游戏 AI 行为
提出基于 LLM 与智能体的框架，自动生成 NPC 行为树，提升游戏 AI 开发效率与可及性。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10引用 3机器学习与程序语言领域特定语言与建模
P2 RE-oriented Model Development with LLM Support and Deduction-based Verification
面向需求工程的模型开发：LLM 支持与基于演绎的验证
提出一个结合 UML 建模、LLM 辅助与演绎验证的需求工程框架，可自动生成程序骨架。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10引用 3领域特定语言与建模机器学习与程序语言程序验证
P2 Quantitative relational modelling with QAlloy
QAlloy 的定量关系建模
将整数内化到关系，扩展 Alloy 以优雅支持定量需求，并提供基于 SMT 的无界分析引擎。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 3/10引用 3领域特定语言与建模逻辑与约束编程
P2 Network Change Validation with Relational NetKAT
基于关系式 NetKAT 的网络变更验证
提出 Relational NetKAT 规格语言与转换器/自动机算法，以验证网络变更是否符合意图。
POPL 10(POPL)2026匹配度 3/10引用 3领域特定语言与建模逻辑与自动机
P2 Incremental type-checking for free: using scope graphs to derive incremental type-checkers
免费的增量类型检查：用作用域图派生增量类型检查器
从 Statix 类型系统规范自动派生增量类型检查器，借助作用域图查询依赖只重分析受影响单元。
OOPSLA 6(OOPSLA2)2022匹配度 3/10引用 3程序分析与抽象解释领域特定语言与建模
P2 Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation
像剥洋葱一样建模：分层分析驱动的自动行为模型生成
提出 LATO，以分层分析策略引导 LLM 从需求文本生成可执行 UML 活动图，提升行为建模的准确性与完整性。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 2领域特定语言与建模机器学习与程序语言
P2 Y-Map: A Multi-Encoder Y-Architecture for Predicting Performance-Aware Object-Relational Mappings
Y-Map：一种用于预测性能感知对象关系映射的多编码器 Y 架构
Y-Map 用神经-符号回归离线预测 ORM schema 的插入延迟、查询延迟与内存，实现免基准测试的帕累托式选型。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 2机器学习与程序语言领域特定语言与建模
P2 Utilizing LLMs for Industrial Process Automation
利用大语言模型实现工业过程自动化
探索将LLM用于工业过程自动化中专有语言的编程任务，以加速制造系统开发。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 2机器学习与程序语言领域特定语言与建模
P2 LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
基于结构化规约驱动工程的 LLM 辅助仓库级代码生成
提出结构化规约驱动工程（SSDE）范式，以结构化规约替代自然语言提示引导 LLM 生成仓库级代码，并通过试点研究验证其可行性与可验证性优势。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10引用 2机器学习与程序语言领域特定语言与建模
P2 IntelliTopo: An IaC Generation Service for Industrial Network Topology Construction
IntelliTopo：面向工业网络拓扑构建的 IaC 生成服务
提出首个面向工业网络拓扑构建的 IaC 生成框架，通过语义拓扑解析与领域感知镜像检索增强 LLM，将部署时间从天缩短到小时。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10引用 2机器学习与程序语言领域特定语言与建模
P2 LightF3: A Lightweight Fully-Process Formal Framework for Automated Verifying Railway Interlocking Systems
LightF3：面向铁路联锁系统自动验证的轻量级全流程形式化框架
提出 LightF3 框架，以基于 FQLTL 的 RIS-FL 语言建模联锁系统并自动转换为 AIGER，调用主流模型检测器完成验证。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 3/10引用 2程序验证领域特定语言与建模
P2 Generating efficient solvers from constraint models
从约束模型生成高效求解器
提出模型驱动方法 SoGen，用 DSL PDL 建模组合问题，自动分析问题性质并合成高效专用求解器（C 程序）。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 3/10引用 2领域特定语言与建模逻辑与约束编程
P2 A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)
memo：一个用于推理“推理”的领域特定概率编程语言（或：关于 memo 的备忘录）
提出领域特定概率编程语言 memo，以专用语法语义和数组编程推断，支持心智理论建模。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 2量子与概率编程领域特定语言与建模
P2 A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler
一种用于计算机代数的安全低级语言及其形式验证编译器
提出一种介于 C 与 Rust 之间、面向计算机代数底层库的安全低级语言，并用 Coq 证明其安全性及基于 CompCert 的编译器语义保持。
ICFP 8(ICFP)2024匹配度 3/10引用 2领域特定语言与建模编译与代码生成定理证明与证明工程
P2 SpecFSM: Extracting and Repairing Finite State Machines from Protocol Specification Documents
SpecFSM：从协议规范文档中提取并修复有限状态机
提出 SpecFSM，从协议规范文档中提取有限状态机并修复其中的错误或不一致。
ASE Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering2026匹配度 3/10引用 1领域特定语言与建模
P2 Verification of Multi-Model Stochastic Systems
多模型随机系统的验证
提出 ULTIMATE 框架，统一多类随机模型的表示、验证与综合，并处理模型间依赖。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10引用 1程序验证领域特定语言与建模
P2 Einsum Trees: An Abstraction for Optimizing the Execution of Tensor Expressions
Einsum 树：优化张量表达式执行的一种抽象
提出 Einsum Tree IR，在给定收缩路径下全局优化张量数据布局，提升 einsum 表达式整体执行性能。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22025匹配度 3/10引用 1编译与代码生成领域特定语言与建模
P2 InfraFix: Technology-Agnostic Repair of Infrastructure as Code
InfraFix：与技术无关的基础设施即代码修复
首个技术无关的 IaC 自动修复框架，支持多源信息引导修复，并生成大规模修复场景进行评估。
ISSTA Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis2025匹配度 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 Weighted NetKAT: A Programming Language for Quantitative Network Verification
加权 NetKAT：一种面向定量网络验证的编程语言
提出参数化于半环的加权 NetKAT 语言，并借助加权自动机实现对定量网络性质的自动判定。
PLDI 10(PLDI)2026匹配度 3/10引用 1领域特定语言与建模形式语义
P2 The Continuous Tensor Abstraction: Where Indices Are Real
连续张量抽象：当索引取实数时
提出允许实数索引的连续张量抽象与代数表达式，并为分段常数张量实现存储格式与自动内核生成。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 1领域特定语言与建模编译与代码生成
P2 GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler
GALA：一种高性能图神经网络加速语言与编译器
提出 GALA DSL 与编译器，通过两级 IR 组合算子内/间优化并支持训练专用变换，实现 GNN 推理与训练加速。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 1领域特定语言与建模编译与代码生成
P2 Flexible and Expressive Typed Path Patterns for GQL
面向 GQL 的灵活且富有表达力的带类型路径模式
为 GQL 核心片段提出带不精确类型的类型系统 FPPC，静态检测空查询与卡住查询并保证类型安全。
OOPSLA 9(OOPSLA2)2025匹配度 3/10引用 1类型系统领域特定语言与建模
P2 A Lightweight Polyglot Code Transformation Language
一种轻量级的多语言代码转换语言
提出声明式多语言代码转换 DSL，通过组合、排序和流扩展轻量匹配替换，支持相互依赖的跨语言重构。
PLDI 8(PLDI)2024匹配度 3/10引用 1领域特定语言与建模编译与代码生成
P2 CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming
CoolerSpace：一种用于物理正确且计算高效的颜色编程语言
CoolerSpace 通过赋予物理量纲的类型系统与等式饱和优化，让颜色编程既物理正确又计算高效。
OOPSLA 8(OOPSLA2)2024匹配度 3/10引用 1领域特定语言与建模类型系统编译与代码生成
P2 Synthesizing Graph Queries from Demonstrations
从演示中合成图查询
提出结合图挖掘与演绎剪枝的图查询合成方法，实现工具 DMiner，可从用户的计算演示中高效合成图查询。
OOPSLA 10(OOPSLA2)2026匹配度 3/10程序合成领域特定语言与建模
P2 Structural Causal World Models: Towards An Assurance Framework for Safety-Critical Systems and Safeguarded AI
结构化因果世界模型：迈向安全关键系统与受保障 AI 的保证框架
提出 SCWM，用符号、概率与因果三层建模安全关键系统的运行情境，支持可追溯危害分析与情境感知安全契约。
ICSE Proceedings of the IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10领域特定语言与建模程序验证
P2 Temporal Specification Oriented Fuzzing for Trigger-Action-Programming Smart Home Integrations
面向时序规约的模糊测试：用于触发-动作编程的智能家居集成
提出面向 LTL 时序规约的模糊测试方法，规避模型检测的状态爆炸，发现智能家居触发-动作集成中的规则缺陷与安全风险。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10测试、调试与修复领域特定语言与建模
P2 FM4MC: Improving Feature Models for Microservice Chains—Towards More Efficient Configuration and Validation
FM4MC：改进微服务链的特征模型——面向更高效的配置与验证
提出 FM4MC，通过切片为部分特征模型并按复杂度选择性 SAT 求解，大幅加速微服务链特征模型验证。
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 3/10领域特定语言与建模逻辑与约束编程
P2 Testing Protocols with Formal Languages
使用形式语言测试协议
提出基于形式语言的协议测试方法，扩展 fandango 规范以统一描述协议状态、语法与语义，并用 k-path 引导探索生成测试序列。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10测试、调试与修复领域特定语言与建模
P2 Generating Test Inputs and Interactions with the Fandango Fuzzer: How to Test Complex Systems Automatically and Exhaustively
使用 Fandango Fuzzer 生成测试输入与交互：如何自动且详尽地测试复杂系统
介绍基于规约的 Fandango 测试生成器，通过规格文件系统生成复杂输入与交互序列。
FSE Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering2026匹配度 3/10测试、调试与修复领域特定语言与建模
P2 Training-Control-as-Code: Towards a declarative solution to control training
Training-Control-as-Code：迈向训练控制的声明式解决方案
提出“训练控制即代码”范式与 TrAC 声明式框架，让用户用代码分析训练状态并介入控制，减少资源浪费。
ASE 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)2025匹配度 3/10领域特定语言与建模机器学习与程序语言
P2 SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation
SemServGen：通过语义服务生成推进工业领域特定语言工程
提出 SemServGen 框架，用统一语言 SemaDSL 声明 DSL 语义服务并自动生成可执行实现，开发效率提升约 2 倍。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10领域特定语言与建模编程环境与开发者工具
P2 Human-Centric Hybrid-AI for No-Code Development
面向无代码开发的以人为中心混合AI
提出以人为中心混合AI研究议程：用生成式AI与可解释符号AI经中间DSL实现可靠、可解释的无代码开发。
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10领域特定语言与建模机器学习与程序语言
P2 GIVUP: Automated Generation and Verification of Textual Process Descriptions
GIVUP：文本化流程描述的自动生成与验证
GIVUP 将自然语言流程与属性转为 BPMN 和 LTL，并用模型检测验证，不满足时给出诊断。
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 Test Case Generation for Simulink Models using Model Fuzzing and State Solving
基于模型模糊测试与状态求解的 Simulink 模型测试用例生成
提出结合模型模糊测试与状态求解的 Simulink 测试用例生成方法，以应对复杂分支与状态。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 3/10测试、调试与修复领域特定语言与建模
P2 Live Programming for Finite Model Finders
面向有限模型查找器的实时编程
提出将 Alloy 模型编写与解探索交织的实时编程概念验证环境，改善开发者反馈循环。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 3/10领域特定语言与建模编程环境与开发者工具
P2 Programmable Property-Based Testing
可编程的基于属性的测试
提出延迟绑定抽象语法，将属性重化为数据结构并与测试执行器解耦，实现可编程的属性测试语言。
ICFP 10(ICFP)2026匹配度 3/10测试、调试与修复领域特定语言与建模
P2 Domain-specific tensor languages
领域特定张量语言
提出嵌入 Haskell 的 EDSL，以索引记法表达张量并用代数结构定义语义。
JFP vol.352025匹配度 3/10领域特定语言与建模函数式编程
P2 PAFL: Enhancing Fault Localizers by Leveraging Project-Specific Fault Patterns
PAFL：利用项目特定的故障模式增强故障定位器
提出 PAFL，通过挖掘项目历史故障模式并设计故障模式描述语言，增强现有故障定位工具。
OOPSLA 9(OOPSLA1)2025匹配度 3/10测试、调试与修复领域特定语言与建模
P2 ROSpec: A Domain-Specific Language for ROS-Based Robot Software
ROSpec：面向基于 ROS 的机器人软件的领域特定语言
提出面向 ROS 的 DSL ROSpec，用于指定并验证机器人组件的配置与集成，检测误配置。
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 Coordination Language for Databases
一种面向数据库的协调语言
提出数据库协调语言 Klaim-DB，给出其形式语义与类型系统，以排除求值错误和表数据格式不匹配等运行时错误。
LMCS vol.Volume 13, Issue 12017匹配度 3/10领域特定语言与建模形式语义类型系统
P2 Propagating configuration decisions with modal implication graphs
用模态蕴含图传播配置决策
提出模态蕴含图预计算中间值，显著加速高度可配置系统的无回溯配置决策传播。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10引用 70领域特定语言与建模
P2 Allo: A Programming Model for Composable Accelerator Design
Allo：面向可组合加速器设计的编程模型
提出可组合编程模型 Allo，通过类型安全的定制原语自底向上组合硬件定制，支持跨函数整体优化。
PLDI 8(PLDI)2024匹配度 2/10引用 63领域特定语言与建模语言与体系结构
P2 Achieving high-performance the functional way: a functional pearl on expressing high-performance optimizations as rewrite strategies
以函数式方式实现高性能：关于将高性能优化表达为重写策略的函数式珍珠
提出 RISE 与 ELEVATE 两个函数式语言，用可组合的重写策略描述优化并自动生成高性能并行代码。
ICFP 4(ICFP)2020匹配度 2/10引用 58领域特定语言与建模编译与代码生成
P2 LawBreaker: An Approach for Specifying Traffic Laws and Fuzzing Autonomous Vehicles
LawBreaker：一种交通法规规约与自动驾驶汽车模糊测试方法
提出 LawBreaker，用驾驶员导向的法规规约语言和覆盖最大化模糊测试来发现自动驾驶系统的交通法规违反场景。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10引用 55测试、调试与修复领域特定语言与建模
P2 Catala: a programming language for the law
Catala：一种面向法律的编程语言
提出面向成文法的编程语言 Catala，支持一般/例外规则，并用 F* 验证编译器核心步骤，评估中发现官方实现 bug。
ICFP 5(ICFP)2021匹配度 2/10引用 53领域特定语言与建模定理证明与证明工程
P2 Automatically finding bugs in a commercial cyber-physical system development tool chain with SLforge
使用 SLforge 自动发现商业信息物理系统开发工具链中的缺陷
提出 SLforge，面向 Simulink 等商业 CPS 工具链自动生成模型并差分测试，以发现工具链缺陷。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10引用 48测试、调试与修复领域特定语言与建模
P2 Multi-objective integer programming approaches for solving optimal feature selection problem
求解最优特征选择问题的多目标整数规划方法
揭示软件产品线最优特征选择的多目标二值整数线性规划本质，并提出可线性时间生成完整Pareto前沿的高效方法。
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10引用 45领域特定语言与建模逻辑与约束编程
P2 Compiling to categories
编译到范畴
将类型化函数式程序经保持语义的变换编译到不同范畴，以统一实现硬件电路、自动微分、增量计算等解释。
ICFP 1(ICFP)2017匹配度 2/10引用 43形式语义编译与代码生成领域特定语言与建模
P2 Input invariants
输入不变式
提出 ISLa，一种基于上下文无关文法的声明式规范语言，用于描述结构化系统输入的上下文相关约束，从而生成语义有效的输入。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10引用 42测试、调试与修复领域特定语言与建模
P2 MSCCLang: Microsoft Collective Communication Language
MSCCLang：微软集合通信语言
提出面向多 GPU 集合通信的领域特定语言 MSCCLang，用于表达针对网络拓扑与应用模式定制的集合算法。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 38领域特定语言与建模语言与体系结构
P2 SLEMI
SLEMI
提出 SLEMI，为 Simulink 等 CPS 开发工具设计 EMI 变异差分测试，发现 9 个被确认的 bug。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10引用 37测试、调试与修复领域特定语言与建模
P2 Visualization by example
基于示例的可视化
提出组合式示例驱动可视化合成，将任务分解为两个 DSL 合成问题，并用双向程序分析处理不精确中间规约。
POPL 4(POPL)2019匹配度 2/10引用 36程序合成领域特定语言与建模
P2 Build systems à la carte
构建系统 à la carte
提出可执行模块化框架，将构建系统视为设计空间中的点，通过拆解与重组组件来比较并原型化新构建系统。
ICFP 2(ICFP)2018匹配度 2/10引用 36领域特定语言与建模编程环境与开发者工具
P2 GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
GLITCH：基础设施即代码中的自动化多语言安全异味检测
提出 GLITCH，面向多种 IaC 技术实现跨语言的安全异味自动检测，避免为每种技术重复实现检测逻辑。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10引用 33安全与隐私领域特定语言与建模程序分析与抽象解释
P2 Puddle
Puddle
提出全栈数字微流控自动化平台 Puddle，其运行时提供高层 API、动态资源管理与实时纠错，实现可靠执行。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 33领域特定语言与建模运行时与内存管理
P2 Mimic: UI Compatibility Testing System for Android Apps
Mimic：面向 Android 应用的 UI 兼容性测试系统
Mimic 是一个自动化 UI 兼容性测试系统，可跨设备、Android 版本和应用版本对比 UI 行为并检测兼容性问题。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 32测试、调试与修复领域特定语言与建模
P2 Top-Down Synthesis for Library Learning
面向库学习的自顶向下合成
提出语料引导的自顶向下合成算法 Stitch，从 DSL 程序语料中高效学习库抽象，速度与内存大幅优于 DreamCoder。
POPL 7(POPL)2023匹配度 2/10引用 32程序合成领域特定语言与建模
P2 Functional collection programming with semi-ring dictionaries
基于半环字典的函数式集合编程
提出半环字典这一纯函数式集合抽象与静态类型语言SDQL，统一数据库与线性代数优化，高效处理混合工作负载。
OOPSLA 6(OOPSLA1)2022匹配度 2/10引用 31函数式编程领域特定语言与建模
P2 Multifaceted Automated Analyses for Variability-Intensive Embedded Systems
面向变体密集型嵌入式系统的多面向自动化分析
提出模型驱动框架，用可变数据流与可配置硬件建模，经设计空间映射和变体感知验证自动选出最优系统变体。
ICSE 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)2019匹配度 2/10引用 28领域特定语言与建模程序验证
P2 Tseitin or not Tseitin? The Impact of CNF Transformations on Feature-Model Analyses
Tseitin 还是不 Tseitin？CNF 变换对特征模型分析的影响
系统比较三种 CNF 变换对特征模型分析的正确性与性能影响，揭示 Tseitin 等变换并非总是适用。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10引用 27逻辑与约束编程领域特定语言与建模
P2 FlashFill++: Scaling Programming by Example by Cutting to the Chase
FlashFill++：通过 Cut 直击关键来扩展示例编程
提出 cut 函数与 guarded DSL，把示例编程合成扩展到含非 EI/EE 算子的大型 DSL，并实现 FlashFill++。
POPL 7(POPL)2023匹配度 2/10引用 27程序合成领域特定语言与建模
P2 Scenario-based test reduction and prioritization for multi-module autonomous driving systems
面向多模块自动驾驶系统的基于场景的测试约简与优先级排序
提出基于驾驶场景特征的测试约简与优先级排序方法，在削减34%以上回放数据的同时保持故障检测能力。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10引用 26测试、调试与修复领域特定语言与建模
P2 Sound and robust solid modeling via exact real arithmetic and continuity
基于精确实数算术与连续性的可靠且鲁棒实体建模
提出 StoneWorks 库、MarshallB 语言与 K-rep 表示，使实体建模在精确实数算术和连续性下可靠且鲁棒。
ICFP 3(ICFP)2019匹配度 2/10引用 26函数式编程领域特定语言与建模
P2 An algebra for distributed Big Data analytics
面向分布式大数据分析的代数
提出基于幺半群同态的代数，作为 MRQL 形式基础，统一数据密集型分布式计算 DSL 操作并支持查询优化。
JFP vol.272017匹配度 2/10引用 26形式语义领域特定语言与建模编译与代码生成
P2 ORIANNA: An Accelerator Generation Framework for Optimization-based Robotic Applications
ORIANNA：面向基于优化的机器人应用的加速器生成框架
以因子图为统一抽象，自动为多种基于优化的机器人算法生成 FPGA 加速器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 24语言与体系结构领域特定语言与建模
P2 Practical fault detection in puppet programs
Puppet 程序中的实用故障检测
针对 Puppet 配置程序，识别资源顺序约束缺失与服务未绑定资源两类故障。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10引用 24程序分析与抽象解释领域特定语言与建模
P2 When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems
当你的基础设施是一个有缺陷的程序：理解基础设施即代码生态系统中的故障
首次系统分析 Ansible、Puppet、Chef 中 360 个 IaC 缺陷，总结其表现、根因、复现条件与修复方式。
OOPSLA 8(OOPSLA2)2024匹配度 2/10引用 24领域特定语言与建模测试、调试与修复
P2 Using Static Analysis to Address Microservice Architecture Reconstruction
使用静态分析解决微服务架构重建问题
提出基于静态代码分析重建微服务架构，生成通信图、上下文映射与限界上下文。
ASE 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)2021匹配度 2/10引用 23程序分析与抽象解释领域特定语言与建模
P2 Petr4: formal foundations for p4 data planes
Petr4：P4 数据平面的形式化基础
提出 Petr4，用定义式解释器与核心演算为 P4 数据平面建立形式化语义，并通过大规模测试和类型保持终止性证明验证。
POPL 5(POPL)2021匹配度 2/10引用 23形式语义领域特定语言与建模
P2 DecoMine: A Compilation-Based Graph Pattern Mining System with Pattern Decomposition
DecoMine：基于编译与模式分解的图模式挖掘系统
提出基于编译与模式分解的图模式挖掘系统 DecoMine，自动选择分解算法并降低编程开销。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12022匹配度 2/10引用 22编译与代码生成领域特定语言与建模
P2 Stochastic energy optimization for mobile GPS applications
面向移动 GPS 应用的随机性能量优化
提出 Aeneas 框架，用强化学习在不确定物理环境中自适应选择程序配置，满足移动 GPS 应用的能耗预算。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10引用 22机器学习与程序语言领域特定语言与建模
P2 ATR: template-based repair for Alloy specifications
ATR：面向 Alloy 规格的基于模板的修复
提出面向 Alloy 规格的模板化自动修复方法 ATR，弥补现有 APR 多针对命令式程序、依赖执行轨迹的不足。
ISSTA Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis2022匹配度 2/10引用 21测试、调试与修复领域特定语言与建模
P2 Probabilistic profiling of stateful data planes for adversarial testing
面向对抗测试的有状态数据平面的概率剖析
提出面向有状态可编程数据平面的概率剖析方法，以支持对抗性测试。
ASPLOS Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2021匹配度 2/10引用 21领域特定语言与建模测试、调试与修复
P2 Demystifying loops in smart contracts
揭秘智能合约中的循环
对两万余个 Solidity 合约的循环进行实证研究，提出循环模式 DSL 与合成工具 Solis，可总结至少 56% 的循环。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10引用 20领域特定语言与建模程序合成
P2 A framework for writing trigger-action todo comments in executable format
一个以可执行格式编写触发器-动作 TODO 注释的框架
提出 TrigIt，将 trigger-action TODO 注释写成可执行规约，在构建时自动执行查询、通知与代码变换。
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10引用 20领域特定语言与建模编程环境与开发者工具
P2 Modular quantitative monitoring
模块化定量监控
提出数据转换器模型以实现流数据查询的模块化编译，并定义 QRE-Past 定量监控语言。
POPL 3(POPL)2019匹配度 2/10引用 20领域特定语言与建模逻辑与自动机编译与代码生成
P2 Longnail: High-Level Synthesis of Portable Custom Instruction Set Extensions for RISC-V Processors from Descriptions in the Open-Source CoreDSL Language
Longnail：从开源 CoreDSL 语言描述到 RISC-V 处理器可移植定制指令集扩展的高层次综合
提出 CoreDSL 描述语言与 Longnail 高层次综合工具，实现 RISC-V 定制指令扩展的端到端生成与自动集成。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 19语言与体系结构领域特定语言与建模
P2 Validation of Modern JSON Schema: Formalization and Complexity
现代 JSON Schema 的验证：形式化与复杂度
首次形式化现代 JSON Schema，并证明其数据验证问题是 PSPACE 完全，根源在动态引用。
POPL 8(POPL)2024匹配度 2/10引用 19领域特定语言与建模形式语义逻辑与自动机
P2 Generating REST API Specifications through Static Analysis
通过静态分析生成 REST API 规范
提出 Respector，用静态与符号分析从源码自动生成 REST API 规范。
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10引用 17程序分析与抽象解释领域特定语言与建模
P2 Synthesizing symmetric lenses
合成对称 lens
将类型导向程序合成扩展到简单对称 lens，借助信息论和用户标注从示例合成 Boomerang lens。
ICFP 3(ICFP)2019匹配度 2/10引用 17程序合成领域特定语言与建模
P2 MSCCL++: Rethinking GPU Communication Abstractions for AI Inference
MSCCL++：重新思考面向 AI 推理的 GPU 通信抽象
提出 MSCCL++ 方法论，用底层原语、高层 DSL 与算法库实现高性能可移植 GPU 通信内核。
ASPLOS Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22026匹配度 2/10引用 16领域特定语言与建模语言与体系结构
P2 FIM: fault injection and mutation for Simulink
FIM：面向 Simulink 的故障注入与变异
提出开源工具 FIM，可在 Simulink 模型中自动注入故障并生成变异体。
FSE Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2022匹配度 2/10引用 16测试、调试与修复领域特定语言与建模
P2 Mosaic: An Interoperable Compiler for Tensor Algebra
Mosaic：面向张量代数的可互操作编译器
提出可互操作的稀疏张量代数编译器 Mosaic，通过调度 API 将子表达式绑定到外部函数并自动融合生成其余代码。
PLDI 7(PLDI)2023匹配度 2/10引用 16编译与代码生成领域特定语言与建模
P2 Towards a Formal Framework for Normative Requirements Elicitation
迈向规范性需求获取的形式化框架
提出形式框架 FormaTive，支持高层规范性需求规范，并自动检测冲突、冗余与关注点。
ASE 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE)2023匹配度 2/10引用 15领域特定语言与建模程序分析与抽象解释
P2 A novel approach to tracing safety requirements and state-based design models
一种追踪安全需求与基于状态设计模型之间追溯关系的新方法
提出突变驱动方法，利用模型检查与过程挖掘分析变异体杀死/存活，提升安全需求与状态机设计模型间的追溯精度。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10引用 15程序验证领域特定语言与建模
P2 Reducing run-time adaptation space via analysis of possible utility bounds
通过分析可能的效用边界缩减运行时自适应空间
提出 Thallium，用结构化可达性与最优效用边界剪枝，缩减运行时自适应决策空间。
ICSE Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering2020匹配度 2/10引用 15领域特定语言与建模程序分析与抽象解释
P2 A shared compilation stack for distributed-memory parallelism in stencil DSLs
面向模板（stencil）DSL 分布式内存并行的共享编译栈
基于 MLIR 构建面向 HPC 模板 DSL 的共享编译栈，提供分布式消息传递抽象并支撑三个 DSL 编译器。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 32024匹配度 2/10引用 14领域特定语言与建模编译与代码生成
P2 Monoidal Streams for Dataflow Programming
面向数据流编程的幺半流
将因果流函数推广到幺半范畴，为以对称幺半范畴表示过程的数据流语言与信号流图提供语义。
LICS Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science2022匹配度 2/10引用 14形式语义领域特定语言与建模
P2 Automatic extraction of cause-effect-relations from requirements artifacts
从需求制品中自动抽取因果关系
关注从自然语言需求制品中自动抽取因果关系，并论证其可支持测试用例等后续制品的半自动生成。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10引用 13领域特定语言与建模
P2 ImageEye: Batch Image Processing using Program Synthesis
ImageEye：基于程序合成的批量图像处理
提出神经符号DSL与程序合成方法，从用户演示自动生成细粒度批量图像编辑程序。
PLDI 7(PLDI)2023匹配度 2/10引用 13程序合成领域特定语言与建模机器学习与程序语言
P2 Synthesizing quotient lenses
合成商透镜
提出商正则表达式与商透镜，并利用规范化定理从示例合成双向变换。
ICFP 2(ICFP)2018匹配度 2/10引用 13程序合成领域特定语言与建模
P2 TGLite: A Lightweight Programming Framework for Continuous-Time Temporal Graph Neural Networks
TGLite：面向连续时间时间图神经网络的轻量级编程框架
TGLite是一个轻量级编程框架，通过可组合的TBlock抽象支持连续时间时间图神经网络，显著提升训练与推理性能。
ASPLOS Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22024匹配度 2/10引用 12机器学习与程序语言领域特定语言与建模
P2 Security Checking of Trigger-Action-Programming Smart Home Integrations
触发器-动作编程智能家居集成的安全性检查
提出 MEDIC 框架，自动建模 IFTTT 风格智能家居集成并检测其安全问题，实验发现 83% 的集成存在安全隐患。
ISSTA Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis2023匹配度 2/10引用 12领域特定语言与建模安全与隐私
P2 EvoCLINICAL: Evolving Cyber-Cyber Digital Twin with Active Transfer Learning for Automated Cancer Registry System
EvoCLINICAL：面向自动化癌症登记系统的演化式 cyber-cyber 数字孪生与主动迁移学习
提出 EvoCLINICAL，用主动迁移学习让癌症登记系统数字孪生随 GURI 演化，并以遗传算法选样查询新系统进行微调。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10引用 12机器学习与程序语言领域特定语言与建模
P2 MoFuzz
MoFuzz：面向 MDSE 工具的模型模糊测试
提出 MoFuzz，用图语法与覆盖引导变异为模型驱动工程工具生成良构模型进行模糊测试。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10引用 12测试、调试与修复领域特定语言与建模
P2 eQual: informing early design decisions
eQual：为早期设计决策提供依据
提出模型驱动的仿真评估技术 eQual，通过优化算法探索海量架构设计备选，提升早期设计决策质量。
FSE Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2020匹配度 2/10引用 12领域特定语言与建模编程环境与开发者工具
P2 Compilation of Modular and General Sparse Workspaces
模块化与通用稀疏工作区的编译
提出一种编译器设计，自动检测稀疏散射并插入模块化稀疏中间工作区张量，以高效生成稀疏张量代数代码。
PLDI 8(PLDI)2024匹配度 2/10引用 12编译与代码生成领域特定语言与建模
P2 Applicative bidirectional programming
应用式双向编程
提出应用式高阶双向编程框架，让双向变换能以标准函数式语言中的单向程序编写，并桥接 lens 与语义双向化两种方法。
JFP vol.282018匹配度 2/10引用 12函数式编程领域特定语言与建模
P2 Robustification of Behavioral Designs against Environmental Deviations
行为设计对环境偏差的鲁棒化
提出行为鲁棒化技术，将设计改造形式化为多目标优化，使系统在环境偏差下仍满足关键性质。
ICSE 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)2023匹配度 2/10引用 11程序合成领域特定语言与建模
P2 Compiling Distributed System Models with PGo
用 PGo 编译分布式系统模型
提出 PGo，将分布式系统模型编译为可执行实现，以减少形式设计与实现之间的人工桥接。
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10引用 11领域特定语言与建模编译与代码生成分布式与容错
P2 Scalable multiple-view analysis of reactive systems via bidirectional model transformations
基于双向模型变换的反应式系统可扩展多视图分析
提出在规约层切片并通过双向模型变换实现反应式系统多视图可扩展验证与变更传播的方法。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10引用 11领域特定语言与建模程序验证
P2 Debugging Support for Pattern-Matching Languages and Accelerators
面向模式匹配语言与加速器的调试支持
为 RAPID 模式匹配程序和有限自动机加速器提供无需改硬件的交互式步进调试与变量检查支持。
ASPLOS Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems2019匹配度 2/10引用 11测试、调试与修复领域特定语言与建模语言与体系结构
P2 ASketch: a sketching framework for Alloy
ASketch：面向 Alloy 的 sketch 合成框架
提出 ASketch，用带洞的部分 Alloy 模型、候选片段生成器与 AUnit 测试自动补全模型，辅助用户写出正确的 Alloy 模型。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10引用 11程序合成领域特定语言与建模
P2 Putback-based bidirectional model transformations
基于 putback 的双向模型变换
提出支持共享节点的模型合并式 BX 组合子与 putback 式语言 XMU，解决双向模型变换的歧义问题。
FSE Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2018匹配度 2/10引用 11领域特定语言与建模形式语义
P2 Modular Hardware Design of Pipelined Circuits with Hazards
带冒险的流水线电路的模块化硬件设计
提出 hazard interfaces 将冒险引发的跨级依赖封装于接口中，实现含各类冒险的流水线电路模块化设计。
PLDI 8(PLDI)2024匹配度 2/10引用 11语言与体系结构领域特定语言与建模
P2 Equality Saturation Theory Exploration à la Carte
按需组合式等价饱和理论探索
提出可编程理论探索 DSL Enumo，以可组合算子引导等价饱和的重写规则推断，并支持免求值的 fast-forwarding 策略。
OOPSLA 7(OOPSLA2)2023匹配度 2/10引用 11领域特定语言与建模定理证明与证明工程
P2 LLM4Workflow: An LLM-based Automated Workflow Model Generation Tool
LLM4Workflow：一个基于 LLM 的自动化工作流模型生成工具
提出 LLM4Workflow，利用 LLM 嵌入 API 知识，从描述自动生成可执行工作流模型。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10引用 10领域特定语言与建模机器学习与程序语言
P2 AlloyMax: bringing maximum satisfaction to relational specifications
AlloyMax：为关系规范带来最大满足
提出 AlloyMax，将最大满足/优化目标引入 Alloy 关系规范，使 SAT 无法处理的最优解分析成为可能。
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10引用 10逻辑与约束编程领域特定语言与建模
P2 Trace-checking signal-based temporal properties
基于信号的时序属性的迹检查
针对现有SBTP规约语言的不足，研究基于信号的时序属性的迹检查方法。
ASE Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering2020匹配度 2/10引用 10程序验证领域特定语言与建模
P2 Embedding by Unembedding
通过去嵌入实现嵌入
提出“去嵌入”通用策略，将 HOAS 风格嵌入表示转为 de Bruijn 索引项，以支持增量计算与双向变换等语义域。
ICFP 7(ICFP)2023匹配度 2/10引用 10领域特定语言与建模函数式编程
P2 Synthesizing Object State Transformers for Dynamic Software Updates
为动态软件更新合成对象状态转换器
通过复用新旧版本代码片段，自动合成动态软件更新中非平凡的对象状态转换器。
ICSE 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)2021匹配度 2/10引用 9程序合成领域特定语言与建模
P2 Building recommenders for modelling languages with Droid
使用 Droid 为建模语言构建推荐系统
提出 Droid 框架，用于为建模语言构建推荐系统，降低 DSL 推荐器的开发成本。
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10引用 9领域特定语言与建模编程环境与开发者工具
P2 Explainable dynamic programming
可解释的动态规划
提出基于细粒度值表示解释动态规划结果的方法，并用 Haskell 库支持从递推关系自动生成可解释实现。
JFP vol.312021匹配度 2/10引用 9函数式编程领域特定语言与建模
P2 Exo 2: Growing a Scheduling Language
Exo 2：生长式调度语言
提出可扩展的调度语言 Exo 2，通过 Cursors 机制让用户定义调度操作并构建调度库，在 80 多个高性能内核上大幅减少调度代码且保持竞争力性能。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 8领域特定语言与建模编译与代码生成
P2 General and Practical Property-based Testing for Android Apps
面向 Android 应用的通用且实用的基于属性的测试
提出通用实用的 Android 应用基于属性测试技术，含属性描述语言与两种探索策略，工具 Kea 发现大量功能缺陷。
ASE Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering2024匹配度 2/10引用 8测试、调试与修复领域特定语言与建模
P2 Towards Automated Detection of Unethical Behavior in Open-Source Software Projects
迈向开源软件项目中不道德行为的自动检测
首个从利益相关者视角对OSS不道德行为进行实证分类，并提出基于本体与SWRL规则自动检测六类不道德行为的Etor方法。
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10引用 8领域特定语言与建模编程环境与开发者工具
P2 mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines
mCUTE：面向 UML 状态机的模型级混合符号单元测试引擎
将 concolic 测试引入模型层，为 UML 状态机模型自动生成高覆盖率测试用例。
ASE 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)2019匹配度 2/10引用 8测试、调试与修复领域特定语言与建模
P2 Forge: A Tool and Language for Teaching Formal Methods
Forge：一种面向形式化方法教学的渐进式工具与语言
提出 Forge：基于 Alloy 的渐进式形式化方法教学工具与语言，支持可视化与测试。
OOPSLA 8(OOPSLA1)2024匹配度 2/10引用 8领域特定语言与建模编程环境与开发者工具
P2 KATch: A Fast Symbolic Verifier for NetKAT
KATch：面向 NetKAT 的快速符号验证器
为 NetKAT 网络规约语言设计新的符号自动机数据结构与算法，实现快速可扩展的等价性验证工具 KATch。
PLDI 8(PLDI)2024匹配度 2/10引用 8领域特定语言与建模程序验证
P2 A Lineage-Based Referencing DSL for Computer-Aided Design
面向计算机辅助设计的基于谱系的引用 DSL
提出基于谱系的引用DSL，将CAD引用作为一等构造，安全表达参数变化下的几何元素选择。
PLDI 7(PLDI)2023匹配度 2/10引用 8领域特定语言与建模形式语义
P2 Compilation of dynamic sparse tensor algebra
动态稀疏张量代数的编译
提出一种编译技术，将动态稀疏张量代数运算编译为适配多种指针式动态稀疏格式的高效代码。
OOPSLA 6(OOPSLA2)2022匹配度 2/10引用 8编译与代码生成领域特定语言与建模
P2 Collaboration vs. choreography conformance in BPMN
BPMN 中协作与编排的一致性
提出 BPMN 编排图与协作图的操作语义及两种一致性关系，并实现工具 C4 支持实践验证。
LMCS vol.Volume 16, Issue 42020匹配度 2/10引用 8领域特定语言与建模形式语义
P2 Dependent type systems as macros
作为宏的依赖类型系统
提出 Turnstile+：用宏实现依赖类型系统的高层元 DSL，支持快速原型化依赖类型语言与证明助手扩展。
POPL 4(POPL)2019匹配度 2/10引用 8领域特定语言与建模语言设计与特性
P2 Copper and Wire: Bridging Expressiveness and Performance for Service Mesh Policies
Copper 与 Wire：为服务网格策略桥接表达力与性能
提出新服务网格架构、策略语言与控制平面，在提升策略表达力的同时降低延迟和资源开销。
ASPLOS Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 12025匹配度 2/10引用 7领域特定语言与建模分布式与容错