\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}
