Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Uncertain<T>: A First-Order Type for Uncertain Data

James Bornholt, Todd Mytkowicz, and Kathryn S. McKinley


Emerging applications increasingly use estimates such as sensor data (GPS), probabilistic models, machine learning, big data, and human data. Unfortunately, representing this uncertain data with discrete types (floats, integers, and booleans) encourages developers to pretend it is not probabilistic, which causes three types of uncertainty bugs. (1) Using estimates as facts ignores random error in estimates. (2) Computation compounds that error. (3) Boolean questions on probabilistic data induce false positives and negatives. This paper introduces Uncertain&lt;T&gt;, a new programming language abstraction for uncertain data. We implement a Bayesian network semantics for computation and conditionals that improves program correctness. The runtime uses sampling and hypothesis tests to evaluate computation and conditionals lazily and efficiently. We illustrate with sensor and machine learning applications that Uncertain&lt;T&gt; improves expressiveness and accuracy. Whereas previous probabilistic programming languages focus on experts, Uncertain&lt;T&gt; serves a wide range of developers. Experts still identify error distributions. However, both experts and application writers compute with distributions, improve estimates with domain knowledge, and ask questions with conditionals. The Uncertain&lt;T&gt; type system and operators encourage developers to expose and reason about uncertainty explicitly, controlling false positives and false negatives. These benefits make Uncertain&lt;T&gt; a compelling programming model for modern applications facing the challenge of uncertainty.


Publication typeArticle
Published inACM International Conference on Architectural Support for Programming Languages and Systems (ASPLOS), pp. 51-66, Selected for <b>ACM SIGPLAN Research Highlight 2014</b>, and <b>IEEE MICRO Top Picks 2015</b>
PublisherACM – Association for Computing Machinery

Previous versions

James Bornholt, Todd Mytkowicz, and Kathryn S. McKinley. Uncertain<T>: A First-Order Type for Uncertain Data, Microsoft Technical Report, April 2013.

> Publications > Uncertain&lt;T&gt;: A First-Order Type for Uncertain Data