81 citations · 102 across the 9 of their papers we have counts for
11 papers
Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control
Daniel Arnström, David Broman, Daniel Axehill
We propose the first method that determines the exact worst-case execution time (WCET) for implicit linear model predictive control (MPC). Such WCET bounds are imperative when MPC…
Programming with Context-Sensitive Holes using Dependency-Aware Tuning
Linnea Stjerna, David Broman
Developing efficient and maintainable software systems is both hard and time consuming. In particular, non-functional performance requirements involve many design and implementatio…
Automatic Diversity in the Software Supply Chain
Nicolas Harrand, Thomas Durieux, David Broman +1
Despite its obvious benefits, the increased adoption of package managers to automate the reuse of libraries has opened the door to a new class of hazards: supply chain attacks. By…
The Behavioral Diversity of Java JSON Libraries
Nicolas Harrand, Thomas Durieux, David Broman +1
JSON is an essential file and data format in do-mains that span scientific computing, web APIs or configuration management. Its popularity has motivated significant software develo…
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages
Daniel Lundén, Johannes Borgström, David Broman
Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic progra…
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…