This is the artifact of "KIT: Testing OS-level Virtualization for Functional Interference Bugs" in ASPLOS'23.
☆11Oct 20, 2022Updated 4 years ago
Alternatives and similar repositories for kit-artifact
Users that are interested in kit-artifact 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 isolation tester.☆18Oct 20, 2022Updated 4 years ago
- Lifting network implementation to precise format specification☆23Apr 21, 2025Updated last year
- kGymSuite: Evaluating Linux Patches at Scale ⚡☆18May 8, 2026Updated 5 months ago
- For our ISSTA22 paper "DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions" by Danning Xie, Yitong Li, Mijung Ki…☆40Jul 19, 2022Updated 4 years ago
- A Static Differential Analysis Tool of Network Protocol Parsers☆30Feb 21, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Linux network namespace sysctl safety verifier.☆12Jun 20, 2021Updated 5 years ago
- ☆42Nov 13, 2025Updated 11 months ago
- On-demand-fork☆33Mar 28, 2023Updated 3 years ago
- A high-performance, parallel, compilation-based symbolic execution engine☆151Oct 12, 2026Updated 3 weeks ago
- SKI virtual machine for testing concurrency bugs☆14Nov 25, 2015Updated 10 years ago
- Hodor-PKU☆27Sep 14, 2021Updated 5 years ago
- ☆51Sep 4, 2026Updated 2 months ago
- Face generation from a given extremely low resolution images using DC_GAN.☆11May 15, 2017Updated 9 years ago
- The first GANs-based omics-to-omics translation framework☆15Sep 5, 2023Updated 3 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.
- Repo for arxiv paper "A Systematic Study of Code Obfuscation Against LLM-based Vulnerability Detection".☆15Dec 18, 2025Updated 10 months ago
- Cloud Native Security News☆68Dec 27, 2024Updated last year
- graduation thesis latex template for sustcer☆13Apr 6, 2015Updated 11 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
- The source code of project "LLift" (Enhancing static analysis with LLM)☆87Mar 5, 2024Updated 2 years ago
- ☆22Jul 16, 2022Updated 4 years ago
- Machine Learning & Security Seminar @Purdue University☆26May 9, 2023Updated 3 years ago
- 微聚，专业的数据标注，采集平台☆13Jun 19, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆18Jun 15, 2021Updated 5 years ago
- ☆13Apr 26, 2023Updated 3 years ago
- Official repository for CVPR'23 paper: Detecting Backdoors in Pre-trained Encoders☆39Sep 25, 2023Updated 3 years ago
- Algorithms for Mining Frequent Trees (in Tree Structured Datasets)☆10Mar 28, 2020Updated 6 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
- kMVX: Detecting Kernel Information Leaks with Multi-variant Execution☆23Aug 30, 2019Updated 7 years ago
- ☆15Sep 25, 2023Updated 3 years ago
- ☆42Sep 18, 2020Updated 6 years ago
- Turning Linux into a High-Performance Library OS with Flux (SOSP 2026)☆11Sep 21, 2026Updated last month
- 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.
- A GPT-Based Fuzz Driver Generator☆48Nov 19, 2023Updated 2 years ago
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆17May 31, 2022Updated 4 years ago
- This repository is used to analysis the shared resources of different containers☆30Oct 22, 2024Updated 2 years ago
- The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24☆11Nov 11, 2024Updated last year
- Easy way to run a LLVM instrumented kernel in qemu with gdb☆25Apr 19, 2024Updated 2 years ago
- KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale☆17Nov 8, 2025Updated 11 months ago
- ☆22Jun 7, 2025Updated last year