--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/etnms/ninems.bbl	Thu Jan 09 22:21:04 2020 +0000
@@ -0,0 +1,71 @@
+\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}