A simple crater-inspired tool for Verus

Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.

Can AI agents resolve production incidents?

A wrapper script to build whole-program LLVM bitcode files

System Intelligence Benchmark

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

Specula: A framework for finding deep bugs in system code using TLA+

Xkernel: towards super-tunable OS kernels via in-situ experimentation

EMT: An OS Framework for New Memory Translation Architectures

A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.

An open source benchmarking framework for IT automation

This is the respository that holds the artifacts of ASPLOS'25 -- M5: Mastering Page Migration and Memory Management for CXL-based Tiered Memory Systems

Anvil is an experimental framework to build practical, formally verified, cluster management controllers.

Huawei Cloud datasets

Aspect Oriented Programming For Golang

Push-Button End-to-End Testing of Kubernetes Operators and Controllers

Slooo: A Fail-slow Fault Injection Testing Framework

User documentation for Knative components.

Trinity is an Android emulator designed to simultaneously meet the goals of good compatibility, security and efficiency with the novel notion of graphics projection space.

A Linux like operating system under x86-32 instruction set

Illinois Dataset of Configuration Tests

Automatic Reliability Testing for Kubernetes Controllers and Operators

Test-Case Prioritization for Configuration Testing