Membership Testing for Semantic Regular Expressions. - Yifei Huang 007; Matin Amini; Alexis Le Glaunec; Konstantinos Mamouras; Mukund Raghothaman (Proc. ACM Program. Lang., 2025)