Bayesian Inference Using Data Flow Analysis
2013 (English)In: ESEC/FSE '13: Proceedings of the 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering / [ed] Bertrand Meyer, Luciano Baresi, and Mira Mezini, New York, NY, USA: ACM Press, 2013, 92-102 p.Conference paper (Refereed)
We present a new algorithm for Bayesian inference over probabilistic programs, based on data flow analysis techniques from the program analysis community. Unlike existing techniques for Bayesian inference on probabilistic programs, our data flow analysis algorithm is able to perform inference directly on probabilistic programs with loops. Even for loop-free programs, we show that data flow analysis offers better precision and better performance benefits over existing techniques. We also describe heuristics that are crucial for our inference to scale, and present an empirical evaluation of our algorithm over a range of benchmarks.
Place, publisher, year, edition, pages
New York, NY, USA: ACM Press, 2013. 92-102 p.
probabilistic programming, algebraic decision diagrams, data flow analysis
Research subject Computing Science
IdentifiersURN: urn:nbn:se:uu:diva-200547DOI: 10.1145/2491411.2491423ISBN: 978-1-4503-2237-9OAI: oai:DiVA.org:uu-200547DiVA: diva2:635297
9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering