Merge pull request #75 from TheMarshalMole/main

added master thesis
TUM-DSE · Nov 19, 2024 · ef8536c · ef8536c
2 parents 33d1d4c + c662b03
commit ef8536c
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/archive/2024/README.md b/archive/2024/README.md
@@ -16,7 +16,8 @@
 
 ## 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) |
+| 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)  |
diff --git a/.../msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf b/.../msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf
diff --git a/.../msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf b/.../msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf