Uncertain〈T〉: A first-order type for Uncertain data

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2014, Pages 51-65

  Bornholt, James ^a   Mytkowicz, Todd ^b   McKinley, Kathryn S ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Estimates; Probabilistic Programming; Statistics

Indexed keywords

EMERGING APPLICATIONS; ERROR DISTRIBUTIONS; ESTIMATES; MACHINE LEARNING APPLICATIONS; PROBABILISTIC MODELS; PROBABILISTIC PROGRAMMING; PROBABILISTIC PROGRAMMING LANGUAGE; PROGRAM CORRECTNESS;

BAYESIAN NETWORKS; COMPUTER PROGRAMMING LANGUAGES; LEARNING SYSTEMS; SEMANTICS; SENSORS; STATISTICS;

ESTIMATION;

EID: 84897803531     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2541940.2541958     Document Type: Conference Paper

References (32)

1. D. Barbara, H. Garcia-Molina, and D. Porter. The management of probabilistic data. IEEE Transactions on Knowledge and Data Engineering, 4(5):487-502, 1992. 64
2. O. Benjelloun, A. D. Sarma, A. Halevy, and J.Widom. ULDBs: Databases with uncertainty and lineage. In ACM International Conference on Very Large Data Bases (VLDB), pages 953-964, 2006.
3. E. R. Berlekamp, J. H. Conway, and R. K. Guy. Winning Ways for Your Mathematical Plays, volume 4. A K Peters, 2004.
4. S. Bhat, A. Agarwal, R. Vuduc, and A. Gray. A type theory for probability density functions. In ACM Symposium on Principles of Programming Languages (POPL), pages 545-556, 2012.
5. C. M. Bishop. Pattern Recognition and Machine Learning. Springer, 2006.
6. J. Borgström, A. D. Gordon, M. Greenberg, J. Margetson, and J. Van Gael. Measure transformer semantics for Bayesian machine learning. In European Symposium on Programming (ESOP), pages 77-96, 2011.
7. J. Bornholt. Abstractions and techniques for programming with uncertain data. Honors thesis, Australian National University, 2013.
8. G. E. P. Box and M. E. Muller. A note on the generation of random normal deviates. The Annals of Mathematical Statistics, 29(2):610-611, 1958.
9. M. Carbin, S. Misailovic, and M. C. Rinard. Verifying quantitative reliability of programs that execute on unreliable hardware. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), pages 33-52, 2013.
10. A. T. Chaganty, A. V. Nori, and S. K. Rajamani. Efficiently sampling probabilistic programs via program analysis. In Proceedings of the 16th international conference on Artificial Intelligence and Statistics, AISTATS 2013, Scottsdale, AZ, USA, April 29-May 1, 2013, pages 153-160. JMLR, 2013.
11. N. Dalvi and D. Suciu. Management of probabilistic data: Foundations and challenges. In ACM Symposium on Principles of Database Systems (PODS), pages 1-12, 2007.
12. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Neural acceleration for general-purpose approximate programs. In IEEE/ACM International Symposium on Microarchitecture (MICRO), pages 449-460, 2012.
13. W. R. Gilks, A. Thomas, and D. J. Spiegelhalter. A language and program for complex Bayesian modelling. Journal of the Royal Statistical Society. Series D (The Statistician), 43(1): 169-177, 1994.
14. M. Giry. A categorical approach to probability theory. In Categorical Aspects of Topology and Analysis, volume 915 of Lecture Notes in Mathematics, pages 68-85. 1982.
15. N. D. Goodman, V. K. Mansinghka, D. M. Roy, K. Bonawitz, and J. B. Tenenbaum. Church: A language for generative models. In Conference in Uncertainty in Artificial Intelligence (UAI), pages 220-229, 2008.
16. S. Jaroszewicz and M. Korze'n. Arithmetic operations on independent random variables: A numerical approach. SIAM Journal on Scientific Computing, 34:A1241-A1265, 2012.
17. C. Jennison and B. W. Turnbull. Group sequential methods with applications to clinical trials. Chapman & Hall, 2000.
18. A. Kumar, F. Niu, and C. R'e. Hazy: Making it Easier to Build and Maintain Big-data Analytics. ACM Queue, 11(1):30-46, 2013.
19. R. E. Moore. Interval analysis. Prentice-Hall, 1966.
20. R. M. Neal. Bayesian learning for neural networks. PhD thesis, University of Toronto, 1994.
21. P. Newson and J. Krumm. Hidden Markov map matching through noise and sparseness. In ACM International Conference on Advances in Geographic Information Systems (GIS), pages 336-343, 2009.
22. A. Papoulis and S. U. Pillai. Probability, random variables, and stochastic processes. New York, NY, 4th edition, 2000.
23. S. Park, F. Pfenning, and S. Thrun. A probabilistic language based on sampling functions. In ACM Symposium on Principles of Programming Languages (POPL), pages 171-182, 2005.
24. A. Pfeffer. IBAL: a probabilistic rational programming language. In International Joint Conference on Artificial Intelligence (IJCAI), pages 733-740, 2001.
25. N. Ramsey and A. Pfeffer. Stochastic lambda calculus and monads of probability distributions. In ACM Symposium on Principles of Programming Languages (POPL), pages 154-165, 2002.
26. A. Sampson,W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. EnerJ: Approximate data types for safe and general low-power computation. In ACM Conference on Programming Language Design and Implementation (PLDI), pages 164-174, 2011.
27. S. Sankaranarayanan, A. Chakarov, and S. Gulwani. Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. In ACM Conference on Programming Language Design and Implementation (PLDI), pages 447-458, 2013.
28. J. Schwarz, J. Mankoff, and S. E. Hudson. Monte Carlo methods for managing interactive state, action and feedback under uncertainty. In ACM Symposium on User Interface Software and Technology (UIST), pages 235-144, 2011.
29. R. Thompson. Global positioning system: the mathematics of GPS receivers. Mathematics Magazine, 71(4):260-269, 1998.
30. S. Thrun. Towards programming tools for robots that integrate probabilistic computation and learning. In IEEE International Conference on Robotics and Automation (ICRA), pages 306-312, 2000.
31. F. Tops'e. On the Glivenko-Cantelli theorem. Zeitschrift fr Wahrscheinlichkeitstheorie und Verwandte Gebiete, 14:239-250, 1970.
32. A. Wald. Sequential Tests of Statistical Hypotheses. The Annals of Mathematical Statistics, 16(2):117-186, 1945.