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)