Dryadic: Flexible and Fast Graph Pattern Matching at Scale. - Daniel Mawhirter; Sam Reinehr; Wei Han; Noah Fields; Miles Claver; Connor Holmes; Jedidiah McClurg; Tongping Liu; Bo Wu 002 (PACT, 2021)

ReGiS: Regular Expression Simplification via Rewrite-Guided Synthesis. - Miles Claver; Jordan Schmerge; Jackson Garner; Jake Vossen; Jedidiah McClurg (CoRR, 2021)

Optimizing Regular Expressions via Rewrite-Guided Synthesis. - Jedidiah McClurg; Miles Claver; Jackson Garner; Jake Vossen; Jordan Schmerge; Mehmet E. Belviranli (PACT, 2022)