Membership Testing for Semantic Regular Expressions

Published in PLDI, 2025

Yifei Huang, Matin Amini, Alexis Le Guanc, Konstantinos Mamouras, Mukund Raghothaman. https://dl.acm.org/doi/pdf/10.1145/3729300