KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale
☆17Nov 8, 2025Updated 11 months ago
Alternatives and similar repositories for kGym-Kernel-Gym
Users that are interested in kGym-Kernel-Gym are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- kGymSuite: Evaluating Linux Patches at Scale ⚡☆18May 8, 2026Updated 5 months ago
- Controllable Radiance Fields for Dynamic Face Synthesis, 3DV 2022.☆20Nov 10, 2022Updated 3 years ago
- Linux network namespace sysctl safety verifier.☆12Jun 20, 2021Updated 5 years ago
- Deterministic record and replay and tracing of syzkaller bug reproducers☆20Aug 22, 2026Updated 2 months ago
- This is the artifact of "KIT: Testing OS-level Virtualization for Functional Interference Bugs" in ASPLOS'23.☆11Oct 20, 2022Updated 4 years ago
- 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.
- ☆20Jan 4, 2023Updated 3 years ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆74Feb 19, 2026Updated 8 months ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 3 years ago
- Java* Fuzzer for JVM☆11Nov 3, 2021Updated 5 years ago
- Weakness-Oriented Assertion Recommendation For Golang (source code for submission in ISSRE'19)☆23Jan 7, 2020Updated 6 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Jul 28, 2023Updated 3 years ago
- Benchmark workloads of Boki☆11Sep 8, 2021Updated 5 years ago
- ☆12Mar 24, 2023Updated 3 years ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- 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.
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 3 years ago
- Agent fixing SWE bench issues☆18Aug 24, 2026Updated 2 months ago
- ☆19Oct 15, 2026Updated 3 weeks ago
- Wasabi is a toolkit designed to isolate and trigger retry bugs by combining static program analysis, large language models (LLMs), fault …☆10Oct 8, 2024Updated 2 years ago
- Collect simple coverage information in memory.☆11Oct 6, 2022Updated 4 years ago
- ☆25Jun 2, 2026Updated 5 months ago
- 南昌大学校园网自动登录小工具（不懂事做着玩儿的别骂了）☆17May 18, 2022Updated 4 years ago
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 3 years ago
- 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 6 months 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.
- Code and results accompanying our paper titled Leveraging Unlabeled Data to Predict Out-of-Distribution Performance at ICLR 2022☆10Dec 8, 2022Updated 3 years ago
- ☆13May 19, 2024Updated 2 years ago
- Code for Tangent Model Composition for Ensembling and Continual Fine-tuning (ICCV 2023) and Tangent Transformers for Composition, Privacy…☆14May 14, 2024Updated 2 years ago
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 7 years ago
- Fast and Precise On-the-fly Patch Validation for All☆10Feb 24, 2023Updated 3 years ago
- ☆11May 29, 2023Updated 3 years ago
- TopoTrans: Optimal Transport meets Topological Data Analysis☆14Apr 20, 2023Updated 3 years ago
- ☆82Sep 7, 2023Updated 3 years ago
- Agentic predicate synthesis for directed fuzzing☆14Oct 10, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Kernel isolation tester.☆18Oct 20, 2022Updated 4 years ago
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆25Apr 19, 2024Updated 2 years ago
- ☆22Jun 7, 2025Updated last year
- This repository contains information related to the Root Cause Mapping Working Group and its activities. CVE Numbering Authority (CNA) re…☆17Jan 29, 2025Updated last year
- Liberating Libraries through Automated Fuzz Driver Generation: Striking a Balance Without Consumer Code☆23Jun 9, 2026Updated 4 months ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆183Aug 25, 2025Updated last year
- Arctic Core v.21.0.0 - The open source AUTOSAR☆17Jun 21, 2025Updated last year