1 \begin{thebibliography}{10}

     2 

     3 \bibitem{Antimirov95}

     4 V.~Antimirov.

     5 \newblock {P}artial {D}erivatives of {R}egular {E}xpressions and {F}inite

     6   {A}utomata {C}onstructions.

     7 \newblock {\em Theoretical Computer Science}, 155:291--319, 1995.

     8 

     9 \bibitem{AusafDyckhoffUrban2016}

    10 F.~Ausaf, R.~Dyckhoff, and C.~Urban.

    11 \newblock {POSIX} {L}exing with {D}erivatives of {R}egular {E}xpressions

    12   ({P}roof {P}earl).

    13 \newblock In {\em Proc.~of the 7th International Conference on Interactive

    14   Theorem Proving (ITP)}, volume 9807 of {\em LNCS}, pages 69--86, 2016.

    15 

    16 \bibitem{Brzozowski1964}

    17 J.~A. Brzozowski.

    18 \newblock {D}erivatives of {R}egular {E}xpressions.

    19 \newblock {\em Journal of the {ACM}}, 11(4):481--494, 1964.

    20 

    21 \bibitem{Davis18}

    22 J.~C. Davis, C.~.A. Coghlan, F.~Servant, and D.~Lee.

    23 \newblock {T}he {I}mpact of {R}egular {E}xpression {D}enial of {S}ervice

    24   ({ReDoS}) in {P}ractice: {A}n {E}mpirical {S}tudy at the {E}cosystem {S}cale.

    25 \newblock In {\em Proc.~of the 26th ACM Joint Meeting on European Software

    26   Engineering Conference and Symposium on the Foundations of Software

    27   Engineering (ESEC/FSE)}, pages 246--256, 2018.

    28 

    29 \bibitem{CrashCourse2014}

    30 N.~B.~B. Grathwohl, F.~Henglein, and U.~T. Rasmussen.

    31 \newblock {A} {C}rash-{C}ourse in {R}egular {E}xpression {P}arsing and

    32   {R}egular {E}xpressions as {T}ypes.

    33 \newblock Technical report, University of Copenhagen, 2014.

    34 

    35 \bibitem{Kuklewicz}

    36 C.~Kuklewicz.

    37 \newblock {R}egex {P}osix.

    38 \newblock \url{https://wiki.haskell.org/Regex_Posix}.

    39 

    40 \bibitem{nielson11bcre}

    41 Fritz~Henglein Lasse~Nielsen.

    42 \newblock Bit-coded regular expression parsing.

    43 \newblock {\em LATA}, 2011.

    44 

    45 \bibitem{OkuiSuzuki2010}

    46 S.~Okui and T.~Suzuki.

    47 \newblock {D}isambiguation in {R}egular {E}xpression {M}atching via {P}osition

    48   {A}utomata with {A}ugmented {T}ransitions.

    49 \newblock In {\em Proc.~of the 15th International Conference on Implementation

    50   and Application of Automata (CIAA)}, volume 6482 of {\em LNCS}, pages

    51   231--240, 2010.

    52 

    53 \bibitem{17Bir}

    54 Asiri Rathnayake and Hayo Thielecke.

    55 \newblock Static analysis for regular expression exponential runtime via

    56   substructural logics.

    57 \newblock {\em arXiv:1405.7058}, 2017.

    58 

    59 \bibitem{Sulzmann2014}

    60 M.~Sulzmann and K.~Lu.

    61 \newblock {POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives.

    62 \newblock In {\em Proc.~of the 12th International Conference on Functional and

    63   Logic Programming (FLOPS)}, volume 8475 of {\em LNCS}, pages 203--220, 2014.

    64 

    65 \bibitem{Vansummeren2006}

    66 S.~Vansummeren.

    67 \newblock {T}ype {I}nference for {U}nique {P}attern {M}atching.

    68 \newblock {\em ACM Transactions on Programming Languages and Systems},

    69   28(3):389--428, 2006.

    70 

    71 \end{thebibliography}