David Broman

News and Events

• Fall 2024: I'm now back in Sweden at KTH, and I'm honored to take on the new role as head of the division for the Division of Software and Computer Systems (SCS) within the Department of Computer Science and the School of Electrical Engineering and Computer Science (EECS) at KTH.

• Please take a look at some of the exciting collaboration results and preprints from my year at Stanford: (i) Learning Formal Mathematics From Intrinsic Motivation, (ii) Automatic Tracing in Task-Based Runtime Systems, (iii) Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs, and (iv) Scorch: A Library for Sparse Deep Learning.

• Paper accepted to the IEEE Transactions on Automatic Control. Paper title: Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control, 2024.

• A new exciting Ph.D. position is available in my group. The topic is on the intersection of programming languages, compilers, natural language processing, and machine learning using large language models. Please check out the ad, as well as the project description. Application deadline is June 12, 2024.

• Paper accepted to the 33rd European Symposium on Programming (ESOP 2024). Paper title: Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.

• General Chair for the Forum on Specification & Design Languages (FDL), Stockholm, September, 2024.

• The second Miking Workshop took place on November 23, 2023. Please see the workshop agenda.

• I'm a Visiting Professor at Stanford University during a 1-year period (fall 2023 and spring 2024).

• Paper accepted to the International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Paper title: Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers.

• We received the best ETAPS paper on programming languages and systems (the EAPLS Award). The paper was published at the 32nd European Symposium on Programming (ESOP) with title: Automatic Alignment in Higher-Order Probabilistic Programming Languages.

• Article accepted to journal Systematic Biology. Paper title: Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics.