\relax 
\citation{DBLP:conf/sc/AndreadisVMI18}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{2}{}\protected@file@percent }
\newlabel{sec:introduction}{{1}{2}{}{}{}}
\citation{DBLP:conf/sc/AndreadisVMI18}
\citation{DBLP:conf/sc/AndreadisVMI18}
\citation{DBLP:conf/sc/AndreadisVMI18}
\citation{DBLP:conf/sc/AndreadisVMI18}
\@writefile{toc}{\contentsline {section}{\numberline {2}Background}{3}{}\protected@file@percent }
\newlabel{sec:background}{{2}{3}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Problem}{3}{}\protected@file@percent }
\newlabel{sec:problem}{{3}{3}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Related Work}{3}{}\protected@file@percent }
\newlabel{sec:related}{{4}{3}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Research Question(s)}{3}{}\protected@file@percent }
\newlabel{sec:researchq}{{5}{3}{}{}{}}
\citation{DBLP:conf/sc/AndreadisVMI18}
\citation{DBLP:conf/sc/AndreadisVMI18}
\@writefile{toc}{\contentsline {section}{\numberline {6}Approach}{4}{}\protected@file@percent }
\newlabel{sec:approach}{{6}{4}{}{}{}}
\@writefile{toc}{\contentsline {section}{\numberline {7}Plan}{4}{}\protected@file@percent }
\newlabel{sec:plan}{{7}{4}{}{}{}}
\citation{DBLP:conf/sc/AndreadisVMI18}
\bibstyle{abbrv}
\bibdata{main}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusion}{5}{}\protected@file@percent }
\newlabel{sec:conclusion}{{8}{5}{}{}{}}
\gdef \@abspage@last{5}