Explore projects

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

Extensible Massive-Parallelism Execution Realm

Extensible Massive-Parallelism Execution Realm

Reproducability Task for SuCoPra

The @StuveFAU instance of https://github.com/fsinfuhh/Bitpoll/ and our local modifications/patches

Studentische Mitschrift zur Vorlesung Mathematik für Ingenieure C4 im Sommersemester 2020.

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

Emacs Pakete für SP Tutoren