kGymSuite: Evaluating Linux Patches at Scale ⚡
☆18May 8, 2026Updated 5 months ago
Alternatives and similar repositories for kGymSuite
Users that are interested in kGymSuite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kernel Playground - A playground to run large scale experiments on the Linux Kernel☆24Nov 8, 2025Updated 11 months ago
- KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale☆17Nov 8, 2025Updated 11 months ago
- Armchr is a set of tools for AI coding agents.☆24Feb 19, 2026Updated 8 months ago
- Linux network namespace sysctl safety verifier.☆12Jun 20, 2021Updated 5 years ago
- SKI virtual machine for testing concurrency bugs☆14Nov 25, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Sishuai Gong, Rui Wang, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowplow: Effective Kernel Fuzzing with a Learned White-box Te…☆17May 3, 2026Updated 5 months ago
- RTFM! Automatic Assumption Discovery and VerificationDerivation from Library Document for API Misuse Detection☆19Oct 5, 2021Updated 5 years ago
- ☆32Apr 2, 2024Updated 2 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- ☆25Mar 18, 2026Updated 7 months ago
- Exploring context retrieval strategies for code editing☆13Sep 23, 2024Updated 2 years ago
- Data race skeletons from Uber's Go codebase for research in concurrency bug detection and analysis.☆11May 27, 2025Updated last year
- Create and simulate finite state machines in your browser. Includes interactive exercises.☆11Nov 4, 2017Updated 8 years ago
- Controllable Radiance Fields for Dynamic Face Synthesis, 3DV 2022.☆20Nov 10, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mimesys: Generating Realistic Executable Testing Environments from Resource Usage Traces (OSDI 26)☆16Sep 1, 2026Updated last month
- Deterministic record and replay and tracing of syzkaller bug reproducers☆20Aug 22, 2026Updated 2 months ago
- Kalorona's codebase of OI.☆12Dec 29, 2023Updated 2 years ago
- This repository contains the artifact for the SOSP'21 paper: Sishuai Gong, Deniz Altınbüken, Pedro Fonseca, Petros Maniatis, "Snowboard:…☆29May 28, 2025Updated last year
- ☆10Sep 19, 2023Updated 3 years ago
- "Porting Syzkaller to ReactOS" GSoC 2020 Project by @freakston☆14Aug 4, 2020Updated 6 years ago
- ☆15Jun 10, 2025Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated 2 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13May 27, 2019Updated 7 years ago
- Papers on concurrency vulnerability analysis, including multithreaded programs, multi-tasking programs and interrupt driven programs.☆14Nov 11, 2022Updated 3 years ago
- Artifact evaluation repo for EuroSys'24.☆30Nov 7, 2023Updated 2 years ago
- Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware☆13Mar 6, 2024Updated 2 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- Pipeline for automatic test generation assessment☆11Mar 10, 2025Updated last year
- Automate generation of syzkaller's grammar☆16Nov 1, 2022Updated 3 years ago
- 数理逻辑课程大作业（西安电子科技大学拔尖班大三年级）☆14Jan 31, 2026Updated 8 months ago
- A benchmark framework for monolithic firmware fuzzers.☆13Sep 21, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- IEEE S&P 2023 - DEVFUZZ: Automatic Device Model-Guided Device Driver Fuzzing☆15Dec 16, 2024Updated last year
- 南昌大学校园网自动登录小工具（不懂事做着玩儿的别骂了）☆17May 18, 2022Updated 4 years ago
- ☆24Jun 2, 2026Updated 4 months ago
- Plugin of x64dbg to help you analyze object-oriented applications☆24Aug 26, 2020Updated 6 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 7 years ago
- ☆15Sep 25, 2023Updated 3 years ago
- Examples for NASAC 2019 interrupt race detection competition☆10Dec 4, 2019Updated 6 years ago