Teaching

Theses

If you are interested in writing a thesis with us, please check our application instructions

Supervised Theses

• Alexander Bartelt: “Design and Implementation of Memory Consistency Model aware MLIR Dialects in a Compiler for Concurrent Programs” (B.Sc., in progress)
• Theofilos Augoustis: “Design & Implementation of an ARM64 Dynamic Backend for a Hybrid Binary Translator” (Winter ‘24)
• Nicola Crivellin: “Execution State Comparison for Emulators using Symbolic Execution” (Summer ‘24)
• Alp Berkman: “Automated Test Case Generation for Emulators using Symbolic Execution” (Winter ‘24)

Lectures and Labs

• 2025: Practical course: Systems Programing
• 2024: Lecture: Introduction to Software Engineering
• 2024: Seminar: Accelerated Computing Systems
• 2024: Seminar: Operating Systems and Virtualization
• 2024: Practical course: Systems Programing
• 2023: Practical course: Advanced Systems Programing in C/Rust
• 2023: Practical course: Computer Systems Lab
• 2023: Practical course: Advanced Systems Programing in C/Rust