17 citations · 54 across the 9 of their papers we have counts for
4 papers · 1 filter
Program Analysis of Probabilistic Programs
Maria I. Gorinova
Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practi…
Conditional independence by typing
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton +1
A central goal of probabilistic programming languages (PPLs) is to separate modelling from inference. However, this goal is hard to achieve in practice. Users are often forced to r…
Effect Handling for Composable Program Transformations in Edward2
Dave Moore, Maria I. Gorinova
Algebraic effects and handlers have emerged in the programming languages community as a convenient, modular abstraction for controlling computational effects. They have found sever…
Probabilistic Programming with Densities in SlicStan: Efficient, Flexible and Deterministic
Maria I. Gorinova, Andrew D. Gordon, Charles Sutton
Stan is a probabilistic programming language that has been increasingly used for real-world scalable projects. However, to make practical inference possible, the language sacrifice…