无分支编程：条件执行优化的算术与位运算技巧
面向性能关键代码，使用算术和位运算替换条件分支，减少分支预测错误惩罚，并启用SIMD矢量化。提供C语言示例、掩码生成参数及应用清单。
分类：compilers
共 116 篇文章
用600行C代码构建最小Scheme到WebAssembly编译器
面向Scheme到WASM的编译，探讨利用WASM GC实现高效垃圾回收和轻量运行时集成的工程实践。
GraalVM 独立二进制：脱离 JDK 生态的工程化部署
探讨 GraalVM 如何通过独立二进制实现与 JDK 更新解耦，简化 polyglot 应用部署，并在 CI/CD 管道中加速 native image 构建，提供工程参数和最佳实践。
Typst 中集成 Rust 函数实现动态图表与方程生成
通过 Typst 包系统嵌入 Rust 函数，从数据源自动化构建技术文档中的动态图表和数学方程，提供集成参数与监控要点。
将 WASM GC 集成到最小 Scheme 编译器中
探讨在 C 语言编写的简易 Scheme 编译器中集成 WASM GC 提案，实现自动内存管理和高效 WebAssembly 代码生成，提供工程化参数与最佳实践。
Typst 中的增量编译：Rust 核心的解析与部分求值实现
在 Typst 的 Rust 核心中实现增量解析和部分求值，支持大型文档实时编辑的亚秒级反馈。
Python 类型提示自动化迁移：利用 Pyrefly 构建类型推断引擎与 CI/CD 管道
探讨如何使用 Pyrefly 等工具自动化为遗留 Python 代码添加类型提示，集成 CI/CD 实现 80% 覆盖率，提供工程参数和最佳实践。
构建 Brainfuck 和 INTERCAL 的最小解释器：探索受限语法下的图灵完备计算
面向奇诡编程语言，给出 Brainfuck 和 INTERCAL 解释器的工程实现与优化参数要点。
优化 Typst 的并行渲染管道
Typst 通过并行处理标记语言优化大型技术文档的 PDF 生成，实现亚秒级编译。探讨管道设计、可落地参数与监控要点。
遍历编译器阶段：从词法分析到代码生成的内部探索
本文深入编译器管道各阶段，聚焦数据流挑战与pass交互，提供构建可扩展编译器的实用参数与监控要点。
Typed Racket 渐进类型化性能分析：合同检查开销与优化策略
通过 Typed Racket 基准测试，探讨 sound gradual typing 的性能瓶颈，包括合同检查开销、JIT 编译优化及遗留无类型代码的类型插入最小化策略。
Typst 作为 LaTeX 替代的实现：Rust 驱动快速排版与 CI/CD 集成
在技术文档排版中，使用 Typst 替代 LaTeX，实现子秒级编译和 CI/CD 自动化 PDF 生成，提供工程实践参数与清单。
用 Rust 构建现代排版引擎：Typst 替代 LaTeX 工作流
Typst 以 Rust 开发，提供更快编译和脚本化语法，取代 LaTeX 的排版工作流。给出工程参数、模板配置和迁移要点。
为 Litex 构建轻量级解析器和类型检查器
面向 Litex 可学习形式语言，给出轻量级解析器和类型检查器的工程化参数与实现要点，支持验证管道中的快速原型设计。
Typst 中的增量编译工程化：细粒度依赖跟踪与部分求值实现亚秒级更新
探讨Typst增量编译管道的工程实践，包括依赖跟踪机制、部分求值策略，以及针对大型文档的优化参数与监控要点。
LiteX 中的交互式运行时学习：增量解析与实时类型反馈
针对定理证明形式语言的学习，实现交互式运行时，支持增量解析和实时类型反馈，实现1-2小时高效学习。
Litex 中最小语法设计：实现快速形式验证学习
Litex 通过工程化最小语法规则和核心原语，支持开发者在1-2小时内进行形式验证定理证明，避免陡峭的语法学习曲线。
LiteX 最小化语法入门
介绍 LiteX 形式语言的简洁语法规则与交互式教程模块，加速验证工作流从小时到分钟的采用。
构建交互式编译器可视化工具：从解析树到机器码的内部调试之旅
本文探讨如何构建一个交互式工具，用于可视化编译过程的关键阶段，包括解析树构建、优化传递和寄存器分配，帮助开发者动手调试编译器内部机制。
GraalVM Truffle框架中实现内存安全的JIT编译器
在GraalVM Truffle框架中构建内存安全的JIT编译器，支持动态语言的安全执行并降低垃圾回收开销，提供关键参数与实现清单。
CPython 中 Tracing JIT 实现：核心开发者冲刺、内联缓存与循环优化
通过核心开发者冲刺，在 CPython 中引入 tracing JIT，聚焦内联缓存和循环优化，提升 Python 代码的实际性能。提供工程化参数和监控要点。
Truffle 框架中推测执行防护与沙箱代码区域的集成：防范多语言 JIT 编译内存违规
面向多语言 JIT 编译，给出 Truffle 中推测执行 guards 和沙箱区域的集成策略与安全参数配置。
基于区域隔离的内存安全JIT编译器：防范use-after-free漏洞
针对JIT编译器在多语言动态代码生成中的内存安全问题，介绍区域-based隔离机制与安全释放策略，包括可落地参数与监控要点。
CPython 中推测性跟踪 JIT 的去优化防护与回退机制
探讨在 CPython 中实现推测性跟踪 JIT 时，使用去优化防护和回退机制处理动态类型变化的工程参数与策略。
用 Rust 构建针织图案 DSL 解析器：针法抽象、冲突解决与机器指令生成
面向针织图案设计，给出 Rust DSL 解析器的构建要点，包括针法抽象模型、冲突解决策略及机器指令生成参数。
Compiling Knitting DSL to Optimized Bytecode: Loop Fusion and Stitch Reuse
Explore compilation optimizations for knitting DSLs, focusing on loop fusion and stitch reuse to enable efficient pattern simulation and machine control without runtime parsing overhead.
Flix 效果系统在实用调试中的应用
探讨 Flix 语言的效果系统如何跟踪副作用、自动化调试跟踪，并用编译时保证替换手动打印语句。
工程化 einx：Python 中可扩展的通用索引记号解析器与评估器
基于 Einstein 启发的 einx 库，工程实现可扩展的索引记号系统，用于张量收缩与多维数组操作，提供解析与评估的最佳参数与监控要点。
TypeScript 增量类型检查工程实践：全局诊断、可绑定声明与降级 JS 发射
针对大型代码库，探讨 TypeScript 增量类型检查的工程实现，包括程序级诊断、可绑定声明和降级 JS 输出的优化策略与参数配置。
基于AST的ESLint实现：JavaScript代码库的语法与风格检查与自动修复
通过ESLint的AST遍历和可配置规则，实现对JavaScript代码的静态分析、问题检测与自动修复，提供工程化配置参数和集成清单。
使用部分和技术的查找论证实现 ZK 证明电路的二次内存优化
介绍在零知识证明电路中应用部分和技巧的查找论证，实现内存二次减少，支持高效大规模验证而无需完整表格存储。
AI编译器处理22年C代码的兼容性边界：预处理器与类型系统冲突修复清单
聚焦AI在编译古老C代码时遭遇的预处理器宏失效与非标准类型冲突，提供可落地的#define重定义与条件编译修复参数。
函数式语言编译到 LLVM IR：核心阶段与优化实践
介绍函数式语言编译的核心阶段，包括 AST 构建、类型推断、lambda 提升和 LLVM IR 生成，提供尾调用优化和高阶函数处理的工程参数与监控要点。
为AI编译器设计针对遗留C代码的基准测试套件
介绍构建评估AI编译器处理22年老C代码的基准套件，涵盖设置、语法恢复指标和优化通道适应参数。
通过生命周期-常量-特质交互重现 Rust 编译器 ICE
探讨 Rust 编译器中生命周期、常量和特质三个晦涩特性交互导致的内部编译错误（ICE），通过 MIR 分析根因，并提出针对性诊断改进建议。
Zig Comptime 用于系统编程中的高效元编程：缓冲区尺寸与实例限制工程化
探讨 Zig comptime 在系统编程中的应用，提供缓冲区尺寸参数和实例限制清单，与 Rust proc 宏对比，包含编译监控与回滚策略。
Zig 的集成工具链：零开销抽象与跨编译维护
Zig 的集成工具链通过零开销抽象和无脚本跨编译，实现系统软件的健壮维护与可重用开发。
AI编译22年前C代码：Anthropic Claude与OpenAI GPT的工程能力实测
量化评估主流AI模型对22年前遗留C代码的编译修复能力，聚焦语法纠错、依赖推断与跨平台构建的工程表现。
剖析 Zig 新 ELF 链接器的零分配设计哲学：与传统方案的根本差异
深入探讨 Zig stage2 链接器如何将语言层面的零分配哲学延伸至工具链，对比传统链接器内存管理，揭示其在确定性、可审计性与嵌入式友好性上的工程优势。
CPS变换与尾调用优化：无栈溢出的工程实现参数清单
通过显式continuation传递与Trampoline循环，将任意递归转为尾递归，避免栈溢出。提供可落地的参数结构、实现步骤与性能权衡清单。
剖析编译器中延续传递风格（CPS）的实现原理与工程实践
深入解析延续传递风格（CPS）如何作为编译器中间表示，通过显式控制流实现高级优化，并提供关键函数如 gensym 与 convert 的实现思路。
Integrating fmt for Compile-Time Type-Safe String Formatting in C++ Pipelines
Integrate fmt library to achieve type-safe formatting in C++ pipelines, supporting zero-overhead logging and UI serialization without runtime errors.
C++20 中使用 fmt 库实现类型安全的字符串格式化
在 C++20 项目中集成 fmt 库，实现编译时验证的零开销字符串格式化，支持协程和自定义类型的安全插值。
使用 SLJIT 构建栈式虚拟机的可移植 JIT：代码生成、寄存器分配与运行时反汇编
利用 SLJIT 库为栈式虚拟机实现跨架构 JIT 编译，聚焦代码生成、寄存器管理及运行时调试，提供工程参数与落地清单。
在嵌入式游戏引擎中工程化 Luau 渐进式类型：混合静态推断与运行时合约检查
探讨 Luau 渐进式类型系统的工程实践，聚焦混合静态推断、运行时合约检查，以及针对嵌入式游戏引擎的类型提升与错误恢复优化。
使用Wolfram规则学工程化基于规则的Lambda演算解释器
基于Wolfram规则学，设计高效的Lambda演算解释器，实现规则驱动的归约过程，并在元胞自动机环境中模拟图灵完备计算。
使用 SLJIT 实现栈式虚拟机的可移植 JIT：代码生成、寄存器分配与运行时反汇编
探讨如何利用 SLJIT 后端为栈式虚拟机构建可移植 JIT 编译器，聚焦代码生成策略、寄存器分配优化及运行时反汇编调试技巧。
Luau 中渐进式类型化的类型推断规则、运行时检查与性能优化实现
针对嵌入式游戏脚本引擎，探讨 Luau 中渐进式类型系统的类型推断规则、运行时类型检查机制，以及性能优化策略与参数配置。
实现 Wolfram 风格的 Lambda 演算规约规则引擎
探讨基于 Wolfram ruliology 的 Lambda 演算评估引擎，支持单步规约与多路演化分析，提升函数式编程管道的计算能力。
Luau 渐进类型与运行时检查在嵌入式游戏引擎中的集成：安全高效脚本编写
探讨 Luau 渐进类型系统与运行时检查的集成，在低资源设备上平衡类型安全与性能，提供工程化参数和监控要点。
使用Wolfram规则模拟λ演算：基于规则系统的图灵完备计算
探讨如何利用Wolfram规则引擎通过元胞自动机模拟λ演算归约，实现规则基系统的图灵完备计算，提供工程参数与实现清单。
使用Wolfram规则模拟λ演算：基于规则系统的图灵完备计算
探讨如何利用Wolfram规则引擎通过元胞自动机模拟λ演算归约，实现规则基系统的图灵完备计算，提供工程参数与实现清单。
使用 Gluon 构建跨厂商 GPU 内核：利用 Triton 编译栈实现自动融合与优化
面向 NVIDIA/AMD 硬件，给出 Gluon 中利用 Triton 进行可移植内核融合的工程化参数与优化策略。
C# 14 空条件赋值：简化异步管道中的空安全链式操作
利用 C# 14 的空条件赋值，在 Web API 的异步管道中实现简洁的空安全链式操作，减少样板代码并增强类型安全。
在嵌入式引擎中实现 Luau 渐进类型：类型安全脚本的推理规则、运行时检查与性能优化
在嵌入引擎中集成 Luau 渐进类型，提供类型推断规则、运行时检查机制及性能调优参数，实现比 Lua 更安全的脚本执行。
实现 WebAssembly 接口类型以实现安全的 Rust-JS 互操作
WebAssembly 3.0 接口类型提案如何启用类型安全的多语言模块组合，焦点在 Rust 和 JavaScript 的安全互操作、函数签名验证与规范 ABI。
在嵌入式脚本引擎中集成 Luau 渐进式类型检查以提升运行时安全性
探讨如何将 Luau 的类型推断和检查集成到嵌入式脚本引擎中，实现运行时安全，同时通过渐进式采用策略平衡性能。
利用 Gluon 的 Triton 编译栈编写高性能 GPU 内核：跨硬件可移植加速
基于 Gluon 的 Triton 编译栈，用 Python 编写高效 GPU 内核，实现张量操作的跨 NVIDIA 和 AMD 硬件加速，包括内核示例、优化参数和可移植性指南。
利用 Triton 编写高效 GPU 内核：融合与自动调优优化
在 ML 工作流中使用 Triton 兼容编译器编写高效 GPU 内核，焦点在内核融合和自动调优优化，提供工程参数和监控要点。
利用 C# 14 空条件赋值简化 Web API 中的异步错误传播
C# 14 的空条件赋值特性允许在赋值左侧使用 ?. 操作符，简化 Web API 中异步操作的空值检查与错误传播，提供简洁的链式处理参数和监控要点。
WASM 3.0 中 GC 与组件模型集成：Rust 高效互操作实践
探讨 WASM 3.0 GC 和组件模型如何实现 Rust 与 WASM 的高效互操作，包括自定义 ABI、零拷贝传递和动态链接策略。
开发自定义 Z3 策略优化 RTL 硬件验证中的位向量算术约束
针对 RTL 硬件验证，介绍自定义 Z3 策略以优化位向量算术，提升等价性检查和 bug 检测效率，提供工程参数与监控要点。
R7RS syntax-rules 中使用 call/cc 实现正常序归约：惰性求值与不动点语义证明
探讨在 Scheme 宏系统中通过延续实现惰性求值，结合不动点组合子与共归纳推理证明语义正确性与宏展开卫生。
Z3 SMT求解器在RTL硬件验证中的位向量算术优化：自定义策略实践
面向RTL设计流，集成Z3优化位向量算术，使用自定义tactics减少求解时间，给出参数配置与监控要点。
在Rust中集成Z3 SMT求解器解决约束问题
探讨Rust中Z3求解器的集成，用于调度和验证等约束问题，提供自定义编码技巧与性能优化参数。
Java 25 预览模式匹配与作用域值：在多线程微服务中实现无锁隔离状态
探讨 Java 25 的模式匹配预览特性用于数据提取，以及作用域值实现多线程微服务中的隔离状态管理，无需全局锁。
Java 25 预览模式匹配与作用域值：在多线程微服务中实现无锁隔离状态
探讨 Java 25 的模式匹配预览特性用于数据提取，以及作用域值实现多线程微服务中的隔离状态管理，无需全局锁。
C++ 中 65 行以内实现类型安全的字符串格式化库
利用变长模板和 SFINAE 构建一个紧凑的类型安全字符串格式化器，通过操作符重载实现无缝集成，仅需 65 行代码。
用不到65行C++代码构建类型安全的字符串格式化器
通过模板元编程实现编译时格式字符串验证和高效运行时插值的类型安全格式化库，无需外部依赖。
使用 egglog 的 e-graphs 实现基于规则的程序优化：编译器与数据库中的高效等式饱和
利用 egglog 结合 e-graphs 和 Datalog，实现编译器与数据库中的规则优化，提供等式饱和的工程参数与落地指南。
在 Python 中使用 egglog 的 e-graphs 实现等式饱和规则引擎
利用 egglog 的 e-graphs 技术，支持动态表达式重写和优化，适用于编译器 IR 变换与数据库查询重构。
实现 Titania：一种最小系统编程语言的自定义解释器
探讨 Titania 语言的核心设计与自定义解释器的工程实现，强调零成本抽象和低级内存控制在性能关键应用中的作用。
实现 Titania 核心：递归下降解析器、类型推断引擎与 LLVM 后端
基于 Oberon-07 的 Titania 语言核心实现指南，聚焦递归下降解析、类型推断及 LLVM 代码生成的无运行时开销设计。
使用 lexy 在 C++17 中构建递归下降解析器：组合与错误恢复
利用 lexy 库的 DSL 在 C++17 中高效构建递归下降解析器，支持规则组合、错误恢复和增量输入处理，适用于嵌入式 DSL 开发。
用 Rust 构建 PHP JIT 引擎：零开销 ABI 与原生扩展无缝加载
探讨 Rust JIT 引擎如何实现 PHP 原生扩展的无缝加载，避免运行时开销与重新编译，提供工程化参数与监控要点。
剖析 Ruby JIT 分派机制：CRuby 与 YJIT 中的内联缓存与方法查找
深入探讨 CRuby 解释器和 YJIT JIT 编译器的分派机制，包括内联缓存、方法查找过程，以及在动态工作负载下的性能影响与优化参数。
Engineering Executable Graph-Based Visual Programming with Dataflow Nodes and Runtime Interpretation
探讨如何通过数据流节点和运行时解释工程化图形化视觉编程系统，以克服表单小部件限制，实现复杂过程逻辑的组合。
使用 Lexy 在 C++17 中实现可组合解析器组合子，用于领域特定语言：强调语义错误恢复与模块化语法定义
本文指导如何利用 Lexy 库构建模块化 DSL 解析器，聚焦组合子设计、语义错误恢复机制及工程化参数配置。
用 Rust 构建高性能 PHP 执行引擎：JIT 编译、零开销 ABI 桥接与遗留扩展无缝加载
探讨利用 Rust 实现高性能 PHP 执行引擎，聚焦 JIT 编译、零开销 ABI 桥接以及遗留 PHP 生态的扩展加载策略，提供工程化参数与落地清单。
Safe C++ 提案中止后：在现有 C++ 代码库中使用 AddressSanitizer 实现运行时边界检查和别名控制
Safe C++ 提案中止后，探讨如何在遗留 C++ 系统中集成 AddressSanitizer 等工具，实现运行时边界检查和别名控制，提升内存安全。
使用内联缓存和方法查找优化 Ruby JIT 分派
在 Ruby JIT 中，通过内联缓存和方法查找实现热路径执行优化，提供零开销原生代码转换的工程参数与监控要点。
使用 ANTLR-NG 的增强语法组合构建模块化解析器：可重用规则与增量解析
通过 ANTLR-NG 的语法组合和增量解析，构建高效的模块化解析器，支持实时更新和优化执行。
Zig 构建系统中 C/C++ 项目编译标志自动化
介绍使用 compile_flagz 包在 Zig build.zig 中自动化生成 compile_flags.txt，提升 C/C++ 跨编译项目的编辑器集成和依赖扫描。
工程化 Rust 实现的 PHP 工具链：JIT 编译、零开销抽象与无缝互操作
探讨 Mago 等 Rust 构建的 PHP 工具链设计，通过 JIT 编译、零开销抽象和互操作机制，将遗留 PHP 应用加速至接近原生速度。
Engineering Modular Parser Generators in ANTLR-NG: Improved Grammar Composition, Incremental Parsing, and Efficient Code Generation
面向多语言编译器管道，给出 ANTLR-NG 中模块化解析器生成、增量解析与高效代码生成的工程化参数与监控要点。
实现 Java 25 的异步 CPU 时间分析器：JFR 集成与火焰图可视化
探讨 Java 25 中低开销 CPU 分析，利用 JFR 集成和火焰图可视化高效分析多线程应用瓶颈。
Kefir：独立实现的C17/C23编译器验证与工程实践
探讨Kefir编译器如何通过solo开发实现C17/C23标准合规，包括AST解析、广泛验证套件以及生成可移植二进制文件的代码生成策略。
使用 cppstat 分析开源 C++ 项目中的编译器特性覆盖率
通过静态分析开源 C++ 仓库，计算 GCC/Clang/MSVC 的特性支持矩阵，突出特性差距并提出针对性 polyfill 策略。
使用进化算法自动化反编译专有内核模块以检测GPL违反
探讨如何运用进化算法优化反编译过程，通过语义匹配检测Linux内核中GPL代码重用，提供工程参数和实施清单。
CMake 中集成 C++20 模块：头单元、分区与导入优化实践
在 CMake 中使用 C++20 模块实现头单元和命名分区，提升编译效率和代码模块化，提供优化参数与清单。
C++23 中使用 std::mdspan 实现高效邻接矩阵视图
利用 C++23 的 std::mdspan 创建非拥有多维视图，应用于邻接矩阵，实现稀疏图遍历的高效数据访问，避免不必要的内存复制。
Clojure 通过协议和多方法解决表达式问题：动态扩展 AST 处理
通过协议和多方法实现Clojure对表达式问题的多范式解决方案，支持动态扩展AST处理而不破坏现有代码。
在 MicroHaskell 中嵌入 Dataframe DSL：用于列式操作的重写规则
通过重写规则在 MicroHaskell 中实现 Dataframe DSL，利用惰性求值和 STG 机器优化列式数据处理，避免完整 GHC 依赖。
使用协议和多方法在 Clojure 中构建可扩展的 AST 处理
利用 Clojure 的协议和多方法解决 Expression Problem，实现 AST 的模块化扩展，而无需修改核心代码。
Picat 中的规则-based 表化和约束求解实现：高效规划与优化
探讨 Picat 语言中规则-based 表化和约束求解的实现机制，针对规划与优化问题提供高效解决方案，桥接 Prolog 逻辑范式与函数式编程。
使用头单元和分区接口将 C++20 模块集成到 CMake 构建中
在 CMake 项目中集成 C++20 模块，利用头单元和分区接口实现模块化编译，显著减少构建时间，提供配置参数和最佳实践。
C++20 模块在 CMake 中的集成：使用头单元和分区接口优化编译时间
通过 C++20 模块的头单元和分区接口，在 CMake 构建中实现增量重建，针对大型代码库减少 30-50% 的编译时间，提供实用配置参数和最佳实践。
多语言实现中的多重分派：Julia、Common Lisp 和 Clojure
比较Julia、Common Lisp和Clojure中多重分派的机制，实现跨语言可扩展代码的多态方法解析，避免单分派局限。
Using Gappa to Formally Verify Floating-Point Division: Bounding Rounding Errors and Ensuring IEEE 754 Compliance in ARM Systems
面向ARM系统，介绍Gappa工具验证浮点除法例程的舍入除法例程的舍入误差界限，确保IEEE 754标准合规，提供工程参数和监控要点。
C语言中基于宏的类型安全泛型实现：编译时多态与可复用数据结构
在C语言中利用宏实现类型安全的泛型编程，实现编译时多态，支持向量和树等可复用数据结构，无运行时开销，适用于性能关键系统。
分析OOXML规范中的人为复杂性以优化编译器解析、验证和高效代码生成
探讨OOXML规范中源于Office遗留的人为复杂性，并提供针对文档处理引擎的编译器解析优化策略、验证参数及代码生成清单。
工程化 OCaml 模块与值的统一表示
面向可组合函数抽象，给出 OCaml 模块与值的统一表示工程实践，以减少类型安全代码生成管道中的样板代码。
扩展 LLVM IR 的 byte 类型以实现直接 raw 数据拷贝：高性能系统内存操作优化
针对高性能系统，介绍 LLVM IR byte 类型扩展以优化内存操作，避免中间 load/store 的工程参数与落地策略。
将C23合约集成到编译器中实现运行时断言检查
探讨C23合约在编译器中的集成，支持运行时断言评估、错误恢复及安全关键系统的动态验证参数。
使用交互式可点击图表导航Rust类型系统层次
面向Rust学习者，给出交互式图表实现参数与动态探索trait、生命周期和泛型的工程化要点。
C23合约特性在嵌入式系统中的预后条件静态检查实践
探讨C23合约在嵌入式开发中的应用，通过静态检查提升代码可靠性和调试效率，提供具体参数和清单。
Rust 中实现交互式类型推断模拟：调试复杂泛型代码的实时图表
通过 Rust 构建交互式图表，模拟类型推断路径和 trait 解析过程，帮助实时调试复杂泛型代码。
Visualizing Rust Type System Hierarchies
工程化交互式可视化工具，用于导航 Rust 类型系统，包括 traits、lifetimes 和 borrow checker 的机制，适用于编译器调试和教育。
设计AI驱动代码风格自适应系统
基于语义分析的AI系统自动调整代码布局，取代手动格式化工具，实现跨风格一致性，提供工程参数与监控要点。
使用代数数据类型和访问者模式实现可扩展表达式表示
在编译器设计中，利用代数数据类型和访问者模式平衡函数式和面向对象范式的可扩展性，提供工程化参数和监控要点。
实现IRHash的多语言编译器缓存：IR级哈希与增量编译优化
通过IR级哈希机制，实现跨语言编译器的高效缓存共享，减少重复编译开销，提供工程化参数与监控要点。
Implementing Tree-sitter Based Semantic Code Formatting
基于 Tree-sitter 实现语义代码格式化，消除传统行式格式化器，实现无手动干预的一致风格。
IR 级别哈希用于多语言编译器缓存：优化命中率的阈值选择
在异构构建环境中，选择合适的 IR 哈希阈值以最小化碰撞并最大化缓存命中率，实现高效的多语言编译器缓存。
Flix 中使用基于处理器的组合实现代数效应：功能代码库中的模块化副作用管理
在 Flix 语言中，通过处理器-based 组合实现代数效应，实现功能代码库中模块化的副作用管理，提供定义、实现和应用指导。
Flix语言中代数效应的实现实践
在Flix中实现代数效应，用于结构化处理函数式编程中的副作用、并发和异常，无需monad变换器。
Stripe：面向机器学习的编译器中间表示与内存布局优化实践
剖析Stripe IR如何通过嵌套多面体模型和显式内存块结构，实现硬件无关的自动内存布局优化，提升ML计算性能。