Explore projects

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

Implementations of Expression Templates evaluating on GPGPUs using Cuda, SYCL and OpenCL.

Historische i4Beamervorlage aus dem 18. Jahrhundert (oder so)

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

Wireless tempdevice 2016

The GenE Benchmark Generator (LLVM tool)

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

Inoffizielle Formelsammlung fuer das Modul Rechnerkommunikation