thesis.tex

\documentclass[ack,preface]{diphdthesis}

\usepackage[backend=biber,bibencoding=ascii,style=numeric-comp,mincrossrefs=20]{biblatex}
\usepackage{bookmark}
\usepackage{booktabs} % cmidrule, toprule, etc
\usepackage{caption}
\usepackage{epigraph}
\usepackage{graphicx}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
%\usepackage{minted} % included in diphdthesis instead to avoid warnings
\usepackage{multirow}
\usepackage[defblank]{paralist} % inparaenum
\usepackage[skip=0cm,list=true,labelfont=it]{subcaption}
\usepackage{wrapfig}
\usepackage[dvipsnames]{xcolor}
\usepackage{xparse} % NewDocumentCommand

\usepackage{definitions/main}
\usepackage{definitions/datalog}
\usepackage{definitions/java}
\usepackage{definitions/instructions}
\usepackage{definitions/mathpartir} % inference rules

\renewcommand{\textflush}{flushepinormal} % justify in epigraph

%%%% DEBUG %%%%
%\usepackage{showframe}
%\usepackage{pagecolor}
%\pagecolor{gray}
%\color{white}
%\newcommand{\todo}{\textbf{\textcolor{Red}{(FIX???)}}}
%%%% DEBUG %%%%

%%%% METADATA %%%%
\titleEn{Explorations in Static Pointer Analysis: Adaptive Scalability and Strong Guarantees}
\subjectAreaEn{Programming Languages, Static Analysis}
\keywordsEn{Pointer Analysis; Alias Analysis; Object-Oriented Programming; Precision; Performance; Context-Sensitivity}
\abstractEn{\input{chapters/abstract-en}}
\acksEn{\input{chapters/acknowledgments}}
\prefaceEn{}

\titleGr{Εξερευνώντας τον χώρο της Στατικής Ανάλυσης Δεικτών: Κλιμάκωση και Ισχυρές Εγγυήσεις}
\subjectAreaGr{Γλώσσες Προγραμματισμού, Στατική Ανάλυση}
\keywordsGr{Ανάλυση Δεικτών, Ανάλυση Συνωνύμων, Αντικειμενοστρεφής Προγραμματισμός, Ακρίβεια, Απόδοση}
\abstractGr{\input{chapters/abstract-gr}}
\synopsisGr{\input{chapters/synopsis-gr}}

\input{metadata}
%%%% METADATA %%%%


\addbibresource{biblio/proceedings.bib}
\addbibresource{biblio/thesis.bib}
\addbibresource{biblio/intro.bib}

\begin{document}

\frontmatter

\mainmatter

\input{chapters/introduction}
\input{chapters/background}

\part{Achieving Scalability}
\input{chapters/p1-hybrid}
\input{chapters/p2-introspective}

\part{Achieving Strong Soundness Guarantees}
\input{chapters/p3-must-logic}
\input{chapters/p4-must-data}
\input{chapters/p5-defensive}

\part{Epilogue}
\input{chapters/related}
\input{chapters/conclusions}

\backmatter

\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{REFERENCES}
\printbibliography[title={References}]

\end{document}