On the public citation graph

Trace types and denotational semantics for sound programmable inference in probabilistic languages

https://doi.org/10.1145/3371087
0 signed · 60 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-030-17184-1_12openalex-snapshot
Probabilistic Programming Inference via Intensional Semantics
inferredcites →https://doi.org/10.1007/978-3-319-29604-3_5openalex-snapshot
Probabilistic Inference by Program Transformation in Hakaru (System Description)
inferredcites →https://doi.org/10.1023/a:1020281327116openalex-snapshot
An Introduction to MCMC for Machine Learning
inferredcites →https://doi.org/10.1080/01621459.1998.10473765openalex-snapshot
Sequential Monte Carlo Methods for Dynamic Systems
inferredcites →https://doi.org/10.1090/s0273-0979-08-01238-xopenalex-snapshot
The Markov chain Monte Carlo revolution
inferredcites →https://doi.org/10.1093/biomet/82.4.711openalex-snapshot
Reversible Jump Markov Chain Monte Carlo Computation and Bayesian Model Determination
inferredcites →https://doi.org/10.1109/lics.2017.8005137openalex-snapshot
A convenient category for higher-order probability theory
inferredcites →https://doi.org/10.1109/tpami.2018.2889774openalex-snapshot
Advances in Variational Inference
inferredcites →https://doi.org/10.1111/1467-9574.00056openalex-snapshot
Conditioning as disintegration
inferredcites →https://doi.org/10.1145/2103656.2103721openalex-snapshot
A type theory for probability density functions
inferredcites →https://doi.org/10.1145/2804302.2804317openalex-snapshot
Practical probabilistic programming with monads
inferredcites →https://doi.org/10.1145/2933575.2935313openalex-snapshot
Semantics for probabilistic programming
inferredcites →https://doi.org/10.1145/3062341.3062375openalex-snapshot
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling
inferredcites →https://doi.org/10.1145/3192366.3192409openalex-snapshot
Probabilistic programming with programmable inference
inferredcites →https://doi.org/10.1145/3211346.3211350openalex-snapshot
A design proposal for Gen: probabilistic programming with fast custom inference via code generation
inferredcites →https://doi.org/10.1145/3236778openalex-snapshot
Functional programming for modular Bayesian inference
inferredcites →https://doi.org/10.1145/3290351openalex-snapshot
Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization
inferredcites →https://doi.org/10.1145/3314221.3314642openalex-snapshot
Gen: a general-purpose probabilistic programming system with programmable inference
inferredcites →https://doi.org/10.1145/504729.504754openalex-snapshot
Probabilistic robotics
inferredcites →https://doi.org/10.1214/17-aap1326openalex-snapshot
The sample size required in importance sampling
inferredcites →https://doi.org/10.14288/1.0044249openalex-snapshot
A new approach to probabilistic programming inference
inferredcites →https://doi.org/10.17863/cam.42246openalex-snapshot
Turing: A language for flexible probabilistic inference
inferredcites →https://doi.org/10.18637/jss.v076.i01openalex-snapshot
Stan : A Probabilistic Programming Language
inferredcites →https://doi.org/10.4230/lipics.icdt.2016.7openalex-snapshot
Declarative Probabilistic Programming with Datalog
inferredcites →https://doi.org/10.4230/lipics.snapl.2019.1openalex-snapshot
Overparameterization: A Connection Between Software 1.0 and Software 2.0
inferredcites →https://doi.org/10.48550/arxiv.1006.0991openalex-snapshot
Variational Program Inference
inferredcites →https://doi.org/10.48550/arxiv.1206.3255openalex-snapshot
Church: a language for generative models
inferredcites →https://doi.org/10.48550/arxiv.1603.01882openalex-snapshot
Composing inference algorithms as program transformations
inferredcites →https://doi.org/10.48550/arxiv.1610.05735openalex-snapshot
Deep Amortized Inference for Probabilistic Programs
inferredcites →https://doi.org/10.48550/arxiv.1810.09538openalex-snapshot
Pyro: Deep Universal Probabilistic Programming
inferredcites →https://doi.org/10.48550/arxiv.1903.02482openalex-snapshot
LF-PPL: A Low-Level First Order Probabilistic Programming Language for Non-Differentiable Models

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-44914-8_14openalex-snapshot
Continualization of Probabilistic Programs With Correction
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_16openalex-snapshot
Densities of Almost Surely Terminating Probabilistic Programs are Differentiable Almost Everywhere
inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_19openalex-snapshot
Bayesian strategies: probabilistic programs as generalised graphical models
inferred← citeshttps://doi.org/10.1007/978-3-031-30044-8_18openalex-snapshot
Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
inferred← citeshttps://doi.org/10.1109/access.2024.3467375openalex-snapshot
Approximate Computing: Concepts, Architectures, Challenges, Applications, and Future Directions
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175739openalex-snapshot
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
inferred← citeshttps://doi.org/10.1145/3408992openalex-snapshot
Raising expectations: automating expected cost analysis with types
inferred← citeshttps://doi.org/10.1145/3453483.3454077openalex-snapshot
Sound probabilistic inference via guide types
inferred← citeshttps://doi.org/10.1145/3453483.3454078openalex-snapshot
SPPL: probabilistic programming with fast exact symbolic inference
inferred← citeshttps://doi.org/10.1145/3453483.3454111openalex-snapshot
On probabilistic termination of functional programs with continuous distributions
inferred← citeshttps://doi.org/10.1145/3531130.3533370openalex-snapshot
Concrete categories and higher-order recursion
inferred← citeshttps://doi.org/10.1145/3547635openalex-snapshot
Modular probabilistic models via algebraic effects
inferred← citeshttps://doi.org/10.1145/3571198openalex-snapshot
ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3571205openalex-snapshot
Smoothness Analysis for Probabilistic Programs with Application to Optimised Variational Inference
inferred← citeshttps://doi.org/10.1145/3571243openalex-snapshot
Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference
inferred← citeshttps://doi.org/10.1145/3591290openalex-snapshot
Probabilistic Programming with Stochastic Probabilities
inferred← citeshttps://doi.org/10.1145/3656463openalex-snapshot
Probabilistic Programming with Programmable Variational Inference
inferred← citeshttps://doi.org/10.1145/3689748openalex-snapshot
Programmable MCMC with Soundly Composed Guide Programs
inferred← citeshttps://doi.org/10.1145/3704846openalex-snapshot
Inference Plans for Hybrid Particle Filtering
inferred← citeshttps://doi.org/10.1145/3704890openalex-snapshot
Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories
inferred← citeshttps://doi.org/10.1145/3776729openalex-snapshot
Probabilistic Programming with Vectorized Programmable Inference
inferred← citeshttps://doi.org/10.1145/3808321openalex-snapshot
GradInf: Gradient Estimation as Probabilistic Inference
inferred← citeshttps://doi.org/10.1145/3839533openalex-snapshot
Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
inferred← citeshttps://doi.org/10.17760/d20560797openalex-snapshot
A mortized inference for structured deep generative models
inferred← citeshttps://doi.org/10.17760/d20618640openalex-snapshot
Towards compositional probabilistic programming
inferred← citeshttps://doi.org/10.48550/arxiv.2002.02702openalex-snapshot
DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models
inferred← citeshttps://doi.org/10.48550/arxiv.2007.09871openalex-snapshot
Automating Involutive MCMC using Probabilistic and Differentiable Programming
inferred← citeshttps://doi.org/10.48550/arxiv.2007.11832openalex-snapshot
Probabilistic Analysis of Binary Sessions
inferred← citeshttps://doi.org/10.48550/arxiv.2103.00668openalex-snapshot
Learning Proposals for Probabilistic Programs with Inference Combinators
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.