Explore projects

Extensible Massive-Parallelism Execution Realm

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

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

Extensible Massive-Parallelism Execution Realm

dOSEK for PATMOS

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

AnyCall (bpftask) evaluation scripts and build environment.

2019 SS: Neuimplementierung der i4-Kaffeekasse

Code for the PedalPi Module, so working with the raspberry pi zero is easier

Clone of https://cal8.cs.fau.de/redmine/projects/cool

For my own testing