\relax 
\providecommand\babel@aux[2]{}
\@nameuse{bbl@beforestart}
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\citation{schneier_modeling_1999}
\citation{j_hale_compliance_nodate}
\citation{cook_rage_2018}
\citation{berry_graph_2007}
\citation{berry_graph_2007}
\citation{zhang_boosting_2017}
\citation{ainsworth_graph_2016}
\citation{berry_graph_2007}
\citation{ainsworth_graph_2016}
\citation{cook_rage_2018}
\citation{cook_rage_2018}
\citation{ou_scalable_2006}
\citation{CR-Survey}
\citation{hursey2010coordinated}
\citation{SCR}
\citation{dmtcp}
\citation{BLCR}
\babel@aux{nil}{}
\@writefile{toc}{\contentsline {section}{\numberline {I}Introduction}{1}{section.1}\protected@file@percent }
\newlabel{sec:Intro}{{I}{1}{Introduction}{section.1}{}}
\@writefile{toc}{\contentsline {section}{\numberline {II}Related Work}{1}{section.2}\protected@file@percent }
\newlabel{sec:Rel-Works}{{II}{1}{Related Work}{section.2}{}}
\citation{GraphDB}
\citation{Graph-DB}
\citation{ou_scalable_2006}
\citation{LAPA}
\citation{cook_scalable_2016}
\citation{li_concurrency_2019}
\citation{AG-Sample}
\citation{7087377}
\citation{cook_rage_2018}
\citation{li_concurrency_2019}
\citation{li_combining_2019}
\citation{zhang_boosting_2017}
\@writefile{toc}{\contentsline {section}{\numberline {III}Methodology}{2}{section.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox  {III-A}}Checkpointing}{2}{subsection.3.1}\protected@file@percent }
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces An Attack or Compliance Graph Undergoing Generation}}{2}{figure.1}\protected@file@percent }
\newlabel{fig:cr}{{1}{2}{An Attack or Compliance Graph Undergoing Generation}{figure.1}{}}
\newlabel{sec:mem-constraint}{{\mbox  {III-A}1}{2}{Memory Constraint Difficulties}{subsubsection.3.1.1}{}}
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox  {III-A}1}Memory Constraint Difficulties}{2}{subsubsection.3.1.1}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox  {III-A}2}Implementation}{2}{subsubsection.3.1.2}\protected@file@percent }
\@writefile{toc}{\contentsline {subsubsection}{\numberline {\mbox  {III-A}3}Portability}{3}{subsubsection.3.1.3}\protected@file@percent }
\@writefile{toc}{\contentsline {subsection}{\numberline {\mbox  {III-B}}Restarting}{3}{subsection.3.2}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{\numberline {IV}Results}{3}{section.4}\protected@file@percent }
\citation{CR-Simple}
\bibdata{Bibliography}
\bibcite{schneier_modeling_1999}{1}
\bibcite{j_hale_compliance_nodate}{2}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Time Taken to Checkpoint as the Size of the Instance Grows}}{4}{figure.2}\protected@file@percent }
\newlabel{fig:inst-time}{{2}{4}{Time Taken to Checkpoint as the Size of the Instance Grows}{figure.2}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces Time Taken to Checkpoint as the Size of the Frontier Grows}}{4}{figure.3}\protected@file@percent }
\newlabel{fig:front-chk-time}{{3}{4}{Time Taken to Checkpoint as the Size of the Frontier Grows}{figure.3}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces Time Taken to Restart as the Size of the Frontier Grows}}{4}{figure.4}\protected@file@percent }
\newlabel{fig:front-rest-time}{{4}{4}{Time Taken to Restart as the Size of the Frontier Grows}{figure.4}{}}
\@writefile{toc}{\contentsline {section}{\numberline {V}Conclusions and Future Work}{4}{section.5}\protected@file@percent }
\@writefile{toc}{\contentsline {section}{References}{4}{section*.1}\protected@file@percent }
\bibcite{cook_rage_2018}{3}
\bibcite{berry_graph_2007}{4}
\bibcite{zhang_boosting_2017}{5}
\bibcite{ainsworth_graph_2016}{6}
\bibcite{ou_scalable_2006}{7}
\bibcite{CR-Survey}{8}
\bibcite{hursey2010coordinated}{9}
\bibcite{SCR}{10}
\bibcite{dmtcp}{11}
\bibcite{BLCR}{12}
\bibcite{GraphDB}{13}
\bibcite{Graph-DB}{14}
\bibcite{LAPA}{15}
\bibcite{cook_scalable_2016}{16}
\bibcite{li_concurrency_2019}{17}
\bibcite{AG-Sample}{18}
\bibcite{7087377}{19}
\bibcite{li_combining_2019}{20}
\bibcite{CR-Simple}{21}
\bibstyle{ieeetr}
\gdef \@abspage@last{5}