Skip to content

Commit

Permalink
Merge pull request #76 from julianpritzi/msc-pritzi
Browse files Browse the repository at this point in the history 
Add Julian Pritzi MA
  • Loading branch information
@Meandres
Meandres authored Nov 22, 2024
2 parents 3743360 + 589efa4 commit 5c7d762
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 5 deletions.
11 changes: 6 additions & 5 deletions archive/2024/README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,9 @@

## 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 | 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) |
| 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) |
| 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) |
Binary file added ..._julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf
View file
Binary file not shown.
Binary file added ..._julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf
View file
Binary file not shown.

0 comments on commit 5c7d762

Please sign in to comment.