Daniel Lundén
Orcid: 0000-0003-3127-5640
According to our database1,
Daniel Lundén
authored at least 9 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.
Proceedings of the Programming Languages and Systems, 2024
2023
Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages.
PhD thesis, 2023
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages.
CoRR, 2023
Proceedings of the Programming Languages and Systems, 2023
2022
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
Proceedings of the Programming Languages and Systems, 2022
2021
Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference.
CoRR, 2021
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
Proceedings of the Programming Languages and Systems, 2021
2018
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs.
CoRR, 2018
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018