新屋良磨

Subject
LLVMを用いた正規表現コンパイラの実装と検証
Implementation and Evaluation of Regular Expression Compiler using LLVM

内容
正規表現は等価なオートマトンに変換できる. 当研究室では Continuation based C という状態遷移記述に適したCの下位言語を提案している.
本研究では, 文字列として与えられた正規表現から,CbCで記述された状態遷移ベースの正規表現マッチャの生成, 及びコンパイラ基盤LLVMを利用したJITコンパイルによるマッチャの実行バイナリを生成するコンパイラを実装し、マッチングにおけるベンチマークを行い性能を評価する。