Skip to content

Commit

Permalink
Merge pull request #80 from sidit77/main
Browse files Browse the repository at this point in the history 
Added MA of Simon Dittrich
  • Loading branch information
@martin-fink
martin-fink authored Jan 8, 2025
2 parents aefb92d + e3f8df8 commit 60d19d3
Show file tree
Hide file tree
Showing 4 changed files with 11 additions and 11 deletions.
1 change: 0 additions & 1 deletion active_research.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 |
Expand Down
21 changes: 11 additions & 10 deletions archive/2024/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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) |

| 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) |
Binary file added .../msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf
View file
Binary file not shown.
Binary file added .../msc_dittrich_generating_heterogeneous_cache_coherence_protocols_for_gem5_simulations.pdf
View file
Binary file not shown.

0 comments on commit 60d19d3

Please sign in to comment.