An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages

No abstract is available for this paper.

• Publication year

  2016

• Venue

  European Symposium on Programming

• Publication date

  2016-04-02

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-662-49498-1_14
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• R2: An Efficient MCMC Sampler for Probabilistic Programs

  2014cited by this paper
• Computable Analysis: An Introduction

  2014cited by this paper
• A New Approach to Probabilistic Programming Inference

  2014cited by this paper
• Fully simplified multivariate normal updates in non-conjugate variational message passing

  2014cited by this paper
• Augur: Data-Parallel Probabilistic Modeling

  2014cited by this paper
• Running Probabilistic Programs Backwards

  2014cited by this paper
• Creating and Manipulating Probabilistic Programs with Figaro

  2012cited by this paper
• Accelerating Inference: towards a full Language, Compiler and Hardware stack

  2012cited by this paper
• The No-U-turn sampler: adaptively setting path lengths in Hamiltonian Monte Carlo

  2011cited by this paper
• Measure Transformer Semantics for Bayesian Machine Learning

  2011cited by this paper
• Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation

  2011cited by this paper
• Noncomputable Conditional Distributions

  2011influential reference
• A Categorical Approach to Probability Theory

  2010cited by this paper
• Posterior distributions are computable from predictive distributions

  2010cited by this paper
• The BUGS project: Evolution, critique and future directions

  2009cited by this paper
• Computable de Finetti measures

  2009cited by this paper
• FACTORIE: Probabilistic Programming via Imperatively Defined Factor Graphs

  2009cited by this paper
• Church: a language for generative models

  2008influential reference
• Effective symbolic dynamics, random points, statistical behavior, complexity and entropy

  2007cited by this paper
• Computability of probability measures and Martin-Löf randomness over metric spaces

  2007cited by this paper
• Admissible representations for probability measures

  2007cited by this paper
• Probability Theory with Applications (Mathematics and Its Applications)

  2006cited by this paper
• A probabilistic language based upon sampling functions

  2005cited by this paper
• Uniform test of algorithmic randomness over a general space

  2003cited by this paper
• Stochastic lambda calculus and monads of probability distributions

  2002cited by this paper
• IBAL: A Probabilistic Rational Programming Language

  2001cited by this paper
• Markov Chain Sampling Methods for Dirichlet Process Mixture Models

  2000cited by this paper
• A semantics for imprecise exceptions

  1999cited by this paper
• On the rapid computation of various polylogarithmic constants

  1997cited by this paper
• Computability on the Probability Measureson the Borel Sets of the Unit Interval

  1997cited by this paper
• Effective Bayesian Inference for Stochastic Programs

  1997cited by this paper
• The formal semantics of programming languages - an introduction

  1993cited by this paper
• A probabilistic powerdomain of evaluations

  1989cited by this paper
• Probability theory with applications

  1984cited by this paper
• CPO'S of Measures for Nondeterminism

  1980cited by this paper
• Semantics of probabilistic programs

  1979cited by this paper

• noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning

  2026cites this paper
• Verified Density Compilation for a Probabilistic Programming Language

  2023cites this paper
• Affine Monads and Lazy Structures for Bayesian Programming

  2022cites this paper
• Probabilistic programming semantics for name generation

  2020cites this paper
• Dice: Compiling Discrete Probabilistic Programs for Scalable Inference

  2020cites this paper
• Scaling exact inference for discrete probabilistic programs

  2020cites this paper
• Weakest Preexpectation Semantics for Bayesian Inference

  2020cites this paper
• Synthetic topology in Homotopy Type Theory for probabilistic programming

  2019cites this paper
• Symbolic Exact Inference for Discrete Probabilistic Programs

  2019cites this paper
• Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence

  2019cites this paper
• Programming language semantics as a foundation for Bayesian inference

  2018cites this paper
• An Application of Computable Distributions to the Semantics of Probabilistic Programs

  2018cites this paper
• Contextual equivalence for a probabilistic language with continuous random variables and recursion

  2018cites this paper
• A domain theory for statistical probabilistic programming

  2018cites this paper
• Probabilistic programming with densities in SlicStan: efficient, flexible, and deterministic

  2018cites this paper
• On Programming Languages for Probabilistic Modeling

  2017influential citation
• Compiling Markov chain Monte Carlo algorithms for probabilistic modeling

  2017cites this paper
• Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring

  2017cites this paper
• A language for probabilistically oblivious computation

  2017cites this paper
• Proposal Verifying Concurrent Randomized Algorithms

  2017cites this paper
• A Library for Algorithmic Game Theory in Ssreflect/Coq

  2017cites this paper