David Broman

News and Events

• Welcome Xaver Davey, a new PhD student in our group, started in the fall 2025. Xaver recently graduated from Georgia Tech in the US, and will work on the foundations language models, and the use within safety-critical software development.

• Paper accepted to the Journal of Systems Architecture. Paper title: Real-time probabilistic programming, 2025.

• Welcome Shubhra Mishra to our group, started in the fall 2025. Shubhra recently graduated from Stanford University and is a WASP PhD student who will work on the foundations of language models, abstractions in programming languages, and new techniques for software and math development.

• Paper accepted to the ACM Transactions on Probabilistic Machine Learning. Paper title: Annotated Automatic Pruning of Universal Probabilistic Programming Languages, 2025.

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