Teaching

Lectures and Practical Courses

• Introduction to Software Engineering (EIST). Summer 2025, Exam Lead.
• Introduction to Software Engineering (EIST). Summer 2024, Exam Team.
• Practical course: Advanced Systems Programming in C/Rust. Winter 2023, Tutor.
• Practical course: Advanced Systems Programming in C/Rust. Summer 2023, Tutor.

Advised Theses

For potential thesis/guided research topics, see this list.

Ongoing

Policy Design and Enforcement for eBPF Kernel Extensions
Guided Research.

2026

Generating Loop Termination Proofs for eBPF in LLVM
Deniz Mersinlioğlu, Bachelor’s Thesis.

Specification-Driven Binary Translator
Robert Barinov, Bachelor’s Thesis.
Co-advised with Anders Choi.
Thesis

2025

AirLift: Automatically Generating a Binary Lifter from the Arm Machine-Readable Architecture Specification
Anders Choi, Master’s Thesis.
Thesis

Evaluation of the Performance of the Memory Tagging Extensions
Raphael Dichler, Bachelor’s Thesis.
Co-advised with Ilya Meignan--Masson.
Thesis

Microarchitectural Analysis of CHERI on the Morello Platform
Yude Jiyang, Bachelor’s Thesis.
Co-advised with Masanori Misono.
Thesis

Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation
Konstantin Garbers, Bachelor’s Thesis.
Thesis

Empirical Study of Memory Safety Bugs in Database Systems.
Lan Ouyang, Master’s Thesis.
Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
Thesis

2024

Evaluating CHERI for Hardware-Assisted Memory Safety in Databases
Cristian Sandu, Master’s thesis.
Co-advised with Ilya Meignan--Masson and Dimitrios Stavrakakis.
Thesis

2023

Hardware-Assisted Memory Safety for WebAssembly
Fritz Rehde, Bachelor’s thesis.
Thesis