The maybe statement is a new code primitive that allows developers to harness the power of nondeterminism in their code. Through a collaboration between three labs at UB, we are building compiler, infrastructure, and analytics support that will help developers to write safer, faster, and more adaptable mobile applications. See our paper at this year's HotMobile.
Congrats to Jerry, Nick, Anudipa, Anandatirtha, Guru, Sriram, Jinghao, Luke, and especially Geoff for putting together a great paper.