diff options
| -rw-r--r-- | active_research.md | 1 | ||||
| -rw-r--r-- | archive/2024/README.md | 21 | ||||
| -rw-r--r-- | archive/2024/winter/docs/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf | bin | 0 -> 646039 bytes | |||
| -rw-r--r-- | archive/2024/winter/talks/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf | bin | 0 -> 544463 bytes |
4 files changed, 11 insertions, 11 deletions
diff --git a/active_research.md b/active_research.md index d1de483..1ed704b 100644 --- a/active_research.md +++ b/active_research.md @@ -13,7 +13,6 @@ | Student | Title | Type | Advisors | Start date | End date | |-----------------------|------------------------------------------------------------------------------------------------------------|------|----------------------------------------|------------|------------| -| Simon Dittrich | Automated Simulation of Hierarchical Cache Coherence for CXL | MA | Anatole Lefort | 15.03.2024 | 15.09.2024 | | Francisco Kusch | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing | BA | Nathaniel Tornow, Oğuzcan Kırmemiş | 28.05.2024 | 28.09.2024 | | Alexander Schindler | Evaluating the performance impact of privilege levels of Confidential Virtual Machines | MA | Patrick Sabanic | 15.11.2023 | 15.11.2024 | | Marcin Praski | Real-time & parallel task scheduling for Quantum Computing | MA | Emmanouil Giortamis | 15.06.2024 | 15.12.2024 | diff --git a/archive/2024/README.md b/archive/2024/README.md index 24923b7..4a95e4d 100644 --- a/archive/2024/README.md +++ b/archive/2024/README.md @@ -15,13 +15,14 @@ | 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) | ## 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) | \ No newline at end of file + +| 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) | \ No newline at end of file diff --git a/archive/2024/winter/docs/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf b/archive/2024/winter/docs/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf new file mode 100644 index 0000000..e57ea54 --- /dev/null +++ b/archive/2024/winter/docs/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf Binary files differdiff --git a/archive/2024/winter/talks/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf b/archive/2024/winter/talks/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf new file mode 100644 index 0000000..d168f35 --- /dev/null +++ b/archive/2024/winter/talks/msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf Binary files differ |