C on Pirmin Schmid :: Homepage

Runtime Verification with TeSSLa on a CPU/FPGA hybrid system

Thu, 27 Aug 2020 00:00:00 +0000

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

SimFS

Sat, 02 Feb 2019 00:00:00 +0000

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 OlympOS

Mon, 11 Jun 2018 00:00:00 +0000

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

benchmarkC

Wed, 22 Nov 2017 00:00:00 +0000

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

Various student projects

Thu, 31 Aug 2017 00:00:00 +0000

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.