New.

Geoffrey Challen
1 parent 4e642da1
Showing 3 changed files with 8 additions and 6 deletions
conclusion.tex
introduction.tex
maybe.tex
@@ -8,7 +8,8 @@ development time and for that uncertainty to be resolved through later
 testing and adaptation. We are in the process of building a prototype of the
 \texttt{maybe} system for Android smartphones.
-\subsubsection*{Acknowledgments}
+\vspace*{-0.05in}
+\section*{Acknowledgments}
 Students and faculty working on the \texttt{maybe} project are supported by
 NSF awards
@@ -114,7 +114,8 @@ activating an energy-saving alternative when appropriate.
 How that choice is made is discussed in the remainder of our paper. We begin
 by providing a more complete description of the \texttt{maybe} statement in
 Section~\ref{sec-maybe}. Section~\ref{sec-certainty} describes several
-techniques for collapsing compile-time uncertainty into the required runtime
-certainty. We continue by briefly describing several example use cases in
-Section~\ref{sec-usage} and related work in Section~\ref{sec-related}. We
-conclude in Section~\ref{sec-conclusion}.
+techniques for transforming development-time uncertainty into runtime
+certainty. We continue by describing several example use cases in
+Section~\ref{sec-usage}, discussing the implications of the \texttt{maybe}
+statement in Section~\ref{sec-discussion}, and presenting related work in
+Section~\ref{sec-related}. We conclude in Section~\ref{sec-conclusion}.
@@ -36,7 +36,7 @@ maybe {
 \label{fig-maybeexamples}
-\vspace*{-0.1in}
+\vspace*{-0.15in}
 \end{figure}