Daniel Lundén
Title
Cited by
Cited by
Year
Delayed sampling and automatic rao-blackwellization of probabilistic programs
L Murray, D Lundén, J Kudlicka, D Broman, T Schön
International Conference on Artificial Intelligence and Statistics, 1037-1046, 2018
362018
Universal probabilistic programming offers a powerful approach to statistical phylogenetics
F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ...
Communications biology 4 (1), 1-10, 2021
72021
Delayed sampling in the probabilistic programming language Anglican
D Lundén
62017
Automatic alignment of Sequential Monte Carlo inference in higher-order probabilistic programs
D Lundén, D Broman, F Ronquist, LM Murray
arXiv preprint arXiv:1812.07439, 2018
42018
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
D Lundén, J Borgström, D Broman
ESOP, 404-431, 2021
22021
Combining static and dynamic optimizations using closed-form solutions
D Lundén, D Broman, LM Murray
Proceedings of the Workshop on Probabilistic Programming Semantics (PPS) 3, 2018
12018
Factoring integers with parallel SAT solvers
D Lundén, E Forsblom
12015
Publisher Correction: Universal probabilistic programming offers a powerful approach to statistical phylogenetics
F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ...
Communications Biology 4 (1), 1-1, 2021
2021
Compilation of Universal Probabilistic Programs to GPGPUs
D Lundén, J Öhman, D Broman
Supplementary information for “Universal probabilistic programming offers a powerful approach to statistical phylogenetics”
F Ronquist, J Kudlicka, V Senderov, J Borgström, N Lartillot, D Lundén, ...
Automatic Discovery of Static Structures in Probabilistic Programs
D Lundén, D Broman, F Ronquist, LM Murray
Fördröjd provtagning i det probabilistiska programmeringssprĺket Anglican
D Lundén
The system can't perform the operation now. Try again later.
Articles 1–12