# 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) |