| Learning Formal Mathematics From Intrinsic Motivation G Poesia, D Broman, N Haber, ND Goodman arXiv preprint arXiv:2407.00695, 2024 | | 2024 |
| Automatic Tracing in Task-Based Runtime Systems R Yadav, M Bauer, D Broman, M Garland, A Aiken, F Kjolstad arXiv preprint arXiv:2406.18111, 2024 | | 2024 |
| Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs K Opsahl-Ong, MJ Ryan, J Purtell, D Broman, C Potts, M Zaharia, ... arXiv preprint arXiv:2406.11695, 2024 | 1 | 2024 |
| Scorch: A Library for Sparse Deep Learning B Yan, AJ Root, T Gale, D Broman, F Kjolstad arXiv preprint arXiv:2405.16883, 2024 | | 2024 |
| Exact worst-case execution-time analysis for implicit model predictive control D Arnström, D Broman, D Axehill IEEE Transactions on Automatic Control, 2024 | 2 | 2024 |
| 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 |
| Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers O Eriksson, V Palmkvist, D Broman Proceedings of the 22nd ACM SIGPLAN International Conference on Generative …, 2023 | | 2023 |
| Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics J Truszkowski, A Perrigo, D Broman, F Ronquist, A Antonelli Systematic Biology 72 (5), 1199-1206, 2023 | 1 | 2023 |
| Logical time for reactive software M Lohstroh, EA Lee, SA Edwards, D Broman Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 313-318, 2023 | 6 | 2023 |
| Automatic Alignment in Higher-Order Probabilistic Programming Languages. D Lundén, G Çaylak, F Ronquist, D Broman ESOP, 535-563, 2023 | 3 | 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 |
| Statically Resolvable Ambiguity V Palmkvist, E Castegren, P Haller, D Broman Proceedings of the ACM on Programming Languages 7 (POPL), 1686-1712, 2023 | 1 | 2023 |
| TreePPL: A Universal Probabilistic Programming Language for Phylogenetics VE Senderov, J Kudlicka, D Lunden, V Palmkvist, MP Braga, E Granqvist, ... bioRxiv, 2023.10. 10.561673, 2023 | | 2023 |
| What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments? D Broman, J Woodcock Research Directions: Cyber-Physical Systems 1, e4, 2023 | | 2023 |
| Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances R Bereza, O Eriksson, MRH Abdalmoaty, D Broman, H Hjalmarsson 2022 IEEE 61st Conference on Decision and Control (CDC), 6712-6717, 2022 | 2 | 2022 |
| TECoSA–Trends, Drivers, and Strategic Directions for Trustworthy Edge Computing in Industrial Applications J Gross, M Törngren, G Dán, D Broman, E Herzog, I Leite, R Ramakrishna, ... INSIGHT 25 (4), 29-34, 2022 | 1 | 2022 |
| 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 |
| Programming with Context-Sensitive Holes using Dependency-Aware Tuning L Stjerna, D Broman arXiv preprint arXiv:2209.01000, 2022 | | 2022 |
| Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. D Lundén, J Öhman, J Kudlicka, V Senderov, F Ronquist, D Broman ESOP, 29-56, 2022 | 10 | 2022 |
Peter FritzsonProfessor of Computer Science, Linköping UniversityVerified email at liu.se