diff --git a/archive/2024/README.md b/archive/2024/README.md
index 04ee969..1ae41e7 100644
--- a/archive/2024/README.md
+++ b/archive/2024/README.md
@@ -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)  |
diff --git a/archive/2024/winter/docs/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf b/archive/2024/winter/docs/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf
new file mode 100644
index 0000000..86dfc6e
Binary files /dev/null and b/archive/2024/winter/docs/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf differ
diff --git a/archive/2024/winter/talks/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf b/archive/2024/winter/talks/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf
new file mode 100644
index 0000000..c9ee2d1
Binary files /dev/null and b/archive/2024/winter/talks/msc_julian_pritzi_formal_verification_of_heterogeneous_cache_coherence_protocols_for_cxl.pdf differ