main.ltx

\documentclass[letter,natbib,9pt]{sigplanconf}

\usepackage{graphicx, verbatim}
\usepackage{amsmath,amssymb,stmaryrd, amsthm}
\usepackage[usenames,dvipsnames]{color}
\usepackage{url}
\usepackage{minted}

\newcommand{\Red}[1]{{\color{red} #1}}

\newmintinline[hs]{haskell}{}
\newcommand{\canflowto}{\ensuremath{\sqsubseteq}}

\begin{document}
\special{papersize=8.5in,11in}
\setlength{\pdfpageheight}{\paperheight}
\setlength{\pdfpagewidth}{\paperwidth}

\conferenceinfo{Haskell~'14}{September 4--5 2014, Gothenburg, Sweden}
\CopyrightYear{2014}
\copyrightdata{978-1-4503-3041-1/14/09}
\doi{2633357.2633371}

\titlebanner{}        % These are ignored unless
\preprintfooter{}   % 'preprint' option specified.

\title{Building Secure Systems with LIO (Demo)}
\subtitle{\vspace*{-0.2in}}

\authorinfo{Deian Stefan$^1$ \and Amit Levy$^1$ \and Alejandro Russo$^2$ \and David Mazi\`eres$^1$}
{$^1$ Stanford University \and $^2$ Chalmers University of Technology}
{\{deian, alevy, $\bot$\}@cs.stanford.edu \and russo@chalmers.se
\vspace*{-0.5in}}
%\authorinfo{Alejandro Russo}{Chalmers}{russo@chalmers.se }


\maketitle


\input{abstract}
\category{D.1.1}{Programming Techniques}
{Applicative (Functional) Programming}
\category{D.3.3}{Programming Languages}
{Language Constructs and Features}
\keywords Security; LIO; DCLabels; Hails; Decentralized information flow control; Web application

\input{intro}
\input{overview}
\input{demo}

\paragraph{Acknowledgements}
This work was funded by DARPA CRASH under contract \#N66001-10-2-4088.
Deian Stefan is supported by the DoD through the NDSEG Fellowship
Program.

\bibliographystyle{abbrvnat}
\bibliography{local}

\end{document}