Tutorials and Short Courses

• David Broman. Fundamentals of Bayesian Inference using Probabilistic Programming, Digital Futures and TECoSA short course/tutorial, KTH, Sweden, June 1 and June 7, 2022. [Course Material]

• David Broman. Introduction to Computer Architecture, Invited lecture at the PDC Summer School, KTH, Sweden, August 20, 2019. [Lecture Material]

• David Broman. Principles of Equation-Based Object-Oriented Modeling and Languages, Invited mini-course at Scuola Superiore Sant'Anna, Pisa, Italy, December 9-10, 2014. [Course Material]

• Jan Brugård and David Broman. Modelica Tutorial - Modeling and Simulation with OpenModelica and MathModelica, Tutorial session MATHMOD 09 Vienna, Vienna, Austria, 2009. [Slides]

Invited Keynotes

• David Broman. Designing Efficient Heterogeneous Domain-Specific Languages and Compilers, Keynote at the Forum on specification & Design Languages (FDL), Southampton, United Kingdom, September 2, 2019.

• David Broman. Execution time should be as short as possible, but not shorter, Keynote at the Fourth International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2013), June 13-14, Edinburgh, Scotland.

Invited Panels

• David Broman. Invited panel speaker at the Forum on specification & Design Languages (FDL), Munich, Germany, 2018.

• David Broman. Invited panel speaker at the Electronic System Level Synthesis Conference (ESLsyn), Austin, Texas, USA, 2013.

Invited Talks

• David Broman. Miking: a framework for developing mathematical domain-specific modeling languages. Invited talk, Technische Universitaet Graz, Austria, June 15, 2023.

• David Broman. Domain-specific modeling languages: making abstractions concrete. Invited talk, SeRC 14:th Annual Meeting, Villa Aske, Sweden, May 4, 2023.

• David Broman. Key aspects of the Miking framework: language composition, probabilistic domain-specific languages, and statically resolvable ambiguity. Invited talk, École Normale Supérieure, Paris, France, April 25, 2023.

• David Broman. Miking: a framework for domain-specific modeling languages and probabilistic programming. Invited talk, UC Berkeley, California, USA, January, 2023.

• David Broman. Domain-specific abstractions and efficient compilation of differentiable probabilistic programming languages. Invited talk, Stanford, California, USA, January, 2023.

• David Broman. Modeling and Programming Cyber-Physical Systems: Time, Dynamics, and Uncertainty. Invited talk, Workshop in memory of Marco Di Natale, Pisa, Italy (talk given online), January, 2023.

• David Broman. Miking: A Modular Compiler Framework for Constructing Domain-Specific Languages. Invited talk, Oracle, Stockholm, Sweden, November, 2022.

• David Broman. Balancing research, teaching, and life: quo vadis?. Invited talk, IDA's PhD Workshop, Linköping University, Sweden, 2022.

• David Broman. The Lambda-Calculus. Invited talk, Curtain talk at Digital Futures, Virtual, Stockholm, Sweden, 2021.

• David Broman. The need for domain-specific modeling: equation-based languages and probabilistic programming. Invited talk, Fly-High Fika at Digital Futures, Virtual, Stockholm, Sweden, 2020.

• David Broman. Programming Mixed Critical and Weakly Hard Real-Time Systems: It's about time. Invited talk at the CASTOR Workshop on Dependable and Secure Systems, Stockholm, Sweden, 2020.

• David Broman. Structured Incentive Learning: Pedagogical Tips and Tool for Better Teaching and Learning. Invited talk at KTH's 3rd Scholarship of Teaching and Learning (SoTL), Stockholm, Sweden, 2019.

• David Broman. A Vision of Miking: Heterogeneous Language Composition and Self-Learning Compilers. Invited talk at the Programming Language Research Meetup @ Oracle, Stockholm, Sweden, 2019.

• David Broman. Timed C and Weakly Hard Real-Time Systems. Invited talk at IFIP WG 2.4 meeting, Paihia, Bay of Islands, New Zealand, April 2, 2019.

• David Broman. Using Gradually Typed Symbolic Expressions for Embedding Domain-Specific Modeling Languages. Invited talk at the National University of Singapore (NUS), Singapore, November 5, 2018. [Slides]

• David Broman. Gradually Typed Symbolic Expressions: an Approach for Developing Embedded Domain-Specific Modeling Languages. Invited talk at the Max Planck Institute for Software Systems (MPI-SWS), Kaiserslautern, Germany, September 12, 2018.

• David Broman. Hybrid Simulation Safety: Limbos and Zero Crossings . Invited talk at IFIP WG 2.4 meeting, Essex, Vermont, October 16, 2017.

• David Broman. Heterogeneous Programming and Modeling of Cyber-Physical Systems Invited talk at the SICS Smart Programming Day, Stockholm, November 29, 2016. [Video] [Slides]

• David Broman. Domain-Specific Languages for Heterogeneous Modeling and Compilation Invited talk at Saarland University, Saarbrücken, Germany, November 7, 2016.

• David Broman. Correct-by-construction systems design: where time matters Invited talk at the School of Electrical Engineering, KTH, April 20, 2016.

• David Broman. Hybrid Cosimulation: It's About Time Invited talk at MODPROD, Linköping, February 3, 2016. [Slides]

• David Broman. Predictable Computation and Time-Aware Semantics for Time-Coordinate Computation Invited talk at Intel, Oregon, USA, December 3, 2015. [Slides]

• David Broman. Programming with Time for Mixed Criticality Systems Invited talk at the Dagstuhl Seminar on Mixed Criticality on Multicore/Manycore Platforms, Dagstuhl, Germany, March 16-20, 2015. [Slides]

• David Broman. Time-Aware Correct-By-Construction Systems Design Invited talk at ÅF, Stockholm, Sweden, October, 22, 2014.

• David Broman. Precision Timed Infrastructure: Compilers, Processors, and WCET-Aware Code Management for Mixed-Criticality Systems Invited talk at National Instruments, Berkeley, California, USA, May 22, 2014.

• David Broman. Modelyze: a Gradually Typed Host Language for Embedding DSLs Invited talk at Google, Mountain View, California, USA, May 15, 2014.

• David Broman. Precision Timed Processors and WCET-Aware Code Management for Mixed-Criticality Systems Invited talk at RePP 2014, Grenoble, France, April 6, 2014. [Slides]

• David Broman. Combining Hardware and Software Solutions for Designing Mixed-Criticality Systems Invited talk at IFIP WG 2.4 meeting, Asilomar, California, USA, February 3-7, 2014.

• David Broman. Modelyze: Embedding Equation-Based DSLs Invited talk at SYNCHRON 2013, November 18-22, 2013, Dagstuhl, Germany. [Slides]

• David Broman. Modeling, Compiling, and Executing with Ubiquitous Notion of Time Invited talk, Talks on Computing Systems (TOCS), Carnegie Mellon University, Silicon Valley Campus, September 17, 2013, California, USA. [Adobe Connect Video] [YouTube Video]

• David Broman, Stephen A. Edwards, and Edward A. Lee Precision Timed Infrastructure - Promoting Time to a First-Class Citizen in System Design Invited talk, National Workshop on the New Clockwork for Time-Critical Systems, Baltimore, USA, October, 2012.

• David Broman. Modeling, Simulating, and Compiling with Timing Semantics Invited talks, TU Vienna and University of Salzburg, Austria, October, 2012.

• David Broman. Extensible Modeling Languages and Precision Timed Infrastructures for Cyber-Physical Systems Invited talk, RAWFP workshop 2012, Gothenburg, Sweden, May, 2012.

• David Broman. Precision Timed Infrastructure - Making Time an Engineering Abstraction Invited talk at IFIP WG 2.4 meeting, Vadstena, Sweden, 2012.

• David Broman. Predictable Timing of Cyber-Physical Systems Future Research Challenges Invited talk at DREAMS Seminar, EECS, UC Berkeley, January, 2012.

• David Broman. Extensible Equation-Based Modeling Languages for Cyber-Physical Systems Invited talk at IFIP Working Group 2.4, Cape May, USA, September, 2011.

• David Broman. Modeling Kernel Language (MKL) - A formal and extensible approach to equation-based modeling languages. Invited talk, TU Berlin, Germany, March, 2011.

• David Broman. Modeling Kernel Language (MKL) - A formal and extensible approach to equation-based modeling languages. Invited talk, EECS, Chess, UC Berkeley, California, USA, February, 2011.

• David Broman. Extensible Modeling Languages Utilizing Libraries for Model Creation, Use, and Domain-Specific Extensions. Invited presentation at 5th MODPROD Workshop on Model-Based Product Development, Linköping, 2011. [Slides]

• David Broman. Growing an Equation-Based Object-Oriented Modeling Language. Invited presentation at 4th MODPROD Workshop on Model-Based Product Development, Linköping, 2010. [Slides]

---

This is a personal web page. More information.