1 files changed, 104 insertions, 0 deletions
diff --git a/tex/presentation/slides.aux b/tex/presentation/slides.aux
new file mode 100644
index 0000000..ea1b3ad
--- /dev/null
+++ b/tex/presentation/slides.aux
@@ -0,0 +1,104 @@
+\relax 
+\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
+\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
+\global\let\oldcontentsline\contentsline
+\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
+\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\contentsline\oldcontentsline
+\let\newlabel\oldnewlabel
+\fi}
+\fi}
+\global\let\hyper@last\relax 
+\gdef\HyperFirstAtBeginDocument#1{#1}
+\providecommand\HyField@AuxAddToFields[1]{}
+\citation{DBLP:conf/eef/Yovine96}
+\citation{DBLP:conf/rtss/LarsenLPY97}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\@writefile{toc}{\beamer@endinputifotherversion {3.10pt}}
+\@writefile{nav}{\beamer@endinputifotherversion {3.10pt}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{1}{1/1}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {1}{1}}}
+\citation{DBLP:conf/vmcai/SankaranarayananSM05}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{2}{2/2}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {2}{2}}}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\citation{Sagiv01}
+\citation{DBLP:conf/pado/Mine01}
+\citation{DBLP:conf/popl/CousotC77}
+\citation{DBLP:conf/csl/GawlitzaS07}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{3}{3/14}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {3}{14}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{4}{15/15}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {15}{15}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{5}{16/16}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {16}{16}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{6}{18/18}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {18}{18}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{7}{19/42}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {19}{42}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{8}{43/43}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {43}{43}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{9}{44/44}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {44}{44}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{10}{45/66}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {45}{66}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{11}{67/72}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {67}{72}}}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{12}{73/79}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {73}{79}}}
+\bibstyle{apalike2}
+\bibdata{bib}
+\@writefile{nav}{\headcommand {\slideentry {0}{0}{13}{80/80}{}{0}}}
+\@writefile{nav}{\headcommand {\beamer@framepages {80}{80}}}
+\@writefile{nav}{\headcommand {\beamer@partpages {1}{80}}}
+\@writefile{nav}{\headcommand {\beamer@subsectionpages {1}{80}}}
+\@writefile{nav}{\headcommand {\beamer@sectionpages {1}{80}}}
+\@writefile{nav}{\headcommand {\beamer@documentpages {80}}}
+\@writefile{nav}{\headcommand {\def \inserttotalframenumber {13}}}