Add thesis: Design and Verification of Byzantine Fault Tolerant CRDTs

TUM-DSE · Nov 4, 2024 · 5f86cf3 · 5f86cf3
1 parent 2a13967
commit 5f86cf3
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 0 deletions.
diff --git a/archive/2024/README.md b/archive/2024/README.md
@@ -13,6 +13,7 @@
 | 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) |
+| Liangrun Da | Design and Verification of Byzantine Fault Tolerant CRDTs | MA | Martin Kleppmann | [PDF](summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) | [PDF](summer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf) |
 
 ## Winter semester
 

diff --git a/...summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf b/...summer/docs/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf
diff --git a/...ummer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf b/...ummer/talks/msc_liangrun_da_design_and_verification_of_byzantine_fault_tolerant_crdts.pdf