David Broman

News and Events

• Paper accepted to the ACM International Conference on Architectural Support for Programming Languages and Operating (ASPLOS 2025). Paper title: Automatic Tracing in Task-Based Runtime Systems.

• There is a new exciting Ph.D. position 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 see the project description. Application deadline is December 18, 2024.

• Paper accepted to the The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS 2024). Paper title: Learning Formal Mathematics From Intrinsic Motivation (Oral Presentation).

• Paper accepted to the Conference on Empirical Methods in Natural Language Processing (EMNLP 2024). Paper title: Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs (Oral Presentation). A video of the talk is also available here.

• Paper accepted to the ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024). Paper title: Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions.

• Paper accepted to the ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024). Paper title: Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages.

• My PhD student Gizem Caylak successfully defended her Licentiate thesis on October 14, 2024. Title: Automated Optimizations for Inference in Probabilistic Programming Languages. Congratulations Gizem!

• My PhD student Viktor Palmkvist successfully defended his PhD thesis on October 8, 2024. Title: Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation . Congratulations Viktor!

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

• 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.

• 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.