旅行笔记：PLDI 博尔德
作者记录了自己第四次参加 PLDI 会议的旅程。文章以日记形式详细描述了在博尔德期间与众多研究者、开发者的交流，包括关于 e-graphs、Knuth-Bendix 算法、寄存器分配、Datalog 等多种技术话题的深入讨论。作者还参与了多项活动，如 BYOEG 教程和与 Yannis Smaragdakis 合作用 Datalog 实现线性扫描寄存器分配，以及跟随 Slava Pestov 学习 Knuth-Bendix 补全算法的实现。文章不仅展现了技术会议的学术交流氛围，也记录了因编程语言（Ruby）切片语义导致的调试趣事。
背景速读
- PLDI (Programming Language Design and Implementation) 是编程语言领域最顶级的学术会议之一，每年由 SIGPLAN 组织。作者是一名编译器与编程语言研究者，经常写技术博客。
- 文中提到的 e-graphs（等式图）是编译器优化中的热门技术，用于表示和搜索等价表达式；Knuth-Bendix 完成算法是一种将等式重写系统转为合流（confluent）形式的方法，近年来在 e-graph 社区中重新受到关注。
- 多个人名是与编程语言实现和编译器优化相关的知名研究者：Max Willsey（e-graph 工具 egg 的作者）、Ben Titzer（WebAssembly 虚拟机实现者）、Christian Wimmer（线性扫描寄存器分配算法专家）、Slava Pestov（Factor 语言作者）、John Regehr（编译器测试与形式化方法专家）、Yannis Smaragdakis（Datalog 在程序分析中的应用先驱）。
- Sea of Nodes 是一种编译器中间表示（IR）设计，最早在 Java HotSpot JIT 编译器中使用，适合简化优化过程；Alive2 是用于验证 LLVM 优化是否正确的形式化工具。
- ZJIT 是作者正在开发的 JIT 编译器项目。