Posts

Teaching operating systems usually takes place in a lecture hall or a classroom—but today I found myself standing on the stage of Agora Theater on the campus, with rows of bright red seats in front of me and full stage lighting above.

On September 3rd, 2025, together with Marco Ottavi, lead of the Dependable Computing Systems group, I had the pleasure of hosting Federico Reghenzani, Assistant Professor from the HEAP Lab at Politecnico di Milano.

This year, I had the pleasure of co-chairing the 19th edition of the Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT), alongside Marion Sudvarg (Washington University in St. Louis).

I’m excited to share that my bachelor student, Harald-Mircea Rutsch, received the Best Presentation Award at the 43rd Twente Student Conference on IT (TScIT 43)! 🏆 Harald’s thesis, “From Cosmic Rays to Compile Time: LLVM-Based Estimation of Soft Errors,” tackles a timely challenge at the intersection of compiler technology and system reliability—especially relevant for mission-critical domains like aerospace and embedded systems.

I’m thrilled to share that our recent paper, led by my PhD student Jeffrey Spaan (co-supervised with Ana-Lucia Varbanescu), has received a Best Paper Nomination at European Conference on Parallel Processing (Euro-Par 2025)!

I’m happy to share that I’ve been invited to serve as a Co-Chair for the Software Architecture, Compilers, and Tool Chains track at ICCD 2025! The International Conference on Computer Design (ICCD) is a well-established venue that brings together researchers and practitioners working on innovative design methodologies for modern computing systems.

DATE'25 list of accepted paper was online on 12.11! Two papers from University of Twente (485 and 1016), collaborating with Lamarr Institut, Karlsruher Institut für Technologie, National Taiwan University. More details will come, keep tuned!

We’re thrilled to announce that our work, TreeHouse: An MLIR-based Compilation Flow for Real-Time Tree-Based Inference, has been accepted for publication in the prestigious ACM Transactions on Embedded Computing Systems (TECS)!

I am delighted to share that our educational demo, namely “TEACH: Transferable RTOS Education with Accessible MicroController Hardware” has been accepted to appear at RTSS 2024! Special thanks to Kay Heider and Christian Hakert.

I am honored to announce that I have received the Outstanding Reviewer Award at International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) 2024. This recognition reflects my commitment to supporting the academic community through thorough and constructive peer reviews.