# Research work in 2023 ## Summer semester | Student | Title | Type | Advisors | Report/Thesis | Presentation | | ------------------ | ------------------------------------------------------------------------------------- | ---- | ----------------- | --------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------- | | Robert Schambach | Kernel Functions of a Trusted NIC Architecture | GR | Dimitra Giantsidi | [PDF](summer/docs/gr_schambach_kernel_functions_of_a_trusted_nic_architecture.pdf) | [PDF](summer/talks/gr_schambach_kernel_functions_of_a_trusted_nic_architecture.pdf) | | Tatia Tibunashvili | Design and Development of a Synchronized Database for Launch Control System | MA | Julian Petrasch | [PDF](summer/docs/msc_tibunashvili_design_and_development_of_a_synchronized_database_for_launch_control_system.pdf) | [PDF](summer/talks/msc_tibunashvili_design_and_development_of_a_synchronized_database_for_launch_control_system.pdf) | | Vanda Hendrychova | Extending unikernels with a language runtime | MA | Masanori Misono | [PDF](summer/docs/msc_hendrychova_extending_unikernel_with_a_language_runtime.pdf) | [PDF](summer/talks/msc_hendrychova_extending_unikernel_with_a_language_runtime.pdf) | | Simon Kammermeier | Emulation of x86 Binaries on the RISC-V architecture | BA | Redha Gouciem | [PDF](summer/docs/bsc_kammermeier_emulation_of_x86_binaries_on_the_riscv_architecture.pdf) | [PDF](summer/talks/bsc_kammermeier_emulation_of_x86_binaries_on_the_riscv_architecture.pdf) | | Ryan Lahfa | Automatic dependencies dispensing | MA | Jörg Thalheim | [PDF](summer/docs/internship_lahfa_buildxyz_automatic_ondemand_dependency_dispenser.pdf) | [PDF](summer/talks/internship_lahfa_buildxyz_automatic_ondemand_dependency_dispenser.pdf) | | Felix Gust | Prototyping a Secure Controller for Trusted Heterogeneous Disaggregated Architectures | MA | Atsushi Koshiba | [PDF](summer/docs/msc_gust_prototyping_a_secure_controller_for_trusted_heterogeneous_disaggregated_architectures.pdf) | [PDF](summer/talks/msc_gust_prototyping_a_secure_controller_for_trusted_heterogeneous_disaggregated_architectures.pdf) | | Roberto Castellotti | Performance Evaluation of AMD Secure Encrypted Virtualization | GR | Masanori Misono | [PDF](summer/docs/gr_castellotti_performance_valuation_of_AMD_secure_encrypted_virtualization.pdf) | | | Fritz Rehde | Hardware-Assisted Memory Safety for WebAssembly | BA | Martin Fink | [PDF](summer/docs/bsc_rehde_hardware_assisted_memory_safety_for_webassembly.pdf) | [PDF](summer/talks/bsc_rehde_hardware_assisted_memory_safety_for_webassembly.pdf) | | Bruno Scheufler | Cloud-Native Scheduling for Serverless FPGAs | BA | Charalampos Mainas | [PDF](summer/docs/bsc_scheufler_cloud_native_scheduling_for_serverless_fpgas.pdf) | [PDF](summer/talks/bsc_scheufler_cloud_native_scheduling_for_serverless_fpgas) | | Ertugrul Aypek | Analysis and Enforcement of GDPR Rules on Key-Value Stores | MA | Dimitrios Stavrakakis | [PDF](summer/docs/msc_aypek_analysis_and_enforcement_of_gdpr_rules_on_key_value_stores.pdf) | [PDF](summer/talks/msc_aypek_analysis_and_enforcement_of_gdpr_rules_on_key_value_stores.pdf) | | Anand Krishna Rallabhandi| Heterogeneity-Aware Scheduling Algorithms for FPGA Workloads in Cloud Environments | MA | Atsushi Koshiba | [PDF](summer/docs/msc_rallabhandi_heterogeneity_aware_scheduling_algorithms_for_fpga_workloads_in_cloud_environments.pdf) | [PDF](summer/talks/msc_rallabhandi_heterogeneity_aware_scheduling_algorithms_for_fpga_workloads_in_cloud_environments.pdf) | | Leo Stewen | Undo and Redo Support for Replicated Registers | GR | Martin Kleppmann | [PDF](summer/docs/gr_stewen_undo_and_redo_support_for_replicated_registers.pdf) | [PDF](summer/talks/gr_stewen_undo_and_redo_support_for_replicated_registers.pdf) | | Liangrun Da | Extending JSON CRDT with Move Operations | GR | Martin Kleppmann | [PDF](summer/docs/gr_liangrunda_extending_JSON_CRDT_with_move_operations.pdf) | [PDF](summer/talks/gr_liangrunda_extending_JSON_CRDT_with_move_operations.pdf) | ## Winter semester | 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 | [PDF](winter/docs/msc_cornea_development_and_automation_of_reliable_cloud_infrastructure_for_scalable_microservices_deployment.pdf) | [PDF](winter/talks/msc_cornea_development_and_automation_of_reliable_cloud_infrastructure_for_scalable_microservices_deployment.pdf) | | Paul Heidekrüger | Out-Of-Spec Compilation in the Presence of Dragons: Investigating Broken Dependency Orderings in the Linux Kernel | MA | Marco Elver (Google) | [PDF](winter/docs/msc_paulhdk_out_of_spec_compilation_in_the_presence_of_dragons.pdf) | [PDF](winter/talks/msc_paulhdk_out_of_spec_compilation_in_the_presence_of_dragons.pdf) | | Kai-Chun Hsieh | UniBPF: Safe and Verifiable Unikernels Extensions | MA | Masanori Misono | [PDF](winter/docs/msc_hsieh_unibpf_safe_and_verifiable_unikernels_extensions.pdf) | [PDF](winter/talks/msc_hsieh_unibpf_safe_and_verifiable_unikernels_extensions.pdf) | | Dmitry Lugovoy | Scalable Quantum Cloud Scheduling: Optimizing Resource Allocation for Efficient NISQ Computing | MA | Emmanouil Giortamis, Francisco Romão | [PDF](winter/docs/msc_lugovoy_scalable_quantum_cloud_scheduling.pdf) | [PDF](winter/talks/msc_lugovoy_scalable_quantum_cloud_scheduling.pdf) | | Florian Dominik Freudiger | Hyper-scalability of Network Interface Cards for Virtual Machines | BA | Peter Okelmann | [PDF](winter/docs/bsc_freudiger_hyper_scalability_of_network_interface_cards_for_virtual_machines.pdf) | [PDF](winter/talks/bsc_freudiger_hyper_scalability_of_network_interface_cards_for_virtual_machines.pdf) | | Robert Schambach | cvm-io: Secure High-Performance Storage Stack for Confidential Virtual Machines | MA | Masanori Misono | [PDF](winter/docs/msc_scha_cvm-io_secure_high_performance_storage_stack_for_confidential_virtual_machines.pdf) | [PDF](winter/talks/msc_scha_cvm-io_secure_high_performance_storage_stack_for_confidential_virtual_machines.pdf) | | Zeynep Erdogan | Quantum Circuit Transpilation: Experimental Analysis and Subarchitecture Selection | MA | Emmanouil Giortamis, Francisco Romão | [PDF](winter/docs/msc_erdogan_quantum_circuit_transpilation_experimental_analysis_and_subarchitecture_selection.pdf) | [PDF](winter/talks/msc_erdogan_quantum_circuit_transpilation_experimental_analysis_and_subarchitecture_selection.pdf) | | Alp Berkman | Automated Test Case Generation for Emulators using Symbolic Execution | BA | (Theofilos Augoustis), Sebastian Reimers | [PDF](winter/docs/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf) | [PDF](winter/talks/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf) | | Thang Tran | Hardware-aware Optimal Quantum Circuit Cutting and Knitting | MA | Emmanouil Giortamis, Francisco Romão | [PDF](winter/docs/msc_tran_hardware_aware_optimal_quantum_circuit_cutting_and_knitting.pdf) | [PDF](winter/talks/msc_tran_hardware_aware_optimal_quantum_circuit_cutting_and_knitting.pdf) |