Acknowledge shepherd.

Geoffrey Challen
1 parent fc940395
Showing 3 changed files with 13 additions and 10 deletions
conclusion.tex
paper.tex
related.tex
-\section{Conclusions}
+\vspace*{-0.05in}
+\section{Conclusion}
 \label{sec-conclusion}
 To conclude, we have described the \texttt{maybe} statement: a new language
@@ -7,7 +8,7 @@ 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.
-\section*{Acknowledgments}
+\subsubsection*{Acknowledgements}
 Students and faculty working on the \texttt{maybe} project are supported by
 NSF awards
@@ -15,4 +16,7 @@ NSF awards
 \href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1409367}{1409367},
 and
 \href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1423215}{1423215}.
+The \texttt{maybe} team thanks the anonymous reviewers and our shepherd,
+Mahadev Satyanarayanan, for their feedback.
+\vspace*{-0.05in}
@@ -83,7 +83,7 @@ Jinghao Shi, Guru Prasad Srinivasa, and Lukasz Ziarek}
 {\scriptsize
 \balance
-\renewcommand{\baselinestretch}{0.9}
+\renewcommand{\baselinestretch}{0.8}
 \bibliographystyle{acm}
 \bibliography{references}
 }
@@ -16,13 +16,12 @@ AOP focusing on modularity and \texttt{maybe} focused on increasing runtime
 flexibility in the face of uncertainty.
 \texttt{maybe} shares similaries with language-based approaches to managing
-energy consumption in wireless sensor networks such as
-Eon~\cite{sensys07-eon} and Levels~\cite{sensys07-levels}. However, these
-approaches still require programmers to express certainty by associating code
-with particular energy states, rather than allowing the system to determine
-which energy states are appropriate as the \texttt{maybe} system would do.
-\texttt{maybe} can also enable adaptation driven by goals other than energy
-management.
+energy consumption such as Eon~\cite{sensys07-eon} and
+Levels~\cite{sensys07-levels}. However, these approaches still require
+programmers to express certainty by associating code with particular energy
+states, rather than allowing the \texttt{maybe} system to determine which
+energy states are appropriate. \texttt{maybe} can also enable adaptation
+driven by goals other than energy management.
 Attempts to enable more adaptive mobile systems date back to systems such as
 Odyssey~\cite{odyssey-sosp97}. However, a taxonomy of approaches to enabling