Dario Stein

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Information Flows

Covariance Matrices

Probability Theory

Multi Context Systems

Top Venues

Proc. ACM Program. Lang.

Math. Struct. Comput. Sci.

Publications

Dario Stein, Sam Staton
Probabilistic Programming with Exact Conditions. J. ACM 71 (1) (2024)
Dario Stein, Richard Samuelson
Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory). FoSSaCS (1) (2024)
Dario Stein, Richard Samuelson
A Categorical Treatment of Open Linear Systems. CoRR (2024)
Dario Stein, Fabio Zanasi, Richard Samuelson, Robin Piedeleu
Graphical Quadratic Algebra. CoRR (2024)
Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein
Dilations and information flow axioms in categorical probability. Math. Struct. Comput. Sci. 33 (10) (2023)
Bart Jacobs, Dario Stein
Counting and Matching. CSL (2023)
Bart Jacobs, Dario Stein
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. CoRR (2023)
Dario Stein, Sam Staton
Probabilistic Programming with Exact Conditions. CoRR (2023)
Tobias Fritz, Tomás Gonda, Antonio Lorenzin, Paolo Perrone, Dario Stein
Absolute continuity, supports and idempotent splitting in categorical probability. CoRR (2023)
Bart Jacobs, Dario Stein
Overdrawing Urns using Categories of Signed Probabilities. CoRR (2023)
Dario Stein, Richard Samuelson
A Category for Unifying Gaussian Probability and Nondeterminism. CALCO (2023)
Dario Stein
Decorated Linear Relations: Extending Gaussian Probability with Uninformative Priors. CoRR (2022)
Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Paolo Perrone, Dario Stein
Dilations and information flow axioms in categorical probability. CoRR (2022)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic programming semantics for name generation. Proc. ACM Program. Lang. 5 (POPL) (2021)
Dario Stein, Sam Staton
Compositional Semantics for Probabilistic Programs with Exact Conditioning. LICS (2021)
Dario Stein, Sam Staton
Compositional Semantics for Probabilistic Programs with Exact Conditioning. CoRR (2021)
Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman
Probabilistic Programming Semantics for Name Generation. CoRR (2020)
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
The Beta-Bernoulli process and algebraic effects. CoRR (2018)
Sam Staton, Dario Stein, Hongseok Yang, Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy
The Beta-Bernoulli process and algebraic effects. ICALP (2018)