%% Important Dates
%% Paper titles and abstracts due: January 10, 2012, 11:59 p.m. EST
%% Complete paper submissions due: January 17, 2012,
%% 11:59 p.m. EST
%% Notification to authors: March 26, 2012
%% Final papers due: May 2, 2012

%------------------------------------------------------------------------------
%                                  Preamble. 
%------------------------------------------------------------------------------
%\documentclass[letterpaper,twocolumn,10pt]{article}
%\documentclass[nocopyrightspace,preprint,plainnat,9pt]{acm_proc_article-sp}
%\documentclass[nocopyrightspace,preprint,plainnat,9pt]{sig-alternate}
%\documentclass[nocopyrightspace,preprint,plainnat,10pt]{sigplanconf}
\documentclass[10pt,twocolumn]{article}
%\usepackage{styles/usenix_2011} % This is a modified version from last time
\usepackage{fullpage}
\usepackage[margin=1in]{geometry}
%\usepackage{styles/usenix_2012} % This is the one from the web page this year
\usepackage{graphicx}
%\usepackage{fancyvrb}
\usepackage[small,compact]{titlesec}
\usepackage{times}
\usepackage{multirow}
\usepackage{textcomp}
\usepackage[pdftex, colorlinks=true, citecolor=black, linkcolor=black,
citebordercolor={0 0 0}, urlcolor=black]{hyperref}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% This junk shrinks the amount of space devoted to the title.
% The package is not installed though and hopefully we'll not need it.
%%\usepackage{titling/titling}
%%\setlength{\droptitle}{-0.5in}
%\pretitle{\begin{center}\LARGE}
%\posttitle{\par\end{center}\vskip 0.5em}
%\preauthor{\begin{center}\large \lineskip 0.5em\begin{tabular}[t]{c}}
%\postauthor{\end{tabular}\par\end{center}}
%\predate{\begin{center}\large}
%%\postdate{\par\end{center}\vskip -1em}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

\input{macros.tex}

%% % Tom Reps' space saving tips.
%% \setlength{\abovecaptionskip}{5pt}
%% \setlength{\belowcaptionskip}{5pt}
%% \setlength{\intextsep}{5pt} 
%% \setlength{\floatsep}{5pt} 
%% \setlength{\abovedisplayskip}{5pt}
%% \setlength{\belowdisplayskip}{5pt}
%% \setlength{\topskip}{0pt}
%% \setlength{\parskip}{0pt}
%% \setlength{\topsep}{0pt}
%% \setlength{\partopsep}{0pt}
%% \setlength{\itemsep}{0pt}

%------------------------------------------------------------------------------
%                              Title and Authors.
%------------------------------------------------------------------------------
\begin{document}
\title{\textbf{SymDrive:  Testing Drivers without Devices}}
%\author{\today}
\author{Matthew J. Renzelmann, Asim Kadav and Michael M. Swift \\
  Computer Sciences Department,
  University of Wisconsin--Madison\\
  \small \textsf{\{mjr,kadav,swift\}@cs.wisc.edu}}
% \authorinfo{}{}{}
\date{}

\maketitle

%\raggedbottom
%\widowpenalty=1
%\clubpenalty=1

% Use the following at camera-ready time to suppress page numbers.
% Comment it out when you first submit the paper for review.
\thispagestyle{empty}
\pagestyle{empty}

\begin{abstract}
\input{sect/abstract}
\end{abstract}

%------------------------------------------------------------------------------
%                                Main Contents. 
%------------------------------------------------------------------------------
%\pagestyle{plain}
\input{sect/intro}
\input{sect/motivation}
\input{sect/impl}
\input{sect/checkers}
\input{sect/evaluation}
\input{sect/related}
\input{sect/conclusion}


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