blob: 28b86c827d071261a5dab65000a22f29226aed33 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
# Research work in 2024
## Summer semester
| Student | Title | Type | Advisors | Report/Thesis | Presentation |
| --------------------------------- | ----------------------------------------------------------------------------------------- | ---- | ---------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
| Martin Fink | Hardware-Assisted Memory Safety for WebAssembly | MA | Dimitrios Stavrakakis | [PDF](summer/docs/msc_martin_fink_wasm_memory_safety.pdf) | [PDF](summer/talks/msc_martin_fink_wasm_memory_safety.pdf) |
| Jalil David Salamé Messina | Towards running legacy applications inside AWS Nitro Type Enclaves | BA | Le Qouc Do | [PDF](summer/docs/bsc_salame_towards_running_legacy_applications_inside_aws_nitro_type_enclaves.pdf) | [PDF](summer/talk/bsc_salame_towards_running_legacy_applications_inside_aws_nitro_type_enclaves.pdf) |
| Nicola Crivellin | Execution State Comparison for Emulators using Symbolic Execution | MA | (Theofilos Augoustis), Sebastian Reimers | [PDF](summer/docs/msc_nicola_crivellin_execution_state_comparison_for_emulators.pdf) | [PDF](summer/talks/msc_nicola_crivellin_execution_state_comparison_for_emulators.pdf) |
| Martin Lambeck | Utilizing dynamic partial reconfiguration in an FPGA-accelerated FaaS architecture | MA | Dr. Atsushi Koshiba | [PDF](summer/docs/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) | [PDF](summer/talks/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) |
| Clement Gachod | Improving Memory Management in the Linux Kernel for NUMA Architectures | MA | Julia Lawall, Jean-Pierre Lozi | [PDF](summer/docs/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) | [PDF](summer/talks/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) |
| Julian Kraus, Aleksandra Topalova | An investigation of AI methods for the facilitation of injury diagnosis and treatments | BA | Bernd Brügge | [PDF](summer/docs/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) | [PDF](summer/talks/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) |
| Francisco Kusch Domínguez | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing | BA | Nathaniel Tornow, Oğuzcan Kırmemiş | [PDF](summer/docs/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) | [PDF](summer/talks/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) |
| Anders Choi | PulseMLIR: An MLIR Dialect for Pulse Representations in Superconducting Quantum Computers | GR | Francisco Romão | [PDF](summer/docs/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) | [PDF](summer/talks/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) |
| Paul Zhang | Network Function Virtualization with UniBPF | BA | Masanori Misono, Ilya Meignan--Masson | [PDF](summer/docs/bsc_paul_zhang_network_function_virtualization_with_unibpf.pdf) | [PDF](summer/talks/bsc_paul_zhang_network_function_virtualization_with_unibpf.pdf) |
| Theofilos Augoustis | Focaccia: Systematic Testing for Dynamic Binary Translators | IDP | Dr. Marco Caccamo | [PDF](summer/docs/idp_theofilos_augoustis_focaccia.pdf) | N/A
## Winter semester
| Student | Title | Type | Advisors | Report/Thesis | Presentation |
| -------------------------------- | ----------------------------------------------------------------------------------------------------- | ---- | -------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
| Liangrun Da | Design and Verification of Byzantine Fault Tolerant CRDTs | MA | Martin Kleppmann | [PDF](winter/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) | [PDF](winter/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) |
| Stephan Lukasewitz, Kevin Nöller | Feedback-driven usability testing for hotel software | MA | Bernd Brügge | [PDF](winter/docs/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf) | [PDF](winter/talks/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf) |
| Cristian Sandu | Evaluating CHERI for hardware-assisted memory safety in databases | MA | Ilya Meignan--Masson, Martin Fink | [PDF](winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf) | [PDF](winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf) |
| Julian Pritzi | Formal Verification of Heterogeneous Cache Coherence Protocols for CXL | MA | Dr. Anatole Lefort | [PDF](winter/docs/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf) | [PDF](winter/talks/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf) |
| Luca Mathias | Performance Analysis and Optimization of Confidential Virtual Machines | BA | Dr. Masanori Misono | [PDF](winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf) | [PDF](winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf) |
| Nathaniel Tornow | Scalable Hybrid Quantum-Classical Computing with Tensor Networks | MA | Prof. Pramod Bhatotia | [PDF](winter/docs/msc_nathaniel_tornow_scalable_hybrid_quantum_classical_computing_with_tensor_networks.pdf) | [PDF](winter/talks/msc_nathaniel_tornow_scalable_hybrid_quantum_classical_computing_with_tensor_networks.pdf) |
| Milen Vitanov | Serverless computing in unikernels using eBPF code injection | MA | Masanori Misono, Ilya Meignan--Masson | [PDF](winter/docs/msc_milen_vitanov_serverless_computing_in_unikernels_using_ebpf_code_injection.pdf) | [PDF](winter/talks/msc_milen_vitanov_serverless_computing_in_unikernels_using_ebpf_code_injection.pdf) |
| Simon Dittrich | Generating Heterogeneous Cache Coherence Protocols for gem5 Simulations | MA | Dr. Anatole Lefort | [PDF](winter/docs/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf) | [PDF](winter/talks/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf) |
| Marcin Praski | Real-time and parallel task scheduling for Quantum Computing | MA | Emmanouil Giortamis | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/docs/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf) | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/talks/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf) |
| Alexander Schindler | Evaluating the Performance Impact of Privilege Levels of Confidential Virtual Machines | MA | Patrick Sabanic | [PDF](winter/docs/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf) | [PDF](winter/talks/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf) |
| Lan Ouyang | Empirical Study of Memory Safety Bugs in Database Systems | MA | Martin Fink, Ilya Meignan--Masson, Dimitrios Stavrakakis | [PDF](winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf) | [PDF](winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf) |
| Theofilos Augoustis | Design & Implementation of an ARM64 Dynamic Backend for a Hybrid Binary Translator | MA | Sebastian Reimers | [PDF](winter/docs/msc_theofilos_augoustis_arm_dbt.pdf) | N/A |
| Martin Lindbüchl | Towards DBMS-aware Memory Management in Unikernels | BA | Ilya Meignan--Masson | [PDF](winter/docs/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf) | [PDF](winter/talks/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf) |
| Konstantin Garbers | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA | Martin Fink | [PDF](winter/docs/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf) | [PDF](winter/talks/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf) |
| Yude Jiang | Microarchitectural Analysis of CHERI on the Morello Platform | BA | Martin Fink, Masanori Misono | [PDF](winter/docs/bsc_jiang_microarchitectural_analysis_of_cheri_on_the_morello_platform.pdf) | [PDF](winter/talks/bsc_jiang_microarchitectural_analysis_of_cheri_on_the_morello_platform.pdf) |
| Michael Hackl | CloakVM: A Runtime System for Confidential Serverless Functions | MA | Patrick Sabanic, Dimitrios Stavrakakis | [PDF](winter/docs/msc_hackl_cloakvm.pdf) | [PDF](winter/talks/msc_hackl_cloakvm.pdf) |
| Raphael Dichler | Evaluation of the Performance of the Memory Tagging Extensions | BA | Martin Fink, Meignan--Masson | [PDF](winter/docs/bsc_dichler.pdf) | [PDF](winter/talks/bsc_dichler.pdf) |
|