{"id":3232,"date":"2022-04-01T19:02:57","date_gmt":"2022-04-01T17:02:57","guid":{"rendered":"https:\/\/sys.cs.fau.de\/?page_id=3232"},"modified":"2026-10-12T11:58:44","modified_gmt":"2026-10-12T09:58:44","slug":"ergoo","status":"publish","type":"page","link":"https:\/\/sys.cs.fau.de\/en\/research\/ergoo","title":{"rendered":"System Software Colloquium"},"content":{"rendered":"<style>\n.colloquiumlogo span {\n  visibility: hidden;\n  display:none;\n}\n.colloquiumlogo:before {\n  content:'erg'; \n  visibility: visible;\n  font-family: 'Times New Roman', serif;\n  font-weight: normal;\n  color: var(--color-zentral-dunkler);\n}\n.colloquiumlogo:after {\n  content:'oo\u2007'; \n  color: var(--color-nat-ci-hell);\n  visibility: visible;\n  font-family: 'Times New Roman', serif;\n  font-weight: normal;\n  letter-spacing: -0.3em;\n}\n#colloquiumcal .colloquiumcal_date {\n  min-width: 8em;\n  vertical-align: top;\n}\n#colloquiumcal .colloquiumcal_speaker {\n  min-width: 15em;\n  text-align: right;\n  vertical-align: top;\n}\n#colloquiumcal td:nth-child(2)::before {\n  visibility:hidden;\n  position: absolute;\n}\n@media screen and (max-width: 45em) {\n#colloquiumcal td::before {\n  padding-right: 0.3em;\n}\n}\n<\/style>\n\n<h2>System Software Colloquium<\/h2>\nThe colloquium usually takes place weekly and offers insights into the latest research findings and final-year projects from our chairs&#8217;s four research areas:\n<a href=\"https:\/\/sys.cs.fau.de\/en\/research\/fields\/os\">operating systems<\/a>,\n<a href=\"https:\/\/sys.cs.fau.de\/en\/research\/fields\/confidential-computing\">confidential computing<\/a>, <a href=\"https:\/\/sys.cs.fau.de\/en\/research\/fields\/ds\">distributed systems<\/a> und <a href=\"https:\/\/sys.cs.fau.de\/en\/research\/fields\/embedded-systems-software\">embedded system software<\/a>. The upcoming talks are listed in the overview below.\n<h3>Members<\/h3>\n<div class=\"rrze-elements elements-columns \">\n<div class=\"column colspan-1\">\n<p><strong>Head of Department:<\/strong>\n<span class=\"fau-person person liste-person\"><span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/kapitza\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Prof. Dr.-Ing.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">R\u00fcdiger<\/span> <span itemprop=\"familyName\">Kapitza<\/span><\/span><\/span><\/a><\/span><\/span><\/p>\n<\/div>\n<div class=\"column colspan-1\">\n<p><strong>Group Leaders:<\/strong>\n<span class=\"fau-person person liste-person\"><span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/christian-berger\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Dr.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">Christian<\/span> <span itemprop=\"familyName\">Berger<\/span><\/span><\/span><\/a><\/span>, <span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/kleinoeder\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Dr.-Ing.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">J\u00fcrgen<\/span> <span itemprop=\"familyName\">Klein\u00f6der<\/span><\/span><\/span><\/a><\/span>, <span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/sieh\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Dr.-Ing.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">Volkmar<\/span> <span itemprop=\"familyName\">Sieh<\/span><\/span><\/span><\/a><\/span>, <span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/waegemann\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Dr.-Ing. habil.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">Peter<\/span> <span itemprop=\"familyName\">W\u00e4gemann<\/span><\/span><\/span><\/a><\/span>, <span itemscope itemtype=\"http:\/\/schema.org\/Person\"><a href=\"https:\/\/sys.cs.fau.de\/en\/person\/raffeck\"><span itemprop=\"name\"><span itemprop=\"honorificPrefix\">Dr.-Ing.<\/span> <span class=\"fullname\"><span itemprop=\"givenName\">Phillip<\/span> <span itemprop=\"familyName\">Raffeck<\/span><\/span><\/span><\/a><\/span><\/span><\/p>\n<\/div>\n<div class=\"column colspan-1\">\n<p><strong>Researchers and PhD Students:<\/strong>\nsee <a href=\"https:\/\/sys.cs.fau.de\/en\/chair\/person#postgraduates\">Team<\/a> page<\/p>\n<\/div>\n<\/div>\n\n<h3>Talks<\/h3>\n<table id=\"colloquiumcal\" class=\"i4responsivetable\" style=\"--colheader1: 'Date:'; --colheader2: 'Title:'; --colheader3: 'Speaker:';\">\n<thead>\n<tr class=\"colloquiumcal_entry\">\n<th class=\"colloquiumcal_date\">Date<\/th>\n<th class=\"colloquiumcal_title\">Title<\/th>\n<th class=\"colloquiumcal_speaker\">Speaker<\/th>\n<\/tr>\n<tbody>\n    <!-- CHKSUM: 86a7caed898e09313ee25fd8cbb254a7f319a8febb29b96a2d65fcfc6294e254 -->\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-11-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Software-defined Memory Integrity for Geusts with a Rust-based AArch64 Hypervisor<\/td>\n  <td class=\"colloquiumcal_speaker\">Fabian Wehrhahn<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-10-27<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> From Robustness to Worst-Case Timing Analysis: Reusing Neural Network Abstract Interpretation with DeepWCET<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/haeberlein\">Tobias H&#228;berlein<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-10-20<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Diverse LLM Programme<\/td>\n  <td class=\"colloquiumcal_speaker\">Lukas Hufnagel<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-10-20<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Extending the FAUCCC Static Analyzer for Analysis of the Linux Kernel<\/td>\n  <td class=\"colloquiumcal_speaker\">Maximilian Henter<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-10-13<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> MOJiTOSS - Modifying Optimised Just-in-Time-based Operating-System Schedulers<\/td>\n  <td class=\"colloquiumcal_speaker\">Lukas Bilstein<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-10-13<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> WebAssembly Browser<\/td>\n  <td class=\"colloquiumcal_speaker\">Ludwig Lehnert<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-09-15<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design und Implementierung von &quot;OpenID Connect&quot;-Offloading ohne Sitzungsterminierung in SmartNICs<\/td>\n  <td class=\"colloquiumcal_speaker\">Lea Eichelsd&#246;rfer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-09-10<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b>: PLOS<\/td>\n  <td class=\"colloquiumcal_speaker\">Maxim<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-09-08<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Bluefield und\/oder BFT Abschlusspr&#228;sentation<\/td>\n  <td class=\"colloquiumcal_speaker\">Jules Renouard<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-09-08<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Automated Synthesis and Integration of Assertions to Secure Compartment Boundaries<\/td>\n  <td class=\"colloquiumcal_speaker\">Jalal Uddin<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-08-11<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Design and Implementation of Fault-Correlation-Aware Quorum Systems for BFT<\/td>\n  <td class=\"colloquiumcal_speaker\">Benjamin Haag<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-08-06<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Data Recovery in Persistent Memory Based Operating Systems Upon Power Failure<\/td>\n  <td class=\"colloquiumcal_speaker\">Sebastian Ru&#223;er<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-07-20<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> On the Applicability of Electromagnetic Fault Injection for Software-Hardened Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Dominik Pulek<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-30<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Using Formal Specifications for the Generation of,Distributed Systems with LLMs<\/td>\n  <td class=\"colloquiumcal_speaker\">Simon Kirchh&#246;fer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-23<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Abstrakte Ausf&#252;hrung von Rust MIR<\/td>\n  <td class=\"colloquiumcal_speaker\">Conner Siebert<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-23<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b>: WasmBench<\/td>\n  <td class=\"colloquiumcal_speaker\">Pino K&#246;gler<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-16<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> WebASM-Ausf&#252;hrungsumgebung f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Johannes Czekay<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-09<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design and Implementation of MinBFT within Themis using Intel SGX<\/td>\n  <td class=\"colloquiumcal_speaker\">Andreas R&#252;ger<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-02<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> DIY: Do Initialisation Yourself<\/td>\n  <td class=\"colloquiumcal_speaker\">Philipp Potsch<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-02<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> JITTY-Heap<\/td>\n  <td class=\"colloquiumcal_speaker\">Henri Niemann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-06-02<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> JITTY-Hardware-Tests<\/td>\n  <td class=\"colloquiumcal_speaker\">Stefan Batzke<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-05-19<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Chained-Themis: Designing a Modular and Scalable BFT Framework through Protocol Chaining<\/td>\n  <td class=\"colloquiumcal_speaker\">Raphael Stellwag<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-05-19<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Implementierung adaptiver Quorensysteme in BFT-SMaRt zur Latenzoptimierung in WANs<\/td>\n  <td class=\"colloquiumcal_speaker\">Linus Gnan #BA<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-05-18<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Dynamic Whole-System Response-Time Analysis for Automotive Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Sunil Maddipati<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-05-12<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> SOLID - Secure Opportunistic Lazy IOMMU Invalidation for Linux<\/td>\n  <td class=\"colloquiumcal_speaker\">Ferdinand Schober<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-05-05<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> A Comparative Evaluation of Emerging eBPF-Sandboxing Approaches<\/td>\n  <td class=\"colloquiumcal_speaker\">Milan Stephan<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-04-28<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> WASM-WCET: Worst-Case Execution-Time Analysis of WebAssembly Modules on Updatable Resource-Constrained Embedded Devices<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/seidler\">Maximilian Seidler<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-04-28<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> SOLID -  Simple, Optimised, but Lazy IOMMU Invalidation for Linux<\/td>\n  <td class=\"colloquiumcal_speaker\">Ferdinand Schober<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-04-23<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Towards practical DAG-based BFT SMR<\/td>\n  <td class=\"colloquiumcal_speaker\">Paul Bergmann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-04-21<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Statische Optimierung des Durchschnittlichen Energieverbrauchs Eingebetteter Systeme<\/td>\n  <td class=\"colloquiumcal_speaker\">Arda K&#246;cer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-04-07<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> MA Chained-Themis: Designing a Modular and Scalable BFT Framework through Protocol Chaining<\/td>\n  <td class=\"colloquiumcal_speaker\">Raphael Stellwag<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-03-31<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design and implementation of an intermediate representation to,explore and improve compartmentalization of Rust programs<\/td>\n  <td class=\"colloquiumcal_speaker\">Simeon Zobel<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-03-23<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Verteidigung Christopher Eibel<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/www4.cs.fau.de\/~ceibel\">Christopher Eibel<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-24<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b>: Micro Replication of an Asynchronous BFT Protocol Using HoneyBadgerBFT as an Example<\/td>\n  <td class=\"colloquiumcal_speaker\">Theresa Schlicht<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-24<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design and Implementation of an Energy Aware Asynchronous Execution Runtime for Byzantine Fault-Tolerant State-Machine Replication<\/td>\n  <td class=\"colloquiumcal_speaker\">Jan Zachariae<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-24<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Space Hypervisor (radaway)<\/td>\n  <td class=\"colloquiumcal_speaker\">Fabian Wehrhahn<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-24<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b>: DIY (MemLock)<\/td>\n  <td class=\"colloquiumcal_speaker\">Philipp Potsch<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-17<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Erweiterung von WebAsm um Interrupts, Exceptions und System-Calls<\/td>\n  <td class=\"colloquiumcal_speaker\">Johannes Czekay<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-17<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Automated Synthesis and Integration of Assertions to Secure Compartment Boundaries<\/td>\n  <td class=\"colloquiumcal_speaker\">Jalal Uddin<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-10<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> MicroStuff: Ein mikrorepliziertes BFT-Protokoll mit niedrigem Einigungsaufwand<\/td>\n  <td class=\"colloquiumcal_speaker\">Kevin Kocev<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Towards Energy-Aware Byzantine Fault-Tolerant DAG-Based Consensus<\/td>\n  <td class=\"colloquiumcal_speaker\">Stefan Pfahler<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-02-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> ATLAS: Holding the Weight of Synchronization - A Transparent Lock Analysis and Substitution Mechanism for JIT Runtimes<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonas H&#252;bner<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-01-27<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b>: A Kernel-Based Implementation for Collecting Memory Access Statistics of Users Processes in FreeBSD using Page Modification Logging<\/td>\n  <td class=\"colloquiumcal_speaker\">Samuel Renn<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-01-27<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Evaluating and Enhancing Rust&#8217;s\nFault Tolerance For Use in Space<\/td>\n  <td class=\"colloquiumcal_speaker\">Kevin Kollenda<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2026-01-20<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Praxisnahe Ans&#228;tze f&#252;r Zustandsmaschinenreplikation in kleinskaligen Systemen<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/lawniczak\">Laura Lawniczak<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-12-16<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Implementing the Narwhal Mempool Protocol for a Rust-based BFT Framework<\/td>\n  <td class=\"colloquiumcal_speaker\">Ibrahim Yaylan<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-12-16<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b>: Interruptible Suspend-to-NVRAM recovery<\/td>\n  <td class=\"colloquiumcal_speaker\">Tizian Russo<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-12-09<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design und Implementierung eines Fuzzers f&#252;r einen Byzantinisch-fehlertoleranten Replikationsalgorithmus<\/td>\n  <td class=\"colloquiumcal_speaker\">Felix Urbanek<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-11-25<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> WatwaOS<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/haeberlein\">Tobias H&#228;berlein<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-11-19<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Reactor: Designing and Implementing a Reactor Framework in WebAssembly<\/td>\n  <td class=\"colloquiumcal_speaker\">Moritz Tietze<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-11-04<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> OS im Browser<\/td>\n  <td class=\"colloquiumcal_speaker\">Johannes Czekay<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-29<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> WasmEye<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/sys.cs.fau.de\/~vogel\">Arne Vogel<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-21<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design and Implementation of a Distributed Fault-Tolerant UAV Swarm System for Wildfire Management Support<\/td>\n  <td class=\"colloquiumcal_speaker\">Si-Hoon Kang<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-16<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> TinyBFTNV: Towards Utilization of Non-Volatile Memory in Highly Resource-Constrained Byzantine Fault-Tolerant State-Machine Replication<\/td>\n  <td class=\"colloquiumcal_speaker\">Christoph Neuner<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-14<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Interrupt-Handling im JITTY-OS<\/td>\n  <td class=\"colloquiumcal_speaker\">S&#246;nke Holz<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-07<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> RobustThemis<\/td>\n  <td class=\"colloquiumcal_speaker\">Raphael Stellwag<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-10-06<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Bachelorarbeit<\/td>\n  <td class=\"colloquiumcal_speaker\">S&#246;nke Holz<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-09-30<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Static Analysis of Reference Counted Objects for the C Programming Language<\/td>\n  <td class=\"colloquiumcal_speaker\">Ole Wiedemann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-09-23<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b>: Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/seidler\">Maximilian Seidler<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-09-16<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b>: PatchyBFT<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/sys.cs.fau.de\/~vogel\">Arne Vogel<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-09-02<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Vorhersagbare Ausf&#252;hrung im intermittierenden Betrieb ger&#228;tegebundener eingebetteter Systeme<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/raffeck\">Phillip Raffeck<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-08-19<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Energiebedarfsvorhersage f&#252;r autonome, lernende neuronale Netzwerke auf eingebetteten Systemen<\/td>\n  <td class=\"colloquiumcal_speaker\">Maximilian Linke<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-08-05<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b> High performance locking and scheduling on NUMA systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Rafael Chehab<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-30<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> TEE-Assisted Recovery and Upgrades for Long-Running BFT Services<\/td>\n  <td class=\"colloquiumcal_speaker\">Ines<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-22<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Entwicklung eines verteilten Drohnenschwarmsystems zur Einsatzunterst&#252;tzung bei der Waldbrandbek&#228;mpfung<\/td>\n  <td class=\"colloquiumcal_speaker\">Si-Hoon Kang<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-22<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> ptrace f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Sebastian Ru&#223;er<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-15<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b> InferONNX: Practical and Privacy-preserving Machine Learning Inference using Trusted Execution Environments<\/td>\n  <td class=\"colloquiumcal_speaker\">Konstantina Papafragkaki<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-15<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Worst-Case Execution-Time Analysis of WebAssembly Modules on Constrained Devices<\/td>\n  <td class=\"colloquiumcal_speaker\">Martin Michelis<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-15<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b> TEE-Based Distributed Ledgers and Their Resilience<\/td>\n  <td class=\"colloquiumcal_speaker\">Marc Leinweber<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-07-07<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Worst-Case Execution-Time Analysis of WebAssembly Modules on Constrained Devices<\/td>\n  <td class=\"colloquiumcal_speaker\">Martin Michelis<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-24<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> WasmBus<\/td>\n  <td class=\"colloquiumcal_speaker\">Valentin Olpp<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-24<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Implementierung des ADS-L Protokolls auf Basis des RFM98 in Rust<\/td>\n  <td class=\"colloquiumcal_speaker\">Stefan Pfahler<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-17<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> BFT Fuzzing<\/td>\n  <td class=\"colloquiumcal_speaker\">Stefan Bauer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-17<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Kernel-JVM<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/www.ps.tf.fau.de\/person\/rotsching\/\">Lukas Rotsching<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-03<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Markus Gerber<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Konzeption und Implementierung eines blockchainbasierten Flugdatenschreibers f&#252;r Drohnen<\/td>\n  <td class=\"colloquiumcal_speaker\">Rafeel Bhatti<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-06-03<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Kernel-JVM<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/www.ps.tf.fau.de\/person\/rotsching\/\">Lukas Rotsching<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-05-13<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> CHERI - Ein &#220;berblick<\/td>\n  <td class=\"colloquiumcal_speaker\">Christoph Pirzer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-05-13<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Kettenbasierte Mikroreplikation<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonathan Adshead<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-05-06<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> An Empirical Analysis of Cloud Carbon Models<\/td>\n  <td class=\"colloquiumcal_speaker\">Arya Mirsepasi<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-05-06<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Referenzz&#228;hler-Checking in JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Ole Wiedemann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-04-29<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> WasmEye<\/td>\n  <td class=\"colloquiumcal_speaker\">Timothee Gl&#246;rfeld<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-04-29<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Tiny-ML Inference in Safety-Critical Real-Time Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Oliver Kleist<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-04-25<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> An Empirical Analysis of Cloud Carbon Models<\/td>\n  <td class=\"colloquiumcal_speaker\">Arya Mirsepasi<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-04-22<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Energiebedarfsvorhersage f&#252;r autonome lernende neuronale Netzwerke auf eingebetteten Systemen<\/td>\n  <td class=\"colloquiumcal_speaker\">Maximilian Linke<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-04-11<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Referenzz&#228;hler-Checks f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Ole Wiedemann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-27<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Trustworthy Cloud Services Founded on Trusted Execution Environments (PhD pre-presentation)<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~messadi\">Ines Messadi<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-25<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> NVRAM-aware FreeBSD-Drivers<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonathan Krebs<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-25<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> MESy-BFT: A Memory-Efficient Synchronous Byzantine Fault Tolerant Library for Highly Resource-Constrained Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonas Rauch<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-11<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Serialisierung und Deserialisierung von,Funktionsparametern mit nur einer Traitsgrenze als, Typ in Rust<\/td>\n  <td class=\"colloquiumcal_speaker\">Dimitri Tayo Fongang Wembe<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-11<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Automated Energy-Model Generation for Energy- Constrained Real-Time Systems<\/td>\n  <td class=\"colloquiumcal_speaker\">Stefan Eschenbacher<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-03-04<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Optimized Architectures and Algorithms for Blockchain and IoT-based Applications<\/td>\n  <td class=\"colloquiumcal_speaker\">Khouloud HWERBI<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-02-04<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> St&#228;rkung der Sicherheit in Rust-Programmen durch semantische Analyse<\/td>\n  <td class=\"colloquiumcal_speaker\">Conner Siebert<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-28<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Splitting library function calls in Rust as if they were regular function calls<\/td>\n  <td class=\"colloquiumcal_speaker\">Benjamin Haag<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-28<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Comparison of bytecodes for constrained devices<\/td>\n  <td class=\"colloquiumcal_speaker\">Lennart Paepcke<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-21<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Locking in JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Jens Fischer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-16<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Locking in JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Jens Fischer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-14<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Automatic Benchmark Generation for Retargeting Real-Time Motion Control between Multi-Core Processors<\/td>\n  <td class=\"colloquiumcal_speaker\">Berfin &#220;st&#252;n<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2025-01-07<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Trustworthy Execution of 5G Components<\/td>\n  <td class=\"colloquiumcal_speaker\">Jana Eisoldt<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-12-10<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Holistic Approaches to Performance Optimization in Decentralized Systems: A Study of Hyperledger Fabric<\/td>\n  <td class=\"colloquiumcal_speaker\">Jeeta Chacko<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-12-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Carbon-Aware Systemd Timers<\/td>\n  <td class=\"colloquiumcal_speaker\">Michael Gebhard<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-11-19<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> Referenzz&#228;hler-Checks f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Ole Wiedemann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-11-13<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Systematic comparison of software fault mitigation techniques<\/td>\n  <td class=\"colloquiumcal_speaker\">Fiona Broemer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-11-12<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> watwa-os<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/haeberlein\">Tobias H&#228;berlein<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-11-12<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Dynamic Software Updates under Real-Time Linux<\/td>\n  <td class=\"colloquiumcal_speaker\">Martin Michelis<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-11-05<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> JVM im Linux Kernel<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/www.ps.tf.fau.de\/person\/rotsching\/\">Lukas Rotsching<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-31<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> HotInfra (Short Talk): Towards Static Analysis of Interrupt Blocking Times<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~preisner\">Thomas Preisner<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-31<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> HotInfra (Short Talk): Delayed Privilege Escalation for Fast System Calls<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/ott\">Maximilian Ott<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-29<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> HotInfra (Short Talk): Static Analysis of Interrupt Delays in Operating System Kernels<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~preisner\">Thomas Preisner<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-29<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> Balu Literatur<\/td>\n  <td class=\"colloquiumcal_speaker\">Arbi Akbulatov<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-22<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Compiler-Optimierungen<\/td>\n  <td class=\"colloquiumcal_speaker\">Christian Halder<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-17<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Compiler-Optimierungen<\/td>\n  <td class=\"colloquiumcal_speaker\">Christian Halder<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-15<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> FGBS<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/raffeck\">Phillip Raffeck<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-15<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> FGBS: Not Right Now!,Collaborative Overload Prevention for Replicated Services<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/lawniczak\">Laura Lawniczak<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-08<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> A Virtual Non-Volatile Heap for Embedded Systems in Rust<\/td>\n  <td class=\"colloquiumcal_speaker\">Markus Gerber<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-10-02<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b> Pre-Presentation<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/raffeck\">Phillip Raffeck<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-09-26<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> VulnWASM<\/td>\n  <td class=\"colloquiumcal_speaker\">Lasse Kr&#228;hmer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-09-12<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> NEON-Vortrag f&#252;r SPP<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~preisner\">Thomas Preisner<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-09-11<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Statusbericht:<\/b> Comparison of bytecodes for constrained devices<\/td>\n  <td class=\"colloquiumcal_speaker\">Lennart Paepcke<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-09-04<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b>: Empowering users in Online services<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/www.iijlab.net\/en\/members\/pierrelouis.html\">Pierre Louis Aublin<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-08-30<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> A Rust-based Alternative to BPF<\/td>\n  <td class=\"colloquiumcal_speaker\">Ben Kowol<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-08-28<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (LPC&#x27;24)<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/gerhorst\">Luis Gerhorst<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-08-21<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> GenerousHost<\/td>\n  <td class=\"colloquiumcal_speaker\">Steve Pegouen<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-08-20<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extentions<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/gerhorst\">Luis Gerhorst<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-08-07<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b>: IRQ-Locking Analyse<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonathan Krebs<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-18<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> IRQ-Locking Analyse<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonathan Krebs<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-17<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Statusbericht:<\/b> WatwaOS-Statusvortrag<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/haeberlein\">Tobias H&#228;berlein<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-17<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b>: WasmEye<\/td>\n  <td class=\"colloquiumcal_speaker\">Alexander Sztekely-Schenker<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-16<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Conception and Implementation of a Flight Recorder System for Autonomous Drones based on ArduPilot<\/td>\n  <td class=\"colloquiumcal_speaker\">Benedikt Nerb<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-16<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b>: Neue System-Calls f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Milan Stephan<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-10<\/td>\n  <td class=\"colloquiumcal_title\"><b>Statusbericht:<\/b>: Pre-Presentation PhD Laura<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/lawniczak\">Laura Lawniczak<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-10<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b>: Leander Jehl<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/www.uis.no\/nb\/profile\/leander-nikolaus-jehl\">Leander Jehl<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-10<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Neue System-Calls JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Milan Stephan<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-09<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> A code optimizing JIT compiler for LLVM, designed for bare metal operation<\/td>\n  <td class=\"colloquiumcal_speaker\">Christian Schabesberger<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-03<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b>: Enhancing Security in Trusted Execution Environments through Program Partitioning<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/yuhala.github.io\/\">Peterson Yuhala<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-07-03<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b>: PatchBFT<\/td>\n  <td class=\"colloquiumcal_speaker\">Sebastian Schwarzmann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-06-26<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Cr&#234;pe: Clock-Reconfiguration&#8211;Aware Preemption Control in Real-Time Systems with Devices<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~dengler\">Eva Dengler<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-06-25<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Baumbasierte Anomalieerkennung f&#252;r WebAssembly<\/td>\n  <td class=\"colloquiumcal_speaker\">Kevin Mai<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-06-13<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> A code optimizing JIT compiler for LLVM, designed for bare metal operation<\/td>\n  <td class=\"colloquiumcal_speaker\">Christian Schabesberger<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-06-12<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Implementing an Address Sanitizer Runtime for x86-64 Kernel Development<\/td>\n  <td class=\"colloquiumcal_speaker\">Julian Zboril<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-06-05<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> WoCA: Avoiding Intermittent Execution in Embedded,Systems by Worst-Case Analyses with Device States<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/person\/raffeck\">Phillip Raffeck<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-05-29<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Treiberinterface JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Max Schleifer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-05-15<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Treiberinfrastruktur JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Max Schleifer<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-05-08<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Design and Implementation of a Hardware-Agnostic Communication Layer for PBFT<\/td>\n  <td class=\"colloquiumcal_speaker\">Nils Jansen<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-04-17<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Power-Aware Scheduling of Intermittent Systems with Energy-Storage Considerations<\/td>\n  <td class=\"colloquiumcal_speaker\">Sven Posner<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-03-28<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Static Analysis of Operating-System Interrupt Latencies<\/td>\n  <td class=\"colloquiumcal_speaker\">Kevin Kollenda<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-03-15<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Statische Analyse von WebAssembly<\/td>\n  <td class=\"colloquiumcal_speaker\">Jannik Sch&#252;tz<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-22<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Software-based Memory Consistency Mechanisms for Non-Coherent Many-Core Systems<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"https:\/\/sys.cs.fau.de\/~langer\/\">Tobias Langer<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-22<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> RuStuBS: Ein Rustport von MPStuBS f&#252;r die Lehre<\/td>\n  <td class=\"colloquiumcal_speaker\">Paul Bergmann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-15<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> Tool-Supported Architecture Transformation of Neural-Network Applications under Real-Time Constraints<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/www.strahlenklinik.uk-erlangen.de\/\">Stefan Bauer<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-08<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> A Framework to Support Safety in Autonomous Systems and Achievements during my stay at FAU<\/td>\n  <td class=\"colloquiumcal_speaker\">Leonardo Passig Horstmann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-08<\/td>\n  <td class=\"colloquiumcal_title\"><b>Bericht:<\/b> On the Specification and Verification of Safety Properties in Data-driven Critical Systems: Achievements during my stay at FAU<\/td>\n  <td class=\"colloquiumcal_speaker\">Jos&#233; Luis Conradi Hoffmann<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-08<\/td>\n  <td class=\"colloquiumcal_title\"><b>Gastvortrag:<\/b> Einf&#252;hrung in Zenodo<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/www.ub.fau.de\/\">J&#252;rgen Rohrwild<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-02-01<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Extending the fauccc Compiler with Code Documentation Verification<\/td>\n  <td class=\"colloquiumcal_speaker\">Sebastian Ru&#223;er<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-01-25<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Treiberunterst&#252;tzung f&#252;r X11 in JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonas Pfister<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-01-18<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> X11-Support f&#252;r JITTY<\/td>\n  <td class=\"colloquiumcal_speaker\">Jonas Pfister<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2024-01-11<\/td>\n  <td class=\"colloquiumcal_title\"><b>Vortrag Masterprojekt:<\/b> mkip: A DHCP-Client in Rust<\/td>\n  <td class=\"colloquiumcal_speaker\">Lorena Kretzschmar<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2023-12-07<\/td>\n  <td class=\"colloquiumcal_title\"><b>Probevortrag:<\/b> Probevortrag<\/td>\n  <td class=\"colloquiumcal_speaker\"><a href=\"http:\/\/sys.cs.fau.de\/~eischer\">Michael Eischer<\/a><\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2023-12-07<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Masterarbeit\">MA<\/a>-Vortrag:<\/b> (Zwischenpr&#228;sentation) Improving Static Call Graph Analysis for WebAssembly<\/td>\n  <td class=\"colloquiumcal_speaker\">Jannik Sch&#252;tz<\/td>\n<\/tr>\n<tr class=\"colloquiumcal_entry\">\n  <td class=\"colloquiumcal_date\">2023-11-30<\/td>\n  <td class=\"colloquiumcal_title\"><b><a href=\"http:\/\/de.wikipedia.org\/wiki\/Bachelorarbeit\">BA<\/a>-Vortrag:<\/b> Sicherer, isolierter und direkter Zugriff auf PCI-Ger&#228;te aus dem User-Space mittels Memory-Mapping und Interrupt-Weiterleitung in JITTY OS<\/td>\n  <td class=\"colloquiumcal_speaker\">Philipp Br&#252;gmann<\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"System Software Colloquium The colloquium usually takes place weekly and offers insights into the latest research findings and final-year projects from our chairs&#8217;s four research areas: operating systems, confidential computing, distributed systems und embedded system software. The upcoming talks are listed in the overview below. Members Talks Date Title Speaker","protected":false},"author":4,"featured_media":0,"parent":2103,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_rrze_multilang_single_locale":"en_US","_rrze_multilang_single_source":"https:\/\/sys.cs.fau.de\/?page_id=3211","_faue_teaser_image_id":0,"footnotes":""},"page_category":[],"class_list":["post-3232","page","type-page","status-publish","hentry","en-US"],"faue_teaser_image_url":"","_links":{"self":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/3232","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/comments?post=3232"}],"version-history":[{"count":15,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/3232\/revisions"}],"predecessor-version":[{"id":10724,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/3232\/revisions\/10724"}],"up":[{"embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/pages\/2103"}],"wp:attachment":[{"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/media?parent=3232"}],"wp:term":[{"taxonomy":"page_category","embeddable":true,"href":"https:\/\/sys.cs.fau.de\/wp-json\/wp\/v2\/page_category?post=3232"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}