TY  - RPRT
TI  - Optimizing Regular Expressions via Rewrite-Guided Synthesis
AU  - Jedidiah McClurg
AU  - Miles Claver
AU  - Jackson Garner
AU  - Jake Vossen
AU  - Jordan Schmerge
AU  - Mehmet E. Belviranli
PY  - 2022
UR  - https://arxiv.org/abs/2104.12039
ID  - 2104.12039
ER  -