%
% LaTeX template for prepartion of submissions to PLDI'15
%
% Requires temporary version of sigplanconf style file provided on
% PLDI'15 web site.
% 
\documentclass[9pt, preprint, nocopyrightspace]{sigplanconf}

%
% the following standard packages may be helpful, but are not required
%
%\usepackage{SIunits}            % typset units correctly
\usepackage{mathptmx}
\DeclareSymbolFont{epsilon}{OML}{ntxmi}{m}{it}
\DeclareMathSymbol{\epsilon}{\mathord}{epsilon}{"0F}

\usepackage{courier}            % standard fixed width font
\usepackage[scaled]{helvet} % see www.ctan.org/get/macros/latex/required/psnfss/psnfss2e.pdf
\usepackage{url}                  % format URLs
\usepackage{listings}          % format code
\usepackage{enumitem}      % adjust spacing in enums
\usepackage[colorlinks=true,allcolors=purple,breaklinks,draft=false]{hyperref}   % hyperlinks, including DOIs and URLs in bibliography
% known bug: http://tex.stackexchange.com/questions/1522/pdfendlink-ended-up-in-different-nesting-level-than-pdfstartlink

\usepackage{pslatex}
\usepackage{algpseudocode}
\usepackage{algorithmicx}
\usepackage{stmaryrd}
\usepackage{xspace}

\input{macros}
\input{jeeves_defns}

\usepackage{tikz}
\usetikzlibrary{calc}
\usetikzlibrary{shapes}
\usetikzlibrary{arrows}

\newcommand{\dblang}{$\lambda^{JDB}$\xspace}
\newcommand{\webframework}{Jacqueline\xspace}
\newcommand{\lang}{\textsc{J}eeves\sspace}
\newcommand{\newlang}{Jeeves$^*$\xspace}
\newcommand{\langName}{\mbox{$\lambda^{\rm\emph{jeeves}}$}\xspace}
\newcommand{\corelang}{\mbox{$\lambda^{\rm\emph{jeeves}}$}\xspace}

\input{brackets.sty}

\begin{document}

%
% any author declaration will be ignored  when using 'plid' option (for double blind review)
%
\title{Precise, Dynamic Information Flow for Database-Backed Applications} % \vspace{-6ex}}
\authorinfo{}{}{}

\maketitle
\input{abstract}

\input{introduction}
\input{introductory_example}
\input{solution_overview}
\input{db_model}
\input{implementation}
\input{evaluation}
%\input{limitations}
\input{related_work}
\input{conclusion}

\bibliographystyle{abbrvnat}
\bibliography{jacqueline}

\newpage
\input{proofs}

\end{document}
