Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages D Lundén, L Hummelgren, J Kudlicka, O Eriksson, D Broman European Symposium on Programming, 302-330, 2024 | | 2024 |
Real-Time Probabilistic Programming L Hummelgren, M Becker, D Broman arXiv preprint arXiv:2311.06788, 2023 | | 2023 |
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages D Lundén, L Hummelgren, J Kudlicka, O Eriksson, D Broman arXiv preprint arXiv:2302.13051, 2023 | | 2023 |
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages L Hummelgren, J Wikman, O Eriksson, P Haller, D Broman arXiv preprint arXiv:2211.00621, 2022 | | 2022 |
A contract language for modular specification and verification of temporal properties L Hummelgren | | 2020 |
Using PAQ8L to play games of perfect information L Hummelgren, A Lyxell | | 2018 |