Alternatives and similar repositories for concurrency-fuzz-scheduler

Users that are interested in concurrency-fuzz-scheduler are comparing it to the libraries listed below

• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆203Updated 3 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• generic-ebpf / generic-ebpf
  Generic eBPF runtime
  ☆150Updated 4 years ago
• google / ghost-userspace
  ☆236Updated last year
• facebookexperimental / kperf
  TCP and TLS performance testing tool.
  ☆45Updated this week
• intel / processwatch
  ☆146Updated 5 months ago
• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆64Updated 2 years ago
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆135Updated last week
• josefbacik / systing
  A libbpf based tracer to help figure out what an application is doing.
  ☆85Updated this week
• vbpf / prevail
  eBPF verifier based on abstract interpretation
  ☆431Updated last week
• vigor-nf / vigor
  Main repository of the Vigor NF verification project.
  ☆48Updated 4 years ago
• bpfverif / agni
  ☆45Updated 3 weeks ago
• mmisono / bpftrace-tetris
  Tetris in bpftrace
  ☆107Updated 4 years ago
• google / ghost-kernel
  ☆228Updated last year
• oracle-samples / drgn-tools
  drgn helpers specific to Oracle UEK, along with custom CLI and reporting tool corelens
  ☆32Updated this week
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• UWASL / NEAT
  A testing framework for distributed systems that can inject different types of network-partitioning faults
  ☆16Updated 3 years ago
• rlane / ubpf
  Userspace eBPF VM (main repo is https://github.com/iovisor/ubpf)
  ☆99Updated 3 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• perfwiki / main
  perf: Linux profiling with performance counters
  ☆85Updated 2 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆160Updated last week
• willfindlay / pybpf
  An opinionated BPF CO-RE library for Python3. Targets easy deployment on embedded systems with minimal dependency overhead.
  ☆17Updated 5 years ago
• goksyli / libDune
  ☆12Updated 8 years ago
• awslabs / damo
  DAMON user-space tool
  ☆163Updated last year
• qais-yousef / sched-analyzer
  BPF CO-RE based sched-analyzer
  ☆38Updated 9 months ago
• damonitor / damo
  DAMON user-space tool
  ☆58Updated this week
• rzezeski / libMicro
  ☆11Updated 5 years ago
• microsoft / bpf_performance
  A set of platform-agnostic tools to measure the performance of various BPF helper functions.
  ☆28Updated last week
• PlatformLab / HomaModule
  A Linux kernel module that implements the Homa transport protocol.
  ☆268Updated 3 weeks ago
• antonblanchard / will-it-scale
  ☆80Updated last year