Optimizing Regular Expressions via Rewrite-Guided Synthesis-Reference-Cited by-同舟云学术

Optimizing Regular Expressions via Rewrite-Guided Synthesis

Published:2022-10-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Conference on Parallel Architectures and Compilation Techniques
language:
Short-container-title:

Author:

McClurg Jedidiah¹,Claver Miles²,Garner Jackson²,Vossen Jake²,Schmerge Jordan²,Belviranli Mehmet E.²

Affiliation:

1. Colorado State University

2. Colorado School of Mines

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3559009.3569664

Reference63 articles.

1. Testing the Equivalence of Regular Languages;Almeida Marco;J. Autom. Lang. Comb. (,2010

2. Syn-tax-Guided Synthesis;Alur Rajeev;Dependable Software Systems Eng.,2015

3. Rajeev Alur , Arjun Radhakrishna , and Abhishek Udupa . " Scaling Enumerative Program Synthesis via Divide and Conquer". In TACAS. 2017 . Rajeev Alur, Arjun Radhakrishna, and Abhishek Udupa. "Scaling Enumerative Program Synthesis via Divide and Conquer". In TACAS. 2017.

4. Martin Berglund , Frank Drewes , and Brink van der Merwe . " Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching". In AFL. EPTCS. 2014 . Martin Berglund, Frank Drewes, and Brink van der Merwe. "Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching". In AFL. EPTCS. 2014.

5. Gérard Berry and Gérard Boudol . " The Chemical Abstract Machine". In Theor . Comput. Sci. ( 1992 ). Gérard Berry and Gérard Boudol. "The Chemical Abstract Machine". In Theor. Comput. Sci. (1992).

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Application-Level Validation of Accelerator Designs Using a Formal Software/Hardware Interface;ACM Transactions on Design Automation of Electronic Systems;2023-12-29