A Novel Probabilistic Data Flow Framework
No abstract available.
DOI 10.1007/3-540-45306-7_4
Related papers
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025
- Compiling Probabilistic Programs for Variable Elimination with Information Flow PLDI 2024
- Engineering an Efficient Probabilistic Exact Model Counter CAV 2025
- PMAF: an algebraic framework for static analysis of probabilistic programs PLDI 2018
- Dependent Information Flow Types POPL 2015
- GradInf: Gradient Estimation as Probabilistic Inference PLDI 2026
- Newtonian Program Analysis of Probabilistic Programs OOPSLA 2024
- Bayesian strategies: probabilistic programs as generalised graphical models ESOP 2021