activity
20172021
most citedA Brief Overview of the KTA WCET Tool

3 citations · 5 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2018★ 1 cited

Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs

Daniel Lundén, David Broman, Fredrik Ronquist +1

Probabilistic programming is a programming paradigm for expressing flexible probabilistic models. Implementations of probabilistic programming languages employ a variety of inferen…