Skip to content

Commit

Permalink
add bsc Luca Mathias
Browse files Browse the repository at this point in the history
  • Loading branch information
@lucamathias
lucamathias committed Nov 26, 2024
1 parent d3272d3 commit bb1cb7f
Show file tree
Hide file tree
Showing 4 changed files with 20 additions and 20 deletions.
25 changes: 12 additions & 13 deletions active_research.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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 |

15 changes: 8 additions & 7 deletions archive/2024/README.md
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Research work in 2024

## Summer semester
## Summer **semester**

| Student | Title | Type | Advisors | Report/Thesis | Presentation |
| --------------------------------- | ----------------------------------------------------------------------------------------- | ---- | ---------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
Expand All @@ -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) |
Binary file added ...cs/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
View file
Binary file not shown.
Binary file added ...ks/bsc_mathias_performance_analysis_and_optimization_of_confidential_virtual_machines.pdf
View file
Binary file not shown.

0 comments on commit bb1cb7f

Please sign in to comment.