Initial thesis stuff. No content, though.

1 files changed, 31 insertions, 0 deletions

diff --git a/tex/thesis/main.tex b/tex/thesis/main.tex
new file mode 100644
index 0000000..5116e89
--- /dev/null
+++ b/tex/thesis/main.tex
@@ -0,0 +1,31 @@
+\documentclass{paper}
+
+\title{Implementing and Evaluating a Strategy-iteration Based Static Analyzer within the LLVM-framework}
+\author{Carlo Zancanaro \\ {\tt czan8762@uni.sydney.edu.au}}
+
+\begin{document}
+
+\maketitle
+
+\abstract{Something}
+
+\section{Introduction}
+
+\section{Previous Work}
+\subsection{Fixpoint Iteration}
+\subsection{Policy Iteration}
+
+\section{Theory}
+
+\section{Implementation}
+
+\section{Experimentation}
+
+\section{Conclusion}
+
+something \cite{DBLP:tr/trier/MI96-11}
+
+\bibliographystyle{abbrv}
+\bibliography{references.bib}
+
+\end{document}