Daniel Lundén

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Object Oriented Concepts

Denotational Semantics

Lambda Calculus

General Purpose

Top Venues

Publications

Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. ESOP (2) (2024)
Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages. CoRR (2023)
Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
Automatic Alignment in Higher-Order Probabilistic Programming Languages. ESOP (2023)
Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
Automatic Alignment in Higher-Order Probabilistic Programming Languages. CoRR (2023)
Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. ESOP (2022)
Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman
Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference. CoRR (2021)
Daniel Lundén, Johannes Borgström, David Broman
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. ESOP (2021)
Daniel Lundén, Johannes Borgström, David Broman
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. CoRR (2020)
Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs. CoRR (2018)
Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, Thomas B. Schön
Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. AISTATS (2018)