\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}
