旅の記録：PLDI Boulder
著者が今年6月に参加した4回目（おそらく5回目）のPLDIカンファレンスの記録。新しい人々との出会い、研究に関する議論、e-graphsやKnuth-Bendixに関するワークショップ、Ben TitzerやChristian Wimmer、Yannis Smaragdakisらとの交流、そしてレジスタ割り当てやDatalogを用いた線形スキャン実装の試みなど、充実した1週間が綴られている。また、Slava Pestovと共にKnuth-Bendix完備化アルゴリズムを実装した経験や、カンファレンス外でのボルダーでの滞在についても触れられている。
背景メモ
PLDI（Programming Language Design and Implementation）は、プログラミング言語の設計・実装・最適化に関するトップ国際会議。毎年数百人の研究者・エンジニアが参加する。
登場する主な人物・プロジェクト：
- **e-graph／egraphs**：等価グラフ（equivalence graph）と呼ばれるデータ構造を用いてプログラムの書き換えや最適化を効率的に行う手法。近年コンパイラ研究でホットトピック。
- **Knuth-Bendix完成法**：等式の書き換え系を合流性（どんな順で書き換えても同じ結果に辿り着く性質）を持つ形に変換するアルゴリズム。「e-graph」と似ているが別物。
- **Sea of Nodes**：JavaのJITコンパイラ（HotSpotのC2）で使われる中間表現。命令をデータフローグラフとして表現し、最適化を容易にする。
- **Alive2**：LLVMの最適化パスが正しいかを自動検証するツール。形式手法とコンパイラを組み合わせた代表的なプロジェクト。
- **ZJIT**：著者が開発中のJITコンパイラ。
- **BPE（Byte-Pair Encoding）**：テキストをサブワード単位に分割するトークナイザ。大規模言語モデル（LLM）などで広く使われる。
- **線形スキャン（linear scan register allocation）**：レジスタ割り当ての高速なアルゴリズム。Datalog（宣言的論理プログラミング言語）でも実装できる。
- **REMORA**：イベント駆動型のリアクティブプログラミングに関する研究。
この記事は、こうした最先端のコンパイラ研究の現場で交わされる生きた議論や、プロジェクト間の関係性を垣間見せるもので、研究者にとってはコミュニティの動向を知る貴重な記録となっている。