Skip to content

@cksystemsgroup Computational Systems Group

Change the repository type filter

All

    Repositories list

    31 repositories

    • unicorn

      Public
      Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers
      ising-spin-modelsquantum-annealingquantum-circuitsadiabatic-quantum-computingrustquantum-computing
      Rust
      •
      MIT License
      •9•32•4•6•Updated Nov 15, 2024Nov 15, 2024

    • cpcc

      Public
      Cyber Physical Cloud Computing
      Java
      •
      GNU General Public License v3.0
      •2•0•0•1•Updated Nov 10, 2024Nov 10, 2024

    • monster

      Public
      Monster is a symbolic execution engine for 64-bit RISC-U code
      monstersymbolic-execution-engine
      Rust
      •
      MIT License
      •3•10•5•4•Updated Nov 8, 2024Nov 8, 2024

    • JNavigator

      Public
      JNavigator - An Autonomous Navigation System for the JAviator Quadrotor Helicopter
      Java
      •4•1•1•0•Updated Nov 5, 2024Nov 5, 2024

    • cpcc-simulator

      Public
      Cyber-Physical Cloud Computing Simulator
      Java
      •0•0•1•0•Updated Nov 5, 2024Nov 5, 2024

    • rotorized

      Public
      C
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•0•Updated Jun 30, 2024Jun 30, 2024

    • riscu

      Public
      Simple library for loading/decoding an ELF64 RISC-U file
      Rust
      •
      MIT License
      •15•0•0•0•Updated Jun 17, 2024Jun 17, 2024

    • scal-data

      Public
      1•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • ACDC

      Public
      A multi-threaded mutator for profiling and benchmarking heap management systems
      C
      •
      Other
      •2•6•0•1•Updated Dec 15, 2023Dec 15, 2023

    • libscm

      Public
      Self-collecting mutators for the C programming language
      C
      •
      Other
      •2•2•0•1•Updated Dec 15, 2023Dec 15, 2023

    • tap

      Public
      Threading by Appointment Project
      0•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • planetary-globe

      Public
      Python
      •
      BSD 2-Clause "Simplified" License
      •0•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • jarol

      Public
      Java Control Infrastructure Project
      0•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • JAviator

      Public
      JAviator Project sources
      C
      •
      Other
      •4•5•0•2•Updated Dec 15, 2023Dec 15, 2023

    • monster-perf

      Public
      Performance dashboard for the Monster symbolic execution engine
      HTML
      •0•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • EMSOFT07

      Public
      International Conference on Embedded Software 2007
      HTML
      •0•0•0•1•Updated Dec 15, 2023Dec 15, 2023

    • BigActors

      Public
      JavaScript
      •
      GNU General Public License v3.0
      •1•3•0•1•Updated Dec 15, 2023Dec 15, 2023

    • beator-visualizer

      Public
      TypeScript
      •0•1•0•1•Updated Dec 15, 2023Dec 15, 2023

    • github-actions-runner

      Public
      The Runner for GitHub Actions 🚀
      C#
      •
      MIT License
      •964•0•0•0•Updated Apr 3, 2023Apr 3, 2023

    • scalloc

      Public
      A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator
      C++
      •
      BSD 2-Clause "Simplified" License
      •6•157•1•0•Updated Nov 28, 2022Nov 28, 2022

    • cstar-benchmarks

      Public
      C* benchmark programs.
      C
      •
      MIT License
      •1•0•0•0•Updated Jul 29, 2021Jul 29, 2021

    • scal

      Public
      High-performance multicore-scalable data structures and benchmarks
      C++
      •
      Other
      •28•138•1•0•Updated Jul 8, 2019Jul 8, 2019

    • scalloc-artifact

      Public
      Evaluation of scalloc available at https://github.com/cksystemsgroup/scalloc
      C++
      •
      BSD 2-Clause "Simplified" License
      •2•8•0•0•Updated Mar 20, 2018Mar 20, 2018

    • jobbot

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 30, 2017Oct 30, 2017

    • AnnualDepartmentReport

      Public
      Annual Report of the Computational Systems Group at the Department of Computer Sciences of the University of Salzburg, Austria
      TeX
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Apr 6, 2017Apr 6, 2017

    • tiptoe

      Public
      Real-Time Operating System Project
      0•0•0•0•Updated Sep 23, 2015Sep 23, 2015

    • htl

      Public
      Hierarchical Timing Language
      HTML
      •0•1•0•0•Updated Sep 23, 2015Sep 23, 2015

    • EuroSys11

      Public
      European Systems Conference 2011
      HTML
      •0•0•0•0•Updated Sep 23, 2015Sep 23, 2015

    • zeta

      Public
      C++
      •
      Other
      •0•0•0•0•Updated Jul 19, 2013Jul 19, 2013

    • cachecontrol

      Public
      Linux kernel module to disable and enable CPU caches
      C
      •0•2•0•0•Updated Mar 15, 2013Mar 15, 2013