Archive Lan Ouyang's thesis

4 files changed, 16 insertions, 16 deletions

diff --git a/active_research.md b/active_research.md
index 00878e2..3f8935d 100644
--- a/active_research.md
+++ b/active_research.md
@@ -13,7 +13,6 @@
 
 | Student               | Title                                                                                                      | Type | Advisors                               | Start date | End date   |
 | --------------------- | ---------------------------------------------------------------------------------------------------------- | ---- | -------------------------------------- | ---------- | ---------- |
-| 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 |
 | Yude Jiang            | Microarchitectural Analysis of CHERI on the Morello Platform                                               | BA   | Martin Fink, Masanori Misono           | 28.11.2024 | 28.03.2025 |
diff --git a/archive/2024/README.md b/archive/2024/README.md
index 46cb592..e393c09 100644
--- a/archive/2024/README.md
+++ b/archive/2024/README.md
@@ -1,9 +1,9 @@
 # Research work in 2024
 
-## Summer **semester**
+## Summer semester
 
 | Student                           | Title                                                                                     | Type | Advisors                                 | Report/Thesis                                                                                                                    | Presentation                                                                                                                      |
-| --------------------------------- | ----------------------------------------------------------------------------------------- | ---- | ---------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------- |
+|-----------------------------------|-------------------------------------------------------------------------------------------|------|------------------------------------------|----------------------------------------------------------------------------------------------------------------------------------|-----------------------------------------------------------------------------------------------------------------------------------|
 | Martin Fink                       | Hardware-Assisted Memory Safety for WebAssembly                                           | MA   | Dimitrios Stavrakakis                    | [PDF](summer/docs/msc_martin_fink_wasm_memory_safety.pdf)                                                                        | [PDF](summer/talks/msc_martin_fink_wasm_memory_safety.pdf)                                                                        |
 | Jalil David Salamé Messina        | Towards running legacy applications inside AWS Nitro Type Enclaves                        | BA   | Le Qouc Do                               | [PDF](summer/docs/bsc_salame_towards_running_legacy_applications_inside_aws_nitro_type_enclaves.pdf)                             | [PDF](summer/talk/bsc_salame_towards_running_legacy_applications_inside_aws_nitro_type_enclaves.pdf)                              |
 | Nicola Crivellin                  | Execution State Comparison for Emulators using Symbolic Execution                         | MA   | (Theofilos Augoustis), Sebastian Reimers | [PDF](summer/docs/msc_nicola_crivellin_execution_state_comparison_for_emulators.pdf)                                             | [PDF](summer/talks/msc_nicola_crivellin_execution_state_comparison_for_emulators.pdf)                                             |
@@ -15,16 +15,17 @@
 | 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)           |
-| 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)     |
-| Marcin Praski                   | Real-time and parallel task scheduling for Quantum Computing | MA   | Emmanouil Giortamis                    | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/docs/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf)     | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/talks/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf)     |
-| Alexander Schindler              | Evaluating the Performance Impact of Privilege Levels of Confidential Virtual Machines | MA    | Patrick Sabanic       | [PDF](winter/docs/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf)   | [PDF](winter/talks/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.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)                                                            |
+| Marcin Praski                    | Real-time and parallel task scheduling for Quantum Computing                           | MA   | Emmanouil Giortamis                                      | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/docs/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf) | [PDF](https://github.com/TUM-DSE/research-work-archive/blob/main/archive/2024/winter/talks/msc_praski_real_time_and_parallel_task_scheduling_for_quantum_computing.pdf) |
+| Alexander Schindler              | Evaluating the Performance Impact of Privilege Levels of Confidential Virtual Machines | MA   | Patrick Sabanic                                          | [PDF](winter/docs/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf)                                            | [PDF](winter/talks/msc_schindler_evaluating_the_performance_impact_of_privilege_levels_of_confidential_virtual_machines.pdf)                                            |
+| Lan Ouyang                       | Empirical Study of Memory Safety Bugs in Database Systems                              | MA   | Martin Fink, Ilya Meignan--Masson, Dimitrios Stavrakakis | [PDF](summer/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            | [PDF](summer/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            |
diff --git a/archive/2024/winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf b/archive/2024/winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf
new file mode 100644
index 0000000..1bf4310
--- /dev/null
+++ b/archive/2024/winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf
Binary files differdiff --git a/archive/2024/winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf b/archive/2024/winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf
new file mode 100644
index 0000000..a1c0853
--- /dev/null
+++ b/archive/2024/winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf
Binary files differ