Merge pull request #89 from KonstantinGarbers/kgarbers/thesis/bsc

Added the bachelor thesis "Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation"

3 files changed, 17 insertions, 16 deletions

diff --git a/archive/2024/README.md b/archive/2024/README.md
index 20be162..9884156 100644
--- a/archive/2024/README.md
+++ b/archive/2024/README.md
@@ -3,7 +3,7 @@
 ## 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)                                             |
@@ -16,18 +16,19 @@
 
 ## 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)                                            |
-| Lan Ouyang                       | Empirical Study of Memory Safety Bugs in Database Systems                              | MA   | Martin Fink, Ilya Meignan--Masson, Dimitrios Stavrakakis | [PDF](winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            | [PDF](winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            |
-| Theofilos Augoustis               | Design & Implementation of an ARM64 Dynamic Backend for a Hybrid Binary Translator        | MA   | Sebastian Reimers                        | [PDF](winter/docs/msc_theofilos_augoustis_arm_dbt.pdf)                                                                             | N/A                                                                                                                               |
-| Martin Lindbüchl               | Towards DBMS-aware Memory Management in Unikernels | BA   | Ilya Meignan--Masson | [PDF](winter/docs/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf)                                                                             | [PDF](winter/talks/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.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](winter/docs/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            | [PDF](winter/talks/msc_lan_ouyang_empirical_study_memory_bugs_databases.pdf)                                                                                            |
+| Theofilos Augoustis              | Design & Implementation of an ARM64 Dynamic Backend for a Hybrid Binary Translator                    | MA   | Sebastian Reimers                                        | [PDF](winter/docs/msc_theofilos_augoustis_arm_dbt.pdf)                                                                                                                 | N/A                                                                                                                                                                     |
+| Martin Lindbüchl                 | Towards DBMS-aware Memory Management in Unikernels                                                    | BA   | Ilya Meignan--Masson                                     | [PDF](winter/docs/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf)                                                                                   | [PDF](winter/talks/bsc_martin_towards_dbms-aware_memory_management_in_unikernels.pdf)                                                                                   |
+| Konstantin Garbers               | Design and Implementation of a Binary Translator from AArch64 to a Custom Intermediate Representation | BA   | Martin Fink                                              | [PDF](winter/docs/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf)                               | [PDF](winter/talks/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf)                               |
diff --git a/archive/2024/winter/docs/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf b/archive/2024/winter/docs/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf
new file mode 100644
index 0000000..0407f47
--- /dev/null
+++ b/archive/2024/winter/docs/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf
Binary files differdiff --git a/archive/2024/winter/talks/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf b/archive/2024/winter/talks/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf
new file mode 100644
index 0000000..d2bfcc5
--- /dev/null
+++ b/archive/2024/winter/talks/bsc_garbers_design_and_implementation_of_a_binary_translator_from_aarch64_to_a_custom_intermediate_representation.pdf
Binary files differ