research
∙
02/25/2023
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make encoding and automatical...
share
research
∙
01/27/2023
Automatic Alignment in Higher-Order Probabilistic Programming Languages
Probabilistic Programming Languages (PPLs) allow users to encode statist...
research
∙
12/01/2021
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference
Probabilistic programming languages (PPLs) allow users to encode arbitra...
research
∙
03/11/2020
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Probabilistic programming languages (PPLs) make it possible to reason un...
research
∙
12/18/2018
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs
Probabilistic programming is a programming paradigm for expressing flexi...
research
∙
08/25/2017