master/conclusion.tex

\section{Conclusion}
\label{sec-conclusion}
To conclude, we have described the \texttt{maybe} statement: a new language
construct allowing developers to express structured uncertainty at
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}
Students and faculty working on the \texttt{maybe} project are supported by
NSF awards
\href{http://www.nsf.gov/awardsearch/showAward.do?AwardNumber=1205656}{1205656},
\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.