Concurrent decision diagram framework written in Rust

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

Christoph Kirsch's Classes

Christoph Kirsch's Publications

Christoph Kirsch's Talks

A software implementation of a RISC-V computer

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

This is a test spec driven guide to help you build a simple regex implementation

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator

A multi-threaded mutator for profiling and benchmarking heap management systems

High-performance multicore-scalable data structures and benchmarks

This is the homepage of the Computer Science for All courses by Professor Christoph Kirsch at the University of Salzburg, Austria.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.