diff options
| author | Cristian Sandu <cristian.sandu@ik.me> | 2024-11-19 14:35:38 +0100 |
|---|---|---|
| committer | Cristian Sandu <cristian.sandu@ik.me> | 2024-11-19 14:35:38 +0100 |
| commit | c662b03f719f3dec8c9686599269df2f7cd7ceff (patch) | |
| tree | bc8be1929d745c4ff2b57d8b1bf31bb9f5921470 | |
| parent | 33d1d4c769dc6f133fe888fa87fe54982dbb30f0 (diff) | |
| download | research-work-archive-c662b03f719f3dec8c9686599269df2f7cd7ceff.tar.gz research-work-archive-c662b03f719f3dec8c9686599269df2f7cd7ceff.zip | |
added work
| -rw-r--r-- | archive/2024/README.md | 9 | ||||
| -rw-r--r-- | archive/2024/winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf | bin | 0 -> 1640463 bytes | |||
| -rw-r--r-- | archive/2024/winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf | bin | 0 -> 1115974 bytes |
3 files changed, 5 insertions, 4 deletions
diff --git a/archive/2024/README.md b/archive/2024/README.md index 1e48dc6..04ee969 100644 --- 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/archive/2024/winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf b/archive/2024/winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf new file mode 100644 index 0000000..7ff560b --- /dev/null +++ b/archive/2024/winter/docs/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf Binary files differdiff --git a/archive/2024/winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf b/archive/2024/winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf new file mode 100644 index 0000000..c57dc38 --- /dev/null +++ b/archive/2024/winter/talks/msc_cristian_sandu_evaluating_cheri_for_hardware_assisted_memory_safety_in_databases.pdf Binary files differ |