| 2026 | CGO | Fast Autoscheduling for Sparse ML Frameworks. | Bobby Yan, Alexander J. Root, Trevor Gale, David Broman, Fredrik Kjolstad |
| 2025 | ASPLOS | Automatic Tracing in Task-Based Runtime Systems. | Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad |
| 2024 | EMNLP | Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs. | Krista Opsahl-Ong, Michael J. Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, Omar Khattab |
| 2024 | ESOP | Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. | Daniel Lundn, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman |
| 2024 | SLE | Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages. | Gizem Caylak, Daniel Lundn, Viktor Senderov, David Broman |
| 2024 | SLE | Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions. | Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jaldn, David Broman |
| 2023 | ESOP | Automatic Alignment in Higher-Order Probabilistic Programming Languages. | Daniel Lundn, Gizem aylak, Fredrik Ronquist, David Broman |
| 2023 | GPCE | Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. | Oscar Eriksson, Viktor Palmkvist, David Broman |
| 2022 | ESOP | Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. | Daniel Lundn, Joey hman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman |
| 2021 | CC | Resolvable ambiguity: principled resolution of syntactically ambiguous programs. | Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman |
| 2021 | ESOP | Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. | Daniel Lundn, Johannes Borgstrm, David Broman |
| 2021 | ISSRE | The Behavioral Diversity of Java JSON Libraries. | Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry |
| 2020 | FDL | Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. | Saranya Natarajan, David Broman |
| 2019 | PADL | Creating Domain-Specific Languages by Composing Syntactical Constructs. | Viktor Palmkvist, David Broman |
| 2019 | RTSS | From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. | Saranya Natarajan, Mitra Nasri, David Broman, Bjrn B. Brandenburg, Geoffrey Nelissen |
| 2019 | SLE | A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation. | David Broman |
| 2018 | AISTATS | Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. | Lawrence M. Murray, Daniel Lundn, Jan Kudlicka, David Broman, Thomas B. Schn |
| 2018 | MODELS | Hybrid Co-simulation: It's About Time. | Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis |
| 2018 | PEPM | Gradually typed symbolic expressions. | David Broman, Jeremy G. Siek |
| 2018 | RTAS | Timed C: An Extension to the C Programming Language for Real-Time Systems. | Saranya Natarajan, David Broman |
| 2017 | SENSYS | An Architectural Mechanism for Resilient IoT Services. | Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee |
| 2016 | MEMOCODE | Step revision in hybrid Co-simulation with FMI. | Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis |
| 2016 | QRS | Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification. | Leif Jonsson, David Broman, Mns Magnusson, Kristian Sandahl, Mattias Villani, Sigrid Eldh |
| 2016 | RTNS | Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. | Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten |
| 2015 | CAV | Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. | Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson |
| 2015 | RTAS | A predictable and command-level priority-based DRAM controller for mixed-criticality systems. | Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh |
| 2014 | SIGCSE | An assessment model for large project courses. | Maria Vasilevskaya, David Broman, Kristian Sandahl |
| 2014 | RTAS | WCET-aware dynamic code management on scratchpads for Software-Managed Multicores. | Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava |
| 2014 | RTAS | Relaxing the synchronous approach for mixed-criticality systems. | Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman |
| 2014 | RTAS | FlexPRET: A processor platform for mixed-criticality systems. | Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee |
| 2013 | EMSOFT | Determinate composition of FMUs for co-simulation. | David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter |
| 2012 | ICCD | A PRET microarchitecture implementation with repeatable timing and competitive performance. | Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee |
| 2012 | ICST | Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. | Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh |
| 2012 | MODELS | Viewpoints, formalisms, languages, and tools for cyber-physical systems. | David Broman, Edward A. Lee, Stavros Tripakis, Martin Trngren |
| 2012 | PADL | Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. | David Broman, Henrik Nilsson |
| 2012 | SAC | A comparison of two metacompilation approaches to implementing a complex domain-specific language. | David Broman, Peter Fritzson, Grel Hedin, Johan kesson |
| 2010 | MODELS | Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. | Peter Fritzson, Edward A. Lee, Franois E. Cellier, David Broman |
| 2006 | GPCE | Determining over- and under-constrained systems of equations using structural constraint delta. | David Broman, Kaj Nystrm, Peter Fritzson |