report.tex

\documentclass[10pt,twocolumn]{article}

\usepackage{times}
\usepackage{fullpage}
\usepackage{listings}
\usepackage{graphicx}
\usepackage{multirow}
\usepackage{clrscode3e}


\begin{document}

\title{\bf Detecting RCU bugs}
\author{Dhaval Giani and Akshay Kumar}
\date{}
\maketitle
\thispagestyle{empty}

\lstset{language=C,basicstyle=\ttfamily,tabsize=4, columns=fullflexible}
\begin{abstract}
\input{abstract}
\end{abstract}

\section{Introduction}\label{sec:intro}
\input{introduction}

\section{Background}\label{sec:back}
\input{background}

\section{Proposal}\label{sec:proposal}
\input{proposal}

\section{Approach}\label{sec:appr}
\input{approach}

\section{Implementation}\label{sec:impl}
\input{implementation}

\section{Results}\label{sec:results}
\input{results}

\section{Related Work}\label{sec:related}
\input{related}

\section{Conclusions}\label{sec:conclusions}
\input{conclusions}

\section{Acknowledgements}
We are indebted to Professors Ashvin Goel and Angela Demke Brown who
guided us through this project. We are also extremely grateful to the
rest of the DynamoRio-Kernel group for the extended discussion and
assistance while debugging. We are also grateful to Dr Paul E. McKenney
for his valuable input in deciding the goals of this project. Finally
we are also extremely grateful to Professor Cristiana Amza for offering
this course and allowing us to pursue this project.

\bibliography{db}
\bibliographystyle{abbrv} 

\end{document}