Program Analysis of Probabilistic Programs. (arXiv:2204.06868v1 [cs.PL])

Probabilistic programming is a growing area that strives to make statistical
analysis more accessible, by separating probabilistic modelling from
probabilistic inference. In practice this decoupling is difficult. No single
inference algorithm can be used as a probabilistic programming back-end that is
simultaneously reliable, efficient, black-box, and general. Probabilistic
programming languages often choose a single algorithm to apply to a given
problem, thus inheriting its limitations. While substantial work has been done
both to formalise probabilistic programming and to improve efficiency …

analysis arxiv pl