Explore projects

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

Extensible Massive-Parallelism Execution Realm

Extensible Massive-Parallelism Execution Realm

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

Template repository for the Methods of Advanced Data Engineering course at FAU

EMPER I/O Latency Evaluation Artifact

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

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

Binary Explorer & Analyzer

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