Explore projects

Sammlung von Fragen zu SP2 mit Kommentaren.

Quelltext und Daten vom Selbst-Prüfungs-Quiz für: SP2, SP1

Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)

Migration-Based Synchronization (MBS, https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf) evaluation and build scripts for the Zephyr RTOS running on a Raspberry Pi 3b+.

Port of Synchrobench to the Zephyr RTOS. Can be used to evaluate https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf

EMPER I/O Latency Evaluation Artifact

An utility to intentionally triggering the failure of libc function calls. Manpage.

neo ist ein einfacher und moderner Ersatz für das (optisch) bereits in die Jahre gekommene i4 Latex-Beamertheme.

Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).

A really lightweight, optimistic & naive parser for the Executable and Linking Format, supporting common GNU extensions.

Binary Explorer & Analyzer

A linker/loader daemon experiment for academic purposes with hackability (not performance!) in mind

My lecture notes for the TV-A lecture which is about relativistic quantum mechanics, leading to QFT.

Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)