Merge pull request #62 from alpberkman/main

Archiving for Alp Berkman
TUM-DSE · Apr 11, 2024 · c316a58 · c316a58
2 parents 042d304 + 00fc2fe
commit c316a58
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 1 deletion.
diff --git a/active_research.md b/active_research.md
@@ -13,7 +13,6 @@
 
 | Student               | Title                                                                               | Type | Advisors                                 | Start date | End date   |
 |-----------------------|-------------------------------------------------------------------------------------|------|------------------------------------------|------------|------------|
-| Alp Berkman           | Automated Test Case Generation for Emulators using Symbolic Execution               | BA   | (Theofilos Augoustis), Sebastian Reimers | 15.11.2023 | 15.03.2024 |
 | Moritz Beckel         | Analysis of a secure, performant Confidential Virtual Machine Storage Stack         | BA   | (Robert Schambach), Masanori Misono      | 15.12.2023 | 15.04.2024 |
 | Nicola Crivellin      | Execution State Comparison for Emulators using Symbolic Execution                   | MA   | (Theofilos Augoustis), Sebastian Reimers | 15.11.2023 | 15.05.2024 |
 | Martin Lamback        | Utilizing dynamic partial reconfiguration in an FPGA-accelerated FaaS architecture  | MA   | Charalampos Mainas, Atsushi Koshiba      | 15.01.2024 | 15.07.2024 |

diff --git a/archive/2023/README.md b/archive/2023/README.md
@@ -29,4 +29,5 @@
 | Florian Dominik Freudiger | Hyper-scalability of Network Interface Cards for Virtual Machines              | BA   | Peter Okelmann    | [PDF](winter/docs/bsc_freudiger_hyper_scalability_of_network_interface_cards_for_virtual_machines.pdf) | [PDF](winter/talks/bsc_freudiger_hyper_scalability_of_network_interface_cards_for_virtual_machines.pdf) |
 | Robert Schambach   | cvm-io: Secure High-Performance Storage Stack for Confidential Virtual Machines | MA   | Masanori Misono | [PDF](winter/docs/msc_scha_cvm-io_secure_high_performance_storage_stack_for_confidential_virtual_machines.pdf)                                    | [PDF](winter/talks/msc_scha_cvm-io_secure_high_performance_storage_stack_for_confidential_virtual_machines.pdf)                                    |
 | Zeynep Erdogan | Quantum Circuit Transpilation: Experimental Analysis and Subarchitecture Selection | MA   | Emmanouil Giortamis, Francisco Romão | [PDF](winter/docs/msc_erdogan_quantum_circuit_transpilation_experimental_analysis_and_subarchitecture_selection.pdf)                                    | [PDF](winter/talks/msc_erdogan_quantum_circuit_transpilation_experimental_analysis_and_subarchitecture_selection.pdf) |
+| Alp Berkman | Automated Test Case Generation for Emulators using Symbolic Execution | BA   | (Theofilos Augoustis), Sebastian Reimers | [PDF](winter/docs/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf) | [PDF](winter/talks/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf) |
 
diff --git a/...ocs/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf b/...ocs/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf
diff --git a/...lks/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf b/...lks/bsc_berkman_automated_test_case_generation_for_emulators_using_symbolic_execution.pdf