\documentclass[11pt]{article}
%\pagestyle{fancy}

%\usepackage{fullpage}
\include{miscpreamble}




% The following line needs to appear in every source file in
% order to track the last commit time and svn revision ID. (Why is
% this so difficult?)
%
% Also, need to 'svn propset svn:keywords Id file.tex'
\svnInfo $Id$

% also try (century) schoolbook and Fourier (utopia + math) fonts

%% font stuff
\usepackage[T1]{fontenc}
\usepackage[urw-garamond]{mathdesign}
%\usepackage[sc]{mathpazo}
\linespread{1.05}         % Palatino needs more leading (space between lines)

%\parindent 0pt
%\parskip 1ex plus 0.5ex minus 0.2ex
%\renewcommand{\baselinestretch}{1.33}

\usepackage[colorlinks=true]{hyperref}
\def\sectionautorefname{Section}
\def\subsectionautorefname{Section} % don't say "subsection 5.2" etc
\def\subsubsectionautorefname{Section}

\graphicspath{{images/}}

%\pagestyle{fancyplain} \fancyhead[RE,LO]{\leftmark} \fancyhead[LE,RO]{\thepage}
\pagestyle{plain}

\begin{document}

\title{Application-Level~Caching with Transactional~Consistency}
\author{Dan Ports\\{\texttt{drkp@csail.mit.edu}}}
\date{\today}
\maketitle

\begin{abstract}
\input{abstract}
\end{abstract}


\section{Overview}
\label{sec:overview}
\input{intro}

\section{System and Programming Model}
\label{sec:model}
\input{model}

%\section{Consistency Properties}
%\label{sec:stale}
%\input{stale}

\section{System Architecture}
\label{sec:architecture}
\input{architecture}

\section{Cache Design}
\label{sec:cache}
\input{cache}

\section{Database Support}
\label{sec:database}
\input{db}

\section{Cache Library}
\label{sec:library}
\input{library}

% \section{Experiences}
% \label{sec:exp}
% \input{impl}

% \section{Evaluation}
% \label{sec:evaluation}
% \input{eval}

\section{Future Work}
\label{sec:future-work}
\input{future}

\section{Related Work}
\label{sec:related-work}
\input{relwork}

\section{Thesis Schedule}
\label{sec:thesis-schedule}

The core \txcache system described in
Sections~\ref{sec:model}--\ref{sec:library} has been built and
evaluated; more details are available in
\cite{ports10:_trans_consis_autom_manag_applic_data_cache}. The
remainder of time on this project will consist of implementing and
evaluating the extensions in Section~\ref{sec:future-work}.

Work is currently proceeding on the implementation of serializable
snapshot isolation (Sec.~\ref{sec:future:ssi}), which is a
prerequisite for the invalidation scheme of
Section~\ref{sec:future:invalidations}. The work on SSI is expected to
be complete by Feb.~2011, with benchmarking and publication to
follow.

The next step is implementation of the invalidation scheme
(Sec.~\ref{sec:future:invalidations}), which will also involve
updating the existing \txcache database modifications to work with the
latest version of PostgreSQL, and developing an appropriate benchmark
for the system. We expect this to be complete by summer 2011, and the
remainder in time for a thesis submission date of Feb.~2011.

\section{Required Facilities}
\label{sec:required-facilities}

We do not anticipate a need for any facilities other than computing
resources already available to the Programming Methodology Group.

% \section{Conclusion}
% \label{sec:conclusion}
% \input{conclusion}

\newpage
\bibliographystyle{plain}
\bibliography{bibliography/bibliography}

\end{document}