Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf
☆37Jan 15, 2026Updated 6 months ago
Alternatives and similar repositories for concurrency-fuzz-scheduler
Users that are interested in concurrency-fuzz-scheduler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- OpenDST - Deterministic Simulation Testing for Java☆21Jul 16, 2026Updated last week
- [NDSS'24] MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆24Dec 21, 2024Updated last year
- ☆13Apr 10, 2025Updated last year
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Mechanized Theory of Event Structures☆16Aug 16, 2023Updated 2 years ago
- ☆19Apr 22, 2026Updated 3 months ago
- ☆24Jul 4, 2025Updated last year
- A collaborative bibliography of papers related to property-based testing☆27Updated this week
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated last month
- to schedule jobs per node in kubernetes cluster☆11Jul 10, 2026Updated 2 weeks ago
- Messing around with XDP and eBPF☆20Oct 7, 2021Updated 4 years ago
- Hackers' mails management tool☆65Jul 19, 2026Updated last week
- Linux kernel images for router7☆13Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated 2 years ago
- A collection of ideas for new kernel features☆67May 12, 2026Updated 2 months ago
- Litmus testing tool for Kotlin/Native☆70Apr 22, 2025Updated last year
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 8 months ago
- [ISSTA 2025] Unlocking Low Frequency Syscalls in Kernel Fuzzing with Dependency-Based RAG☆63Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆110Updated this week
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆32Updated this week
- Package networkd enables control of systemd-networkd using D-Bus. MIT Licensed.☆16Aug 12, 2023Updated 2 years ago
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆31Feb 5, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆18May 20, 2025Updated last year
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆41Sep 4, 2013Updated 12 years ago
- Typecast is an experimental python library for defining casts between classes.☆13Oct 14, 2016Updated 9 years ago
- Solver for Constrained Horn Clauses☆51Updated this week
- Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO☆16Jul 29, 2017Updated 9 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆142Updated this week
- Yet another awesome fuzzers list☆15Oct 25, 2024Updated last year
- Examples for cgroup socket ingress/egress BPF filters with systemd☆14Jul 24, 2020Updated 6 years ago
- A deterministic, fuzzable pthread implementation☆48May 7, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Rust support for qcow2 virtual disk images.☆13Mar 26, 2024Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- XDP Virtual Server - an eBPF load balancer implementation and supporting Go library☆25Jun 1, 2026Updated last month
- Demo Repository for eBPF XDP Unit Test☆12Oct 24, 2024Updated last year
- Formal Verification for JavaScript Regular Expressions☆15Jul 8, 2026Updated 3 weeks ago
- The DaCapo benchmark suite☆192Apr 28, 2026Updated 3 months ago
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆39Jun 19, 2026Updated last month