Skip to content

Commit

Permalink
Merge pull request TUM-DSE#61 from martin-fink/main
Browse files Browse the repository at this point in the history
Add Martin Fink MA
  • Loading branch information
Meandres authored Apr 10, 2024
2 parents 5a25e12 + 9e6ea11 commit 1878ba4
Show file tree
Hide file tree
Showing 5 changed files with 14 additions and 1 deletion.
1 change: 1 addition & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ website](https://dse.in.tum.de/thesis/).

Archives:
- [Active research work](./active_research.md)
- [2024](./archive/2024/README.md)
- [2023](./archive/2023/README.md)
- [2022](./archive/2022/README.md)
- [2021](./archive/2021/README.md)
Expand Down
1 change: 0 additions & 1 deletion active_research.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,6 @@
| 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 Fink | Hardware-Assisted Memory Safety for WebAssembly | MA | Dimitrios Stavrakakis | 15.12.2023 | 15.06.2024 |
| Martin Lamback | Utilizing dynamic partial reconfiguration in an FPGA-accelerated FaaS architecture | MA | Charalampos Mainas, Atsushi Koshiba | 15.01.2024 | 15.07.2024 |
| Christian Sandu | Hardware assisted memory safety for databases | MA | Ilya Meignan--Masson | 15.03.2024 | 15.09.2024 |
| Simon Dittrich | Automated Simulation of Hierarchical Cache Coherence for CXL | MA | Anatole Lefort | 15.03.2024 | 15.09.2024 |
Expand Down
13 changes: 13 additions & 0 deletions archive/2024/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
# Research work in 2024

## 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) |

## Winter semester

| Student | Title | Type | Advisors | Report/Thesis | Presentation |
|---------|-------|------|----------|---------------|--------------|

Binary file not shown.
Binary file not shown.

0 comments on commit 1878ba4

Please sign in to comment.