diff --git a/active_research.md b/active_research.md index f80d5c0..3a569c2 100644 --- a/active_research.md +++ b/active_research.md @@ -11,17 +11,16 @@ ⚠️**NOTE**: Keep the table sorted based on the end date, i.e., earliest end dates at the top.⚠️ -| 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 | -| Luca Mathias | Analysis and Optimization of I/O Stack of Confidential Virtual Machines | BA | Masanori Misono | 17.06.2024 | 17.10.2024 | -| Alexander Schindler| Evaluating the performance impact of privilege levels of Confidential Virtual Machines | MA | Patrick Sabanic | 15.11.2023 | 15.11.2024 | -| Milen Vitanov | Serverless Data-Processing in Unikernels using eBPF | MA | Masanori Misono, Ilya Meignan--Masson | 01.06.2024 | 01.12.2024 | -| Marcin Praski | Real-time & parallel task scheduling for Quantum Computing | MA | Emmanouil Giortamis | 15.06.2024 | 15.12.2024 | -| Lan Ouyang | Securing Databases Data Structures: Exploring CHERI for Memory Safety and Bug Detection | MA | Martin Fink, Ilya Meignan--Masson | 07.08.2024 | 07.02.2025 | -| Konstantin Garbers | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA | Martin Fink | 29.10.2024 | 28.02.2025 | -| Martin Lindbuechl | Towards efficient memory and storage subsystems for unikernel based cloud databases | BA | Ilya Meignan--Masson | 18.11.2024 | 18.03.2025 | -| Michael Hackl | CloakVM: A Library OS for Confidential Nested Virtualization | MA | Patrick Sabanic, Dimitrios Stavrakakis | 01.10.2024 | 01.04.2025 | -| Dominik Kreutzer | vDPDK: A Para-Virtualized DPDK Device Model for vMux | MA | Peter Okelmann, Masanori Misono | 18.11.2024 | 19.05.2025 | +| 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 | +| Milen Vitanov | Serverless Data-Processing in Unikernels using eBPF | MA | Masanori Misono, Ilya Meignan--Masson | 01.06.2024 | 01.12.2024 | +| Marcin Praski | Real-time & parallel task scheduling for Quantum Computing | MA | Emmanouil Giortamis | 15.06.2024 | 15.12.2024 | +| Lan Ouyang | Securing Databases Data Structures: Exploring CHERI for Memory Safety and Bug Detection | MA | Martin Fink, Ilya Meignan--Masson | 07.08.2024 | 07.02.2025 | +| Konstantin Garbers | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA | Martin Fink | 29.10.2024 | 28.02.2025 | +| Martin Lindbuechl | Towards efficient memory and storage subsystems for unikernel based cloud databases | BA | Ilya Meignan--Masson | 18.11.2024 | 18.03.2025 | +| Michael Hackl | CloakVM: A Library OS for Confidential Nested Virtualization | MA | Patrick Sabanic, Dimitrios Stavrakakis | 01.10.2024 | 01.04.2025 | +| Dominik Kreutzer | vDPDK: A Para-Virtualized DPDK Device Model for vMux | MA | Peter Okelmann, Masanori Misono | 18.11.2024 | 19.05.2025 | diff --git a/archive/2024/README.md b/archive/2024/README.md index 1ae41e7..2deca4a 100644 --- a/archive/2024/README.md +++ b/archive/2024/README.md @@ -1,6 +1,6 @@ # Research work in 2024 -## Summer semester +## Summer **semester** | Student | Title | Type | Advisors | Report/Thesis | Presentation | | --------------------------------- | ----------------------------------------------------------------------------------------- | ---- | ---------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- | @@ -16,9 +16,10 @@ ## 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 | Feedback-driven usability testing for hotel software | 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) | +| 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 | Feedback-driven usability testing for hotel software | 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) | diff --git a/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf b/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf new file mode 100644 index 0000000..bb6bf36 Binary files /dev/null and b/archive/2024/winter/docs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf differ diff --git a/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf b/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf new file mode 100644 index 0000000..7769389 Binary files /dev/null and b/archive/2024/winter/talks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf differ