cksystemsgroup Goto Github PK

acdc

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

annualdepartmentreport

Annual Report of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg, Austria

beator-visualizer

bigactors

cachecontrol

Linux kernel module to disable and enable CPU caches

compact-fit

Compact-Fit

cpcc

Cyber Physical Cloud Computing

cpcc-simulator

Cyber-Physical Cloud Computing Simulator

cstar-benchmarks

C* benchmark programs.

emsoft07

International Conference on Embedded Software 2007

eurosys11

European Systems Conference 2011

github-actions-runner

The Runner for GitHub Actions :rocket:

htl

Hierarchical Timing Language

jarol

Java Control Infrastructure Project

javiator

JAviator Project sources

jnavigator

JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter

jobbot

libscm

Self-collecting mutators for the C programming language

monster

Monster is a symbolic execution engine for 64-bit RISC-U code

monster-perf

Performance dashboard for the Monster symbolic execution engine

planetary-globe

riscu

Simple library for loading/decoding an ELF64 RISC-U file

rotorized

scal

High-performance multicore-scalable data structures and benchmarks

scal-data

scalloc

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

scalloc-artifact

Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc

tap

Threading by Appointment Project

tiptoe

Real-Time Operating System Project

unicorn

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