Explore projects
-
Mitigating Spectre-PHT using Speculation Barriers in Linux eBPF (https://sys.cs.fau.de/verifence)
Updated -
Updated
-
Updated
-
-
-
Extensible Massive-Parallelism Execution Realm
Updated -
-
Updated
-
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+.
Updated -
Port of Synchrobench to the Zephyr RTOS. Can be used to evaluate https://www4.cs.fau.de/Publications/2021/reif_21_sbesc.pdf
Updated -
Template repository for the Methods of Advanced Data Engineering course at FAU
Updated -
EMPER I/O Latency Evaluation Artifact
Updated -
An utility to intentionally triggering the failure of libc function calls. Manpage.
Updated -
Set of tools including the most important syscall wrappers, library functions and containers for creating a static standalone application (without libc / libstdc++ dependencies).
Updated -