Explore projects

Master Thesis Userspace code (example/testcases/benchmarks)

Distributed Shared Memory for the Intel Xeon Phi using the SCIF API. Part of my bachelor thesis.

The cHash CLang Plugin

Lcamtuf's p0f3, hastily turned into a dynamic library.

dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"

Fork of the dOSEK source code for verification

Umgeflashtes AccuCheck Gerät (OLED+Atmel)

A solar powered wireless weather station based on a JeeNode

Code Metrics for Benchmarking Timing Analysis

TACLeBench's clang repository

DEPRECATED. Use aorta/WCA/platin