Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

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

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

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

configuration evolution dataset

Configuration dependency analysis for cloud software

Khaos provides a tracing and debugging tool for developing Kubernetes operators. It is an admission webhook that can be configured to work with specific kinds of resources, and is installed without…

A boilerplate-free library for loading configuration files

Function graph tracer for C/C++/Rust/Python