Explore projects

dOSEK for PATMOS

Annoy people with captive portals!

AnyCall (bpftask) evaluation scripts and build environment.

find a path along a road marked by two types of cones, one type on the left edge of the road, one on the right

python demonstrator for an evolutionary algorithm

A python "interpreter" for random access machine instructions. Useful for the lecture "Berechenbarkeit und formale Sprachen" at the Chair for Hardware-Software-Co-Design.

Binary Explorer & Analyzer

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

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

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