\begin{thebibliography}{10}\bibitem{Antimirov95}V.~Antimirov.\newblock {P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite {A}utomata {C}onstructions.\newblock {\em Theoretical Computer Science}, 155:291--319, 1995.\bibitem{AusafDyckhoffUrban2016}F.~Ausaf, R.~Dyckhoff, and C.~Urban.\newblock {POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions ({P}roof {P}earl).\newblock In {\em Proc.~of the 7th International Conference on Interactive Theorem Proving (ITP)}, volume 9807 of {\em LNCS}, pages 69--86, 2016.\bibitem{Brzozowski1964}J.~A. Brzozowski.\newblock {D}erivatives of {R}egular {E}xpressions.\newblock {\em Journal of the {ACM}}, 11(4):481--494, 1964.\bibitem{Davis18}J.~C. Davis, C.~.A. Coghlan, F.~Servant, and D.~Lee.\newblock {T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice ({ReDoS}) in {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale.\newblock In {\em Proc.~of the 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)}, pages 246--256, 2018.\bibitem{CrashCourse2014}N.~B.~B. Grathwohl, F.~Henglein, and U.~T. Rasmussen.\newblock {A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and {R}egular {E}xpressions as {T}ypes.\newblock Technical report, University of Copenhagen, 2014.\bibitem{Kuklewicz}C.~Kuklewicz.\newblock {R}egex {P}osix.\newblock \url{https://wiki.haskell.org/Regex_Posix}.\bibitem{nielson11bcre}Fritz~Henglein Lasse~Nielsen.\newblock Bit-coded regular expression parsing.\newblock {\em LATA}, 2011.\bibitem{OkuiSuzuki2010}S.~Okui and T.~Suzuki.\newblock {D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition {A}utomata with {A}ugmented {T}ransitions.\newblock In {\em Proc.~of the 15th International Conference on Implementation and Application of Automata (CIAA)}, volume 6482 of {\em LNCS}, pages 231--240, 2010.\bibitem{17Bir}Asiri Rathnayake and Hayo Thielecke.\newblock Static analysis for regular expression exponential runtime via substructural logics.\newblock {\em arXiv:1405.7058}, 2017.\bibitem{Sulzmann2014}M.~Sulzmann and K.~Lu.\newblock {POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives.\newblock In {\em Proc.~of the 12th International Conference on Functional and Logic Programming (FLOPS)}, volume 8475 of {\em LNCS}, pages 203--220, 2014.\bibitem{Vansummeren2006}S.~Vansummeren.\newblock {T}ype {I}nference for {U}nique {P}attern {M}atching.\newblock {\em ACM Transactions on Programming Languages and Systems}, 28(3):389--428, 2006.\end{thebibliography}