Oscar Eriksson

I am a PhD student under the supervision of Professor David Broman. My research interests include 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 core 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. In European 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).