Featured Publications
- Gabriel Poesia, David Broman, Nick Haber, and Noah D. Goodman. Learning Formal Mathematics From Intrinsic Motivation, In Proceedings of The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS), 2024 (Oral presentation). [OpenReview][Open Access NeurIPS]
- Krista Opsahl-Ong, Michael J Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, and Omar Khattab. Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs, In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) (Oral presentation), 2024. [Open Access, ACL Link][Video]
- Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, and David Broman.
Automatic Alignment in Higher-Order Probabilistic Programming Languages.
In Proceedings of the 32nd European Symposium on Programming (ESOP), 2023. (Best Paper Award)
[Open Access, Springer Link]
- Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman.
Statically Resolvable Ambiguity.
In the Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.
[PDF][Open Access, ACM Link]
- Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, and David Broman.
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
In the Proceedings of 31th European Symposium on Programming (ESOP), 2022. (Distinguished Artifact Award)
[PDF]
[Open Access, Springer Link]
[Artifact]
[GitHub]
- Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes
Borgström, Nicolas Lartillot, Daniel Lundén, Lawrence Murray, Thomas
B. Schön, and David Broman.
Universal probabilistic programming offers a powerful approach to statistical phylogenetics.
In Communications Biology volume 4, Article number 244, Nature Publishing Group, 2021.
[PDF]
[Open Access, Nature Publishing Group]
- David Broman.
Interactive Programmatic Modeling.
In ACM Transactions on Embedded Computing Systems (TECS), Volume 20, Issue 4, Article No 33, Pages 1-26, ACM, 2021.
[PDF]
[ACM Link]
- Daniel Lundén, Johannes Borgström, and David Broman.
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
In Proceedings of 30th European Symposium on Programming (ESOP), LNCS vol. 12648, Springer, 2021.
[Springer Link]
[PDF]
[ArXiv]
- David Broman.
A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation. In Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering (SLE), Athens, Greece, ACM, 2019.
[PDF]
[ACM Link]
- Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, and Geoffrey Nelissen.
From Code to Weakly Hard Constraints: A Pragmatic End-to-End
Toolchain for Timed C. In Proceedings of the IEEE Real-Time
Systems Symposium (RTSS), ACM, 2019.
[PDF]
[IEEE Link]
- Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis.
Hybrid co-simulation: it's about time.
Software & Systems Modeling (SoSym), Springer, 2019.
[Open Access, Springer Link] (Selected as a best paper)
- Saranya Natarajan and David Broman.
Timed C: An Extension to the C Programming Language for Real-Time Systems.
In the Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, IEEE, 2018. (Outstanding Paper Award)
[PDF]
[IEEE Link]
-
Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, and Thomas B. Schön.
Delayed Sampling and Automatic Rao-Blackwellization of
Probabilistic Programs. In the Proceeding of the 21st
International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Canary Islands, 2018. [Open Access, PMLR Link]
-
Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
A Toolkit for Construction of Authorization Service Infrastructure
for the Internet of Things. In Proceedings of the Second
International Conference on Internet-of-Things Design and
Implementation (IoTDI), Pages 147-158, CPSWeek, Pittsburgh,
USA, ACM, 2017. (Best Paper Award)
[PDF]
[Open Access, ACM Link]
- Michael Zimmer, David Broman, Chris Shaver, and Edward A. Lee. FlexPRET: A Processor Platform for Mixed-Criticality Systems. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, 2014. [PDF] [IEEE Link]
-
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter.
Determinate Composition of FMUs for Co-Simulation.
In Proceedings of the International Conference on Embedded Software
(EMSOFT), Montreal, Canada, 2013.
[PDF]
[IEEE Link]
[Tech Report]
-
David Broman, Kristian Sandahl, and Mohamed Abu Baker.
The Company Approach to Software Engineering Project Courses.
IEEE Transactions on Education Vol. 55, No. 4, Pages 445-452,
IEEE, 2012.
[PDF]
[IEEE
Link]
[Journal
Link]
Recent Preprints
- Oscar Eriksson, Anders Ågren Thuné, Johannes Borgström, and David Broman.
CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming, arXiv:2503.13970, 2025. [arXiv preprint]
- Bobby Yan, Alexander J. Root, Trevor Gale, David Broman, and Fredrik Kjolstad. Scorch: A Library for Sparse Deep Learning, arXiv:2405.16883v2, 2024. [arXiv preprint]
- Viktor Palmkvist, Anders Ågren Thuné, Elias Castegren, and David Broman. Repr Types: One Abstraction to Rule Them All, arXiv:2409.07950, 2024.
[arXiv preprint]
- Lars Hummelgren, Matthias Becker, David Broman. Real-Time Probabilistic Programming, arXiv:2311.06788v2, 2024. [arXiv preprint]
- Viktor Senderov, Jan Kudlicka, Daniel Lundén, Viktor Palmkvist, Mariana P. Braga, Emma Granqvist, David Broman, and Fredrik Ronquist. TreePPL: A Universal Probabilistic Programming Language for Phylogenetics, bioRxiv, 2023.
[bioRxiv preprint]
All Publications
Peer-Reviewed Publications
- Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, and Fredrik Kjolstad.
Automatic Tracing in Task-Based Runtime Systems,
In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating (ASPLOS), 2025. [Open Access, ACM Link]
- Gabriel Poesia, David Broman, Nick Haber, and Noah D. Goodman. Learning Formal Mathematics From Intrinsic Motivation, In Proceedings of The Thirty-Eighth Annual Conference on Neural Information Processing Systems (NeurIPS), 2024 (Oral presentation). [OpenReview][Open Access NeurIPS]
- Krista Opsahl-Ong, Michael J Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, and Omar Khattab. Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs, In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing (EMNLP) (Oral presentation), 2024. [Open Access, ACL Link][Video]
- Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jaldén, and David Broman. Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions, In Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2024. [Open Access, ACM Link]
- Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman. Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages. In Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2024. [Open Access, ACM Link]
- Daniel Arnström, David Broman, and Daniel Axehill. Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control, In IEEE Transactions on Automatic Control, Volume 69, Issue 10, October, 2024.
[IEEE Link]
- Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, and David Broman. Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. In Proceedings of the 33nd European Symposium on Programming (ESOP), 2024. [Open Access, Springer Link]
- Oscar Eriksson, Viktor Palmkvist, and David Broman.
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. In Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2023.
[Open Access, ACM Link]
- Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, and David Broman.
Automatic Alignment in Higher-Order Probabilistic Programming Languages.
In Proceedings of the 32nd European Symposium on Programming (ESOP), 2023. (Best Paper Award)
[Open Access, Springer Link]
- Jakub Truszkowski, Allison Perrigo, David Broman, Fredrik Ronquist, and Alexandre Antonelli.
Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics.
Systematic Biology, Volume 72, Issue 5, September, Pages 1199-1206, 2023. [Journal link]
- Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, and David Broman.
Logical Time for Reactive Software. In Proceedings of the Workshop on Time-Centric Reactive Software (TCRS), San Antonio, Texas, ACM, 2023.
[Open Access, ACM Link]
- Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman.
Statically Resolvable Ambiguity.
In the Proceedings of the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2023.
[PDF][Open Access, ACM Link]
- James Gross, Martin Törngren, György Dán, David Broman, Erik Herzog, Iolanda Leite, Raksha Ramakrishna, Rebecca Stower, and Haydn Thompson.
TECoSA - Trends, Drivers, and Strategic Directions for Trustworthy Edge Computing in Industrial Applications.
INSIGHT, Volume 25, Issue 4, INCOSE, 2022.
[PDF]
[Open Access, INCOSE Link]
- Robert Bereza, Oscar Eriksson, Mohamed R.-H. Abdalmoaty, David Broman, and Håkan Hjalmarsson.
Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances.
In Proceedings of the 61th IEEE Conference on Decision and Control (CDC), IEEE, 2022.
[IEEE Link]
- Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, and David Broman.
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
In the Proceedings of 31th European Symposium on Programming (ESOP), 2022. (Distinguished Artifact Award)
[PDF]
[Open Access, Springer Link]
[Artifact]
[GitHub]
- Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes
Borgström, Nicolas Lartillot, Daniel Lundén, Lawrence Murray, Thomas
B. Schön, and David Broman.
Universal probabilistic programming offers a powerful approach to statistical phylogenetics.
In Communications Biology volume 4, Article number 244, Nature Publishing Group, 2021.
[PDF]
[Open Access, Nature Publishing Group]
- David Broman.
Interactive Programmatic Modeling.
In ACM Transactions on Embedded Computing Systems (TECS), Volume 20, Issue 4, Article No 33, Pages 1-26, ACM, 2021.
[PDF]
[ACM Link]
- Nicolas Harrand, Thomas Durieux, David Broman, and Benoit Baudry.
The Behavioral Diversity of Java JSON Libraries.
In Proceedings of the 32nd International Symposium on Software Reliability Engineering (ISSRE), IEEE, 2021.
[IEEE Link]
- Mohamed R.-H. Abdalmoaty, Oscar Eriksson, Robert Bereza, David Broman, and Håkan Hjalmarsson.
Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances.
In Proceedings of the 60th IEEE Conference on Decision and Control (CDC), IEEE, 2021.
[PDF]
[IEEE Link]
- Daniel Lundén, Johannes Borgström, and David Broman.
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
In Proceedings of 30th European Symposium on Programming (ESOP), LNCS vol. 12648, Springer, 2021.
[Springer Link]
[PDF]
[ArXiv]
- Viktor Palmkvist, Elias Castegren, Philipp Haller, and David Broman.
Resolvable Ambiguity: Principled Resolution of Syntactically
Ambiguous Programs. In Proceedings of the 30th ACM SIGPLAN
International Conference on Compiler Construction (CC), ACM
2021.
[PDF]
[ACM
Link]
[Artifact]
- Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee.
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.
In ACM Transactions on Internet of Things, Vol. 1, No. 1, Article 4, ACM 2020.
[Open Access, ACM Link]
- Saranya Natarajan and David Broman.
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.
In the Proceedings of the Forum on specification & Design Languages (FDL), Kiel, Germany, IEEE, 2020.
[PDF]
[IEEE Link]
- Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, and Stavros Tripakis.
Hybrid co-simulation: it's about time.
Software & Systems Modeling (SoSym), Springer, 2019.
[Open Access, Springer Link] (Selected as a best paper)
- Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, and Geoffrey Nelissen.
From Code to Weakly Hard Constraints: A Pragmatic End-to-End
Toolchain for Timed C. In Proceedings of the IEEE Real-Time
Systems Symposium (RTSS), ACM, 2019.
[PDF]
[IEEE Link]
- David Broman.
A Vision of Miking: Interactive Programmatic Modeling, Sound
Language Composition, and Self-Learning
Compilation. In Proceedings of the 12th ACM SIGPLAN
International Conference on Software Language Engineering (SLE), Athens, Greece, ACM, 2019.
[PDF]
[ACM
Link]
- Viktor Palmkvist and David Broman.
Creating Domain-Specific Languages by Composing Syntactical Constructs.
In the Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL),
Cascais, Portugal, 2019.
[PDF]
[Springer Link]
- Claudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, and Hans Vangheluwe.
Co-Simulation: A Survey.
In ACM Computing Surveys (CSUR), Volume 51, Issue 3, Article No. 49, (May 2019), ACM, 2018.
[PDF]
[ACM Link]
- Saranya Natarajan and David Broman.
Timed C: An Extension to the C Programming Language for Real-Time Systems.
In the Proceedings of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Porto, Portugal, IEEE, 2018. (Outstanding Paper Award)
[PDF]
[IEEE Link]
-
Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, and Thomas B. Schön.
Delayed Sampling and Automatic Rao-Blackwellization of
Probabilistic Programs. In the Proceeding of the 21st
International Conference on Artificial Intelligence and Statistics (AISTATS), Lanzarote, Canary Islands, 2018. [Open Access, PMLR Link]
- David Broman and Jeremy G. Siek.
Gradually Typed Symbolic Expressions.
In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM), Los Angeles, ACM, 2018.
[PDF]
[ACM Link]
-
David Broman.
Hybrid Simulation Safety: Limbos and Zero Crossings.
In Proceedings of the Edward A. Lee Festschrift, LNCS volume 10760, Springer, 2018.
[PDF]
[arXiv]
[Springer Link]
- Måns Magnusson, Leif Jonsson, Mattias Villani, and David Broman.
Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models.
Journal of Computational and Graphical Statistics, Taylor and Francis, 2017. [Journal Link][ArXiv version]
- Yooseong Kim, David Broman, and Aviral Shrivastava.
WCET-Aware Function-level Dynamic Code Management on Scratchpad Memory.
ACM Transactions on Embedded Computing Systems (TECS), 2017.
[PDF][ACM Link]
- Hokeun Kim, Eunsuk Kang, David Broman, and Edward A. Lee.
An Architectural Mechanism for Resilient IoT Services
In the Proceedings of the 1st ACM Workshop on the Internet of Safe Things (SafeThings), Delft, Netherlands, ACM Press, 2017.
[Open access, ACM Link]
-
Hokeun Kim, Eunsuk Kang, Edward A. Lee, and David Broman.
A Toolkit for Construction of Authorization Service Infrastructure
for the Internet of Things. In Proceedings of the Second
International Conference on Internet-of-Things Design and
Implementation (IoTDI), Pages 147-158, CPSWeek, Pittsburgh,
USA, ACM, 2017. (Best Paper Award)
[PDF]
[Open Access, ACM Link]
- Leif Jonsson, Markus Borg, David Broman, Kristian Sandahl, Sigrid Eldh, and Per Runeson.
Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts.
Empirical Software Engineering, Volume 21, Issue 4, Pages 1533-1578, 2016.
[Springer Link]
-
Insa Fuhrmann, David Broman, Reinhard Von Hanxleden, and Alexander Schulz-Rosengarten.
Time for Reactive System Modeling: Interactiave Timing Analysis with Hotspot Highlighting.
In Proceedings of the 24th International Conference on Real-Time Networks and Systems (RTNS), Brest, France, October, ACM, 2016.
[PDF]
[ACM Link]
-
Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale,
Edward A. Lee, and Stavros Tripakis.
Step Revision in Hybrid Co-simulation with FMI. In
Proceedings of the 14th ACM-IEEE International Conference on
formal Methods and Models for System Design (MEMOCODE),
Kanpur, India, November, 2016.
[PDF]
[IEEE Link]
-
Leif Jonsson, David Broman, Måns Magnusson, Kristian Sandahl, Mattias Villani, and Sigrid Eldh.
Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems using Bayesian Classification.
In Proceedings of IEEE International Conference on Software Quality, Reliability & Security (QRS).
Vienna, Austria, IEEE, 2016.
[PDF]
[IEEE Link]
-
Viktor Kozma and David Broman.
MORAP: a Modular Robotic Arm Platform for Teaching and Experimenting with Equation-based Modeling Languages. (WiP)
In Proceedings of 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT).
Milano, Italy, ACM, 2016.
[PDF]
[ACM Link]
- Maria Vasilevskaya, David Broman, and Kristian Sandahl.
Assessing Large Project Courses: Model, Activities, and Lessons Learned.
ACM Transactions on Computing Education (TOCE), 2015.
[ACM Link]
- Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, and John Eidson. Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. In Proceedings of the 7th International Conference on Computer Aided Verification (CAV), San Francisco, California, USA, 2015. [Tech Report][Open access, Springer Link]
-
David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis,
and Michael Wetter.
Requirements for Hybrid Cosimulation Standards.
In Proceedings of 18th ACM
International Conference on Hybrid Systems: Computation and Control
(HSCC), Pages 179-188, CPSWeek, Seattle, WA, USA, 2015.
[PDF]
[Open Access, ACM Link]
-
Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, and Junkwang Oh.
A Predictable and Command-Level Priority-Based DRAM Controller for
Mixed-Criticality Systems.
In Proceedings of the 21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pages 317-326, CPSWeek, Seattle, WA, USA, 2015.
[PDF]
[IEEE Link]
-
David Broman, Patricia Derler, Ankush Desai, John Eidson, and Sanjit A. Seshia.
Endlessly Circulating Messages in IEEE 1588-2008 Systems.
In Proceedings of the International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication (ISPCS), Austin, Texas, USA, 2014.
[PDF]
[IEEE Link]
-
Michael Zimmer, David Broman, Chris Shaver, and Edward A. Lee.
FlexPRET: A Processor Platform for Mixed-Criticality Systems.
In Proceedings of the 20th IEEE Real-Time and Embedded
Technology and Application Symposium (RTAS), Pages 101-110, CPSWeek, Berlin, Germany,
2014.
[PDF]
[IEEE Link]
-
Eugene Yip, Matthew Kuo, Partha S Roop, and David Broman.
Relaxing the Synchronous Approach for Mixed-Criticality Systems.
In Proceedings of the 20th IEEE Real-Time and
Embedded Technology and Application Symposium (RTAS), Pages 89-100, CPSWeek, Berlin,
Germany, 2014.
[PDF]
[IEEE Link]
-
Yooseong Kim, David Broman, Jian Cai, and Aviral Shrivastaval.
WCET-Aware Dynamic Code Management on Scratchpads for Software-Managed Multicores.
In Proceedings of
the 20th IEEE Real-Time and Embedded Technology and Application
Symposium (RTAS), CPSWeek, Berlin, Germany, 2014.
[PDF]
[IEEE Link]
-
Maria Vasilevskaya, David Broman, and Kristian Sandahl.
An Assessment Model for Large Project Courses. In Proceedings of The 45th ACM Technical Symposium on Computer
Science Education (SIGCSE), Atlanta, GA, USA, 2014.
[PDF]
[IEEE Link]
- David Broman, Patricia Derler, and John C. Eidson.
Temporal Issues in Cyber-Physical Systems.
Journal of Indian Institute of Science, Vol. 93, No. 3, Pages 389-402, 2013. (Invited)
[Open Access, IISC Link]
[Journal Link]
-
David Broman, Christopher Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, and Michael Wetter.
Determinate Composition of FMUs for Co-Simulation.
In Proceedings of the International Conference on Embedded Software
(EMSOFT), Montreal, Canada, 2013.
[PDF]
[IEEE Link]
[Tech Report]
-
David Broman, Michael Zimmer, Yooseong Kim, Hokeun Kim, Jian Cai,
Aviral Shrivastava, Stephen A. Edwards, and Edward A. Lee.
Precision Timed Infrastructure: Design Challenges.
In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA. (Invited paper, reviewed by PC chairs)
[PDF]
[IEEE Link]
[Tech Report]
- David Broman, Kristian Sandahl, and Mohamed Abu Baker.
The Company Approach to Software Engineering Project Courses.
IEEE Transactions on Education Vol. 55, No. 4, Pages 445-452,
IEEE, 2012.
[PDF]
[IEEE
Link]
[Journal
Link]
-
David Broman.
High-Confidence Cyber-Physical Co-Design.
In Proceedings of the Work-in-Progress (WiP) session of the 33rd IEEE Real-Time Systems Symposium (RTSS), Page 12, San Juan, Puerto Rico, 2012.
[PDF]
[ACM Link]
-
David Broman, Edward A. Lee, Stavros Tripakis, and Martin Törngren.
Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems.
In Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM), Innsbruck,
Austria, ACM, 2012.
[PDF]
[ACM Link]
-
Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, and Edward A. Lee.
A PRET Microarchitecture Implementation with Repeatable Timing and
Competitive Performance. In Proceedings of the 30th
IEEE International Conference on Computer Design (ICCD), Montreal,
Quebec, Canada, 2012.
[PDF]
[IEEE Link]
- Leif Jonsson, David Broman, Kristian Sandahl, and Sigrid Eldh Towards Automated Anomaly Report Assignment in Large Complex Systems using Stacked Generalization In Proceedings of the Fifth International Conference on Software Testing, Verification and Validation (ICST), Montreal, Canada, 2012. [IEEE Link]
-
David Broman and Henrik Nilsson.
Node-Based Connection Semantics for Equation-Based Object-Oriented
Modeling Languages In Proceedings of Fourteenth
International Symposium on Practical Aspects of Declarative Languages
(PADL),
LNCS 7149, pages 258-272, Philadelphia, Pennsylvania,
USA, 2012.
[PDF]
[Springer Link]
- David Broman, Peter Fritzson, Görel Hedin, and Johan Åkesson.
A Comparison of Two Metacompilation Approaches to Implementing a
Complex Domain-specific Language. In Proceedings of
27th Symposium On Applied Computing (SAC), Riva del Garda,
Trento, Italy, 2012.
[ACM link]
[Tech Report (Extended Version)]
-
David Broman and Kristian Sandahl.
How can we make Software Engineering Text Books Well-founded, Up-to-date, and Accessible to Students?.
In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2011),
Pages 386-390, Waikiki, Honolulu, Hawaii, USA, 2011.
[IEEE link]
-
David Broman.
Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula?.
In Proceedings of the 23th IEEE Conference on Software Engineering Education and Training (CSEE&T),
Pages 153-156, Pittsburgh, USA, 2010.
[PDF]
[IEEE Link]
- David Broman and Peter Fritzson.
Higher-Order Acausal Models.
Simulation News Europe.
Vol. 19, No. 1, Pages 5-16, ARGESIM, 2009 (Supersedes the EOOLT workshop paper)
[Journal Link]
-
Peter Aronsson and David Broman.
Extendable Physical Unit Checking with Understandable Error Reporting.
In Proceedings of the 7th International Modelica Conference,
Como, Italy, 2009.
[PDF]
-
Peter Fritzson, Adrian Pop, David Broman, and Peter Aronsson.
Formal Semantics Based Translator Generation and Tool Development in Practice.
In In Proceedings of ASWEC 2009 Australian Software Engineering Conference,
pages 256-266, Gold Coast, Queensland, Australia, 2009. IEEE Computer Society.
[IEEE Link]
-
David Broman and Peter Fritzson.
Higher-Order Acausal Models.
In Proceedings of the 2nd International Workshop
on Equation-Based Object-Oriented Languages and Tools,pages 59-69, Paphos, Cyprus, 2008. LIU Electronic Press.
[PDF]
[LIU EP Link]
(Superseded by the SNE journal version)
-
David Broman, Peter Aronsson, and Peter Fritzson.
Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica.
In Proceedings of the 6th International Modelica Conference,pages 3-12,
Bielefeld, Germany, 2008.
[PDF]
-
Kristoffer Norling, David Broman, Peter Fritzson, Alexander Siemers, and Dag Fritzson.
Secure Distributed Co-Simulation over Wide Area Networks.
In Proceedings of the 48th Conference on Simulation and Modelling (SIMS),pages 14-23, Göteborg (Särö), Sweden, 2007, LIU Electronic Press.
[PDF]
[LIU EP Link]
- David Broman and Peter Fritzson. Abstract Syntax Can Make the Definition of Modelica Less Abstract. In Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools,pages 111-126, Berlin, Germany,2007, LIU Electronic Press. [PDF] [LIU EP Link]
- David Broman, Kaj Nyström, and Peter Fritzson. Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta. In Proceedings of the Fifth International Conference on Generative Programming and Component Engineering (GPCE), pages 151-160, Portland, Oregon, USA, 2006. ACM Press. [PDF] [ACM Link]
-
David Broman, Peter Fritzson, and Sébastien Furic.
Types in the Modelica Language.
In Proceedings of the Fifth International Modelica Conference,
pages 303-315, Vienna, Austria, 2006.
[PDF]
- Peter Fritzson, Peter Aronsson, Håkan Lundvall, Kaj Nyström, Adrian Pop, Levon Saldamli, and David Broman
The OpenModelica Modeling, Simulation, and Software Development Environment.
Simulation News Europe.
Issue 44, Pages 8-16, ARGESIM, 2005
[Journal Link]
-
Peter Fritzson, Peter Aronsson, Håkan Lundvall, Kaj Nyström, Adrian Pop, Levon Saldamli, and David Broman.
The OpenModelica Modeling, Simulation, and Development Environment.
In Proceedings of the 46th Conference on Simulation and Modeling,
pages 83-90, Trondheim, Norway, 2005.
(Superseded by the SNE journal version)
-
David Broman and Peter Fritzson.
Ideas for Security Assurance in Security Critical Software using Modelica.
In Proceedings of the Conference on Modeling and Simulation for Public Safety,
pages 45-54, Linköping, Sweden, 2005.
[PDF]
Non Peer Reviewed Papers and Reports
- Linnea Stjerna and David Broman.
Programming with Context-Sensitive Holes using Dependency-Aware Tuning,
arXiv:2209.01000, 2022. [arXiv preprint]
- Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman.
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages, arXiv:2211.00621v2, 2024. [arXiv preprint]
- David Broman.
A Brief Overview of the KTA WCET Tool. In arXiv:1712.05264, 2017.
[ArXiv]
-
David Broman.
A Process for Student Group Supervision.
Informal educational report at KTH Royal Institute of Technology. June 2015.
[PDF]
- Marc Weiss, John Eidson, Charles Barry, David Broman, Leon Goldin, Bob Iannucci, Edward A. Lee, and Kevin Stanton. Time-Aware Applications, Computers, and Communication Systems (TAACCS). NIST Technical Note 1867, NIST, National Institute of Standards and Technology, U.S. Department of Commerce, USA, February 2015. [Open Access, NIST Link]
-
David Broman and Jeremy G. Siek.
Modelyze: a Gradually Typed Host Language for Embedding
Equation-Based Modeling Languages. Technical report UCB/EECS-2012-173, EECS Department, University of California, Berkeley, June, 2012.
[PDF]
[Tech Report]
-
Peter Fritzson, Edward A. Lee, Francois Cellier, and David Broman.
Equation-Based Object-Oriented Modeling Languages and Tools. Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3.
Models in Software Engineering,
Volume 6627 of LNCS, pages 140-144, Springer-Verlag, 2011.
[Springer Link]
-
David Broman, Peter Fritzson, Görel Hedin, and Johan Åkesson
A comparison of metacompilation approaches to implementing Modelica.
Report 97, Department of Computer Science, Lund University,
2011.
[PDF]
-
David Broman.
Growing an Equation-Based Object-Oriented Modeling Language.
In Proceedings of MATHMOD 09 Vienna,
pages 1316-1324, Vienna, Austria, 2009 (Invited).
[PDF]
-
Peter Fritzson, David Broman, and Francois Cellier.
Equation-Based Object-Oriented Languages and Tools. Report on the 2nd Workshop EOOLT at ECOOP 2008.
Object-Oriented Technology. ECOOP 2008 Workshop Reader,
Volume 5475 of LNCS, pages 18-29, Springer-Verlag, 2009.
[Springer Link]
-
Peter Fritzson, David Broman, Francois Cellier, and Christoph Nytsch-Geusen.
Equation-Based Object-Oriented Languages and Tools. Report on the Workshop EOOLT 2007 at ECOOP 2007.
Object-Oriented Technology. ECOOP 2007 Workshop Reader,
Volume 4906 of LNCS, pages 27-39, Springer-Verlag, 2008.
[Springer Link]
-
David Broman.
Flow Lambda Calculus for Declarative Physical Connection Semantics.
Technical Reports in Computer and Information Science No. 1,
LIU Electronic Press, 2007.
[DiVA]
-
Peter Fritzson, Peter Aronsson, Adrian Pop, Håkan Lundvall, Kaj Nyström, Levon Saldamli, David Broman, Anders Sandholm.
OpenModelica - A Free Open-Source Environment for System Modeling, Simulation, and Teaching.
IEEE International Symposium on Computer-Aided Control Systems Design,
Munich, Germany, 2006 (Invited).
[IEEE Link]
Edited Proceedings
-
David Broman and Peter Pepper (Eds.).
Proceedings of the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools. Berlin, Germany,
October 10, 2014. ISBN 978-1-4503-2953-8, ACM.
[ACM Link]
-
David Broman and Gabor Karsai (Eds.).
Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop.
Vancouver, Canada, December 3, 2013, ISBN 978-91-7519-451-6, LIU Electronic Press,
[LIU EP Link]
-
François Cellier, David Broman, Peter Fritzson, and Edward A. Lee, (Eds.).
Proceedings of the 4th International Workshop on Equation-Based
Object-Oriented Modeling Languages and Tools. Zurich, Switzerland,
September 5, 2011. ISBN 978-91-7519-825-5, LIU Electronic Press,
[LIU EP Link]
-
Peter Fritzson, Edward A. Lee, François Cellier, and David Broman (Eds.).
Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
.
Oslo, Norway, October 2010. ISSN 1650-3740, LIU Electronic Press,
[LIU EP Link]
-
Peter Fritzson, François Cellier, and David Broman (Eds.).
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
.
Cyprus, July 2008. ISBN 978-91-7519-823-1, LIU Electronic Press,
[LIU EP Link]
Thesis
-
David Broman. Meta-Languages and Semantics for Equation-Based
Modeling and Simulation. PhD thesis, Thesis No 1333. Department of Computer and Information
Science, Linköping University, Sweden, 2010.
[PDF]
[BibTeX]
[LIU EP Link]
-
David Broman. Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments. Licentiate thesis. Thesis No 1337. Department of Computer and Information Science, Linköping University, December, 2007.
[PDF]
[BibTeX]
[LIU EP Link]
-
David Broman. Lossless Data Compression - Methods for Achieving Better Performance
in a Wireless VPN. Master’s thesis, Linköping University, 2001.
[PDF]
[BibTeX]
Misc
Lecture Notes and Informal Reports
-
David Broman.
Strict Typed Functional Programming in OCaml - Lecture Notes.
Lecture notes in the strict FP part of course Functional and Logic Programming, LiU Spring 2010, Linköping, 2010.
[PDF]
-
David Broman.
Guest Scholar Visit at University of Colorado at Boulder .
CUGS Travel Report,
Boulder, Colorado, USA, 2008
[PDF]
-
David Broman.
Thesis Proposal - Type Safety of Equation-Based Object-Oriented Languages.
Presented at the CUGS (National Graduate School in Computer Science) Annual Workshop,
Linköping, Sweden, 2007
[PDF]
This is a personal web page. More information.