Optimizing Regular Expressions via Rewrite-Guided Synthesis

Recommended citation: Jedidiah McClurg, Miles Claver, Jackson Garner, Jake Vossen, Jordan Schmerge, Mehmet E. Belviranli: Optimizing Regular Expressions via Rewrite-Guided Synthesis. PACT 2022: 426-438
Download Paper