%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Enable this block for ``draft mode''
% CFP says 9pt is the limit.  We have it at 10pt
%\documentclass[10pt,twocolumn]{article}
%\documentclass[10pt,twocolumn]{article}
%\documentclass[plainnat, 9pt]{sigplanconf}
\documentclass[copyrightspace, plainnat, 9pt]{sigplanconf} % asplos 2013
%\documentclass[nocopyrightspace, preprint,plainnat]{sig-alternate}
%\usepackage{setspace}
%\doublespacing
% Easy way to set the margins
% CFP is unclear, but 1in seems reasonable
%\usepackage[margin=1in]{geometry}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% Enable this for the final version
%\documentclass[10pt]{acm_proc_article-sp}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%------------------------------------------------------------------------------
%                                  Preamble. 
%------------------------------------------------------------------------------
%
%\usepackage[small,compact]{titlesec}
%\usepackage{times}
%\usepackage{txfonts}
%\usepackage{fullpage}
\usepackage{graphicx}
\usepackage{multirow}
\usepackage{array}
%\usepackage{styles/widow}
%\usepackage{styles/fancyhdr}
%\usepackage[dvips]{changebar}
\usepackage{fancyvrb}
\usepackage{times}
%\usepackage{listings}
%\usepackage{url}
%\usepackage{xcolor}
%\usepackage{tabularx}

\usepackage[pdftex, colorlinks=true, citecolor=black, linkcolor=black,
citebordercolor={0 0 0}, urlcolor=black]{hyperref}

%Below arguments make printing disabled. 
%\usepackage[pdftex, colorlinks=true, citecolor=black, linkcolor=black,citebordercolor=black,
%urlcolor=black]{hyperref}

\input{macros.tex}
%\usepackage{styles/tweaklist}
% this sets the spacings in the itemize environment
%\renewcommand{\itemhook}{\setlength{\topsep}{0pt}%
%  \setlength{\itemsep}{0pt}%
%  \setlength{\parsep}{0ex}%
%}

% this sets the spacings in the enumerate environment
%\renewcommand{\enumhook}{\setlength{\topsep}{0pt}%
%  \setlength{\itemsep}{0pt}%
%  \setlength{\parsep}{0ex}%
%}

% this sets the spacings in the description environment
%\renewcommand{\descripthook}{\setlength{\topsep}{0pt}%
%  \setlength{\itemsep}{0pt}%
%  \setlength{\parsep}{0ex}%
%}

%\pagestyle{plain}
%\pagestyle{fancyplain}
%\lhead{}
%\chead{}
%\rhead{}
%\lfoot{}
%\cfoot{}
%\rfoot{}
%\renewcommand{\headrulewidth}{0pt}


%------------------------------------------------------------------------------
%                              Title and Authors.
%------------------------------------------------------------------------------
\begin{document}

\title{{Fine-Grained Fault Tolerance using Device Checkpoints}}
%\authorinfo{}
%\authorinfo{ {\bf Under submission. Contact author: Asim Kadav}}{Computer Sciences Department, University of
%Wisconsin-Madison}{kadav@cs.wisc.edu}
\authorinfo{Asim Kadav, Matthew J. Renzelmann, Michael M. Swift}{Computer Sciences Department, University of
Wisconsin-Madison}{\{kadav, mjr, swift\} @cs.wisc.edu}

\subtitle{}
\maketitle

\begin{abstract}
\input{abstract.tex}
\end{abstract}

\category{D.4.5}{Operating Systems}{Reliability}
\terms{Design, Reliability}
\keywords{Device Drivers, Checkpoints}

%------------------------------------------------------------------------------
%                                Main Contents. 
%------------------------------------------------------------------------------
%\pagestyle{fancyplain}
\input{sections/intro}
%\input{sections/background}
\input{sections/design}
\input{sections/odft}
\input{sections/device}
\input{sections/evaluation}
\input{sections/related.tex}
\input{sections/conclusion}



%------------------------------------------------------------------------------
%                                  References.
%------------------------------------------------------------------------------
{\small 
\bibliographystyle{abbrvurl3}
\bibliography{references,my-big,test}
} % small
\end{document}
