%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{Summary of Past Contributions}

\vspace{0.3in}
\begin{small}
\begin{center}
\Black{\begin{itemize}
	\item Modeling Concurrent Computations:
	\Blue{\begin{itemize}
		\item  Defined the Potential Causality Model.
	\end{itemize}}
	\vspace{0.5in}
	\item Predicate Detection:
	\Blue{\begin{itemize}
		\item  Showed that Conjunctive Predicate Detection is NP-Complete
             for Potential Causality.
		\item  Designed an efficient algorithm for receive-ordered (and
             send-ordered) computations.
		\item  Achieved an exponential saving for general computations.
	\end{itemize}}
	\vspace{0.5in}
	\item Predicate Control:
	\Blue{\begin{itemize}
		\item  Showed that Off-line Predicate Control is NP-Complete.
		\item  Solved efficiently for:
		\Blue{\begin{itemize}
			\item Disjunctive Predicates
			\item Mutual-exclusion (with Read-Write and Independent Locks)
		\end{itemize}}
	\end{itemize}}
\end{itemize}}
\end{center}
\end{small}

%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{Prototype Implementation}

\vspace{0.3in}
\begin{center}
\Black{\begin{itemize}
	\item Components to be borrowed:
	\Blue{\begin{itemize}
		\item checkpointing and logging
		\item rollback
		\item replay
	\end{itemize}}
	\item Choices:
	\Blue{\begin{itemize}
		\item targetted language: Java, C++?
		\item targetted system: multi-threaded, parallel, 
                distributed shared memory, distributed message-passing?
	\end{itemize}}
	\item Why implement?
	\Blue{\begin{itemize}
		\item study overhead issues in a sample system
		\item study effectiveness in a sample system
	\end{itemize}}
\end{itemize}}
\end{center}

%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{Modeling Concurrent Computations}

\vspace{0.3in}
\begin{center}
\Black{\begin{itemize}
	\item issues in implementing potential causality: clock mechanism
	\item measure and compare overhead with happened before
	\item measure and compare relative ability to avoid faults with happened before
\end{itemize}}
\end{center}

%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{Predicate Detection}

\vspace{0.3in}
\begin{center}
\Black{\begin{itemize}
	\item extending to potential causality:
	\Blue{\begin{itemize}
		\item race detection
		\item deadlock detection
	\end{itemize}}
	\item other sychronization faults, e.g. K-mutual exclusion
\end{itemize}}
\end{center}

%-------------------------------------------------------------------------------

\movedUpBody{-0.75in}{Predicate Control}

\vspace{0.3in}
\begin{center}
\Black{\begin{itemize}
	\item extending to potential causality:
	\Blue{\begin{itemize}
		\item off-line disjunctive predicate control
		\item off-line mutual exclusion
	\end{itemize}}
	\item other synchronization faults, e.g. K-mutual exclusion
\end{itemize}}
\end{center}

%-------------------------------------------------------------------------------
