| Student | Title | Type | Advisors | Report/Thesis | Presentation |
|---|---|---|---|---|---|
| Robert Schambach | Kernel Functions of a Trusted NIC Architecture | GR | Dimitra Giantsidi | ||
| Tatia Tibunashvili | Design and Development of a Synchronized Database for Launch Control System | MA | Julian Petrasch | ||
| Vanda Hendrychova | Extending unikernels with a language runtime | MA | Masanori Misono | ||
| Simon Kammermeier | Emulation of x86 Binaries on the RISC-V architecture | BA | Redha Gouciem | ||
| Ryan Lahfa | Automatic dependencies dispensing | MA | Jörg Thalheim | ||
| Felix Gust | Prototyping a Secure Controller for Trusted Heterogeneous Disaggregated Architectures | MA | Atsushi Koshiba | ||
| Roberto Castellotti | Performance Evaluation of AMD Secure Encrypted Virtualization | GR | Masanori Misono | ||
| Fritz Rehde | Hardware-Assisted Memory Safety for WebAssembly | BA | Martin Fink | ||
| Bruno Scheufler | Cloud-Native Scheduling for Serverless FPGAs | BA | Charalampos Mainas | ||
| Ertugrul Aypek | Analysis and Enforcement of GDPR Rules on Key-Value Stores | MA | Dimitrios Stavrakakis | ||
| Anand Krishna Rallabhandi | Heterogeneity-Aware Scheduling Algorithms for FPGA Workloads in Cloud Environments | MA | Atsushi Koshiba | ||
| Leo Stewen | Undo and Redo Support for Replicated Registers | GR | Martin Kleppmann | ||
| Liangrun Da | Extending JSON CRDT with Move Operations | GR | Martin Kleppmann |
| Student | Title | Type | Advisors | Report/Thesis | Presentation |
|---|---|---|---|---|---|
| Ana-Maria-Iulia Cornea | Development and Automation of Reliable Cloud Infrastructure for Scalable Microservices Deployment | MA | Evgeny Volynsky | ||
| Paul Heidekrüger | Out-Of-Spec Compilation in the Presence of Dragons: Investigating Broken Dependency Orderings in the Linux Kernel | MA | Marco Elver (Google) | ||
| Kai-Chun Hsieh | UniBPF: Safe and Verifiable Unikernels Extensions | MA | Masanori Misono | ||
| Dmitry Lugovoy | Scalable Quantum Cloud Scheduling: Optimizing Resource Allocation for Efficient NISQ Computing | MA | Emmanouil Giortamis, Francisco Romão | ||
| Florian Dominik Freudiger | Hyper-scalability of Network Interface Cards for Virtual Machines | BA | Peter Okelmann | ||
| Robert Schambach | cvm-io: Secure High-Performance Storage Stack for Confidential Virtual Machines | MA | Masanori Misono | ||
| Zeynep Erdogan | Quantum Circuit Transpilation: Experimental Analysis and Subarchitecture Selection | MA | Emmanouil Giortamis, Francisco Romão |