Oscar Eriksson

I am a PhD student under the supervision of Professor David Broman.

My interest is centered around the intersection of modeling and simulation of physics and cyberphysical systems, programming languages, and probabilistic modelling.

In particular, my research includes the semantics and compilation of differential and probabilistic programming languages, equation-based modeling languages, and differential-algebraic equation solvers.

In general, I am interested in compilers and domain-specific languages (DSLs), and I am a core contributor to the Miking compiler and DSL framework.

Publications

• Lundén, D., Hummelgren, L., Kudlicka, J.,Eriksson, O., & Broman, D. (2024, April). Suspension analysis and selective continuation-passing style for universal probabilistic programming languages. InEuropean Symposium on Programming(pp. 302-330). Cham: Springer Nature Switzerland.
• Eriksson, O., Palmkvist, V., & Broman, D. (2023, October). Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. InProceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences(pp. 57-71).
• Bereza, R.,Eriksson, O., Abdalmoaty, M. R. H., Broman, D., & Hjalmarsson, H. (2022, December). Stochastic approximation for identification of non-linear differential-algebraic equations with process disturbances. In2022 IEEE 61st Conference on Decision and Control (CDC)(pp. 6712-6717). IEEE.
• Abdalmoaty, M. R. H.,Eriksson, O., Bereza, R., Broman, D., & Hjalmarsson, H. (2021, December). Identification of non-linear differential-algebraic equation models with process disturbances. In2021 60th IEEE Conference on Decision and Control (CDC)(pp. 2300-2305). IEEE.

Pre-Prints

• Eriksson, O., Thuné, A. Å., Borgström, J., & Broman, D. (2025). CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming.arXiv preprint arXiv:2503.13970.
• Hummelgren, L., Wikman, J.,Eriksson, O., Haller, P., & Broman, D. (2022). Expression Acceleration: Seamless Parallelization of Typed High-Level Languages.arXiv preprint arXiv:2211.00621.

Demos and Tutorials

• Miking Workshop 2022
• Miking Workshop 2023
• Broman, D., &Eriksson, O.(2019, November). Functional programmatic modeling in modelyze. InProceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools(pp. 7-7).

Theses

• Eriksson, O.(2018). Hybrid Semantics in Equation-Based Modeling (MSc. Thesis).
• Eriksson, O., & Dahl, K. (2014). Magnetic Monopole Current in Artificial Square Spin Ice (Bsc. Thesis).

Teaching

• IS1500 Computer Organization and Components
• IS1200 Computer Hardware Engineering
• ID2202 Compilers and Execution Environments
• IV1350 Object Oriented Design

Supervision

• Wilén, F. (2023). Throughput Analysis of Safepoint-attached Barriers in a Low-latency Garbage Collector : Analysis of a Compiler Optimization in the HotSpot JVM (MSc. Thesis).