/archive/2024/winter/docs/

• ../
• bsc_dichler.pdf
• bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf
• bsc_jiang_microarchitectural_analysis_of_cheri_on_the_morello_platform.pdf
• bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf
• bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
• msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf
• msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf
• msc_hackl_cloakvm.pdf
• msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf
• msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf
• msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf
• msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf
• msc_milen_vitanov_serverless_computing_in_unikernels_using_ebpf_code_injection.pdf
• msc_nathaniel_tornow_scalable_hybrid_quantum_classical_computing_with_tensor_networks.pdf
• msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf
• msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf
• msc_theofilos_augoustis_arm_dbt.pdf