Cited By
View all- Varatalu IVeanes MErnits J(2025)RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted LookaroundsProceedings of the ACM on Programming Languages10.1145/37048379:POPL(1-32)Online publication date: 9-Jan-2025
- Mamouras KLe Glaunec ALi WChattopadhyay A(2024)Static Analysis for Checking the Disambiguation Robustness of Regular ExpressionsProceedings of the ACM on Programming Languages10.1145/36564618:PLDI(2073-2097)Online publication date: 20-Jun-2024
- Zhuchko EVeanes MEbner GTimany ATraytel DPientka BBlazy S(2024)Lean Formalization of Extended Regular Expression Matching with LookaroundsProceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3636501.3636959(118-131)Online publication date: 9-Jan-2024
- Show More Cited By