Dr.-Ing. Sören Tempel he, him

A portrait photo of Sören Tempel showing a white man with short dark hair and glasses

I am a computer science researcher working as a postdoc with Christian Dietrich in the Reliable System Software group at the Technische Universität Braunschweig. Previously, I completed my doctorate with Rolf Drechsler in the Group of Computer Architecture at the University of Bremen.

My research aims to enable the creation of reliable, efficient system software. To this end, I have developed program analysis techniques to discover defects in embedded operating systems and currently focus on faciliating Unikernels to improve OS abstractions for modern hardware systems. In my spare time, I work on open-source software such as Alpine Linux, Guix, or my own hobby projects.

Publications

  1. Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics. PDF DOI Artifacts Video Slides Poster

    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2025.

  2. Accurate Binary-Level Symbolic Execution of Embedded Firmware. DOI

    Staats- und Universitätsbibliothek Bremen (SUUB), 2024.

  3. Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. PDF DOI

    Forum for Specification and Design Languages (FDL), 2023.

  4. Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. PDF DOI Artifacts

    24th International Symposium on Trends in Functional Programming (TFP), 2023.

  5. Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT. DOI Artifacts

    IEEE Internet of Things Journal (IoT-J), 2023.

  6. SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. DOI PDF Artifacts

    International Symposium on Automated Technology for Verification and Analysis (ATVA), 2022.

  7. 3D Visualization of Symbolic Execution Traces. DOI PDF

    Forum for Specification and Design Languages (FDL), 2022.

  8. Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing. DOI

    IEEE Embedded Systems Letters (ESL), 2022.

  9. SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware. DOI Artifacts

    Journal of Systems Architecture (JSA), 2022.

  10. Automated Detection of Spatial Memory Safety Violations for Constrained Devices. DOI PDF

    27th Asia and South Pacific Design Automation Conference (ASP-DAC), 2022.

  11. In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes. DOI PDF Artifacts

    Forum for Specification and Design Languages (FDL), 2021.

  12. Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform. DOI

    Journal of Systems Architecture (JSA), 2021.

  13. Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing. DOI PDF

    58th ACM/IEEE Design Automation Conference (DAC), 2021.

  14. An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. DOI PDF

    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2021.

  15. Mutation-based Compliance Testing for RISC-V. DOI PDF

    26th Asia and South Pacific Design Automation Conference (ASP-DAC), 2021.

  16. Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime. DOI PDF Video

    IEEE 38th International Conference on Computer Design (ICCD), 2020.

Teaching

  1. Operating Systems. Teaching Assistant

    4223010, Technische Universität Braunschweig, Winter 2025.

  2. Programming 2. Lecturer

    4210440, Technische Universität Braunschweig, Sommer 2025.

  3. Softwareentwicklungspraktikum (Student Project). Supervisor

    4220003, Technische Universität Braunschweig, Sommer 2025.

  4. Operating Systems. Teaching Assistant & Exercise Group

    4223010, Technische Universität Braunschweig, Winter 2024.

  5. Quality Oriented System Design. Exercise Group

    MB-701.03, University of Bremen, Sommer 2023.

  6. IoT4u (Student Master Project). Supervisor

    03-IBPJ-IOT4U, University of Bremen, Winter 2022 - Sommer 2023.

  7. Quality Oriented System Design. Exercise Group

    MB-701.03, University of Bremen, Sommer 2022.

  8. IoT4u (Student Bachelor Project). Supervisor

    03-IBPJ-IOT4U, University of Bremen, Winter 2021 - Sommer 2022.

  9. Practical Introduction in Modern System Design with C++. Exercise Group

    03-IMVP-MSE (03-ME-701.15), University of Bremen, Winter 2021.

  10. Technical Computer Science 2. Exercise Group

    BA-700.12, University of Bremen, Winter 2017.

  11. Technical Computer Science 2. Exercise Group

    BA-700.12, University of Bremen, Winter 2016.