Skip to content

Commit

Permalink
Merge pull request #73 from kevinmareknoeller/main
Browse files Browse the repository at this point in the history 
Add group master thesis from Lukasewitz, Noeller
  • Loading branch information
@Meandres
Meandres authored Nov 13, 2024
2 parents ac4f969 + 502e587 commit 548bfa3
Show file tree
Hide file tree
Showing 3 changed files with 15 additions and 15 deletions.
30 changes: 15 additions & 15 deletions archive/2024/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,21 +2,21 @@

## 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) |
| Martin Lambeck | Utilizing dynamic partial reconfiguration in an FPGA-accelerated FaaS architecture | MA | Dr. Atsushi Koshiba | [PDF](summer/docs/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) | [PDF](summer/talks/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) |
| Clement Gachod | Improving Memory Management in the Linux Kernel for NUMA Architectures | MA | Julia Lawall, Jean-Pierre Lozi | [PDF](summer/docs/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) | [PDF](summer/talks/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) |
| Julian Kraus, Aleksandra Topalova | An investigation of AI methods for the facilitation of injury diagnosis and treatments | BA | Bernd Brügge | [PDF](summer/docs/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) | [PDF](summer/talks/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) |
| Francisco Kusch Domínguez | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing | BA | Nathaniel Tornow, Oğuzcan Kırmemiş | [PDF](summer/docs/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) | [PDF](summer/talks/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) |
| Anders Choi | PulseMLIR: An MLIR Dialect for Pulse Representations in Superconducting Quantum Computers | GR | Francisco Romão | [PDF](summer/docs/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) | [PDF](summer/talks/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) |
| 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) |
| 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) |
| Martin Lambeck | Utilizing dynamic partial reconfiguration in an FPGA-accelerated FaaS architecture | MA | Dr. Atsushi Koshiba | [PDF](summer/docs/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) | [PDF](summer/talks/msc_lambeck_utilizing_dynamic_partial_reconfiguration_in_an_fpga-accelerated_faas_architecture.pdf) |
| Clement Gachod | Improving Memory Management in the Linux Kernel for NUMA Architectures | MA | Julia Lawall, Jean-Pierre Lozi | [PDF](summer/docs/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) | [PDF](summer/talks/msc_clement_gachod_linux_kernel_memory_management_numa.pdf) |
| Julian Kraus, Aleksandra Topalova | An investigation of AI methods for the facilitation of injury diagnosis and treatments | BA | Bernd Brügge | [PDF](summer/docs/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) | [PDF](summer/talks/bsc_kraus_topalova_an_investigation_of_ai_methods_for_the_facilitation_of_injury_diagnosis_and_treatments.pdf) |
| Francisco Kusch Domínguez | CompTN: A Compiler Infrastructure for High-Performance Tensor Network Computing | BA | Nathaniel Tornow, Oğuzcan Kırmemiş | [PDF](summer/docs/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) | [PDF](summer/talks/bsc_kusch_comptn_a_compiler_infrastructure_for_high_performance_tensor_network_computing.pdf) |
| Anders Choi | PulseMLIR: An MLIR Dialect for Pulse Representations in Superconducting Quantum Computers | GR | Francisco Romão | [PDF](summer/docs/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) | [PDF](summer/talks/gr_anders_choi_pulsemlir_an_mlir_dialect_for_pulse_representations_in_superconducting_quantum_computers.pdf) |
| 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) |

| 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) |
Binary file added ...nter/docs/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf
View file
Binary file not shown.
Binary file added ...ter/talks/msc_lukasewitz_noeller_feedback_driven_usability_testing_for_hotel_software.pdf
View file
Binary file not shown.

0 comments on commit 548bfa3

Please sign in to comment.