C

This is the description of a fully working runtime verification system for ARM CoreSight traces running on a CPU/FPGA hybrid system.

SimFS is a file system interface developed at the Scalable Parallel Computing Laboratory (SPCL), ETH Zürich that allows balancing of storage and computing resources for large scientific simulations generating petabytes of data. I contributed to this project during my BSc thesis in Computer Science.

Barrelfish OS variant implementation for Pandaboard ES. A group project in Advanced Operating Systems (Prof. Roscoe, Systems Group, ETH Zürich).

A toolbox for (micro)benchmarking of C programs on x86_64. Additionally tested for Barrelfish on ARM.

Short description of various projects that do not have a separate page yet: middleware, wired and wireless networking, SQL and non-SQL databases, compiler, static analyzer, etc. I learned many things while applying theory in practice.