Pinned Repositories
acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
cdep-fse-ae
Configuration dependency analysis for cloud software
ctest-prio-ae
Test-Case Prioritization for Configuration Testing
IDoCT
Illinois Dataset of Configuration Tests
open-cevo
configuration evolution dataset
openctest
Testing Configuration Changes in Context to Prevent Production Failures
rainmaker
seccomp-ebpf-upstream
sieve
Automated, Distributed Systems Testing for Kubernetes Controllers
slooo
Slooo: A Fail-slow Fault Injection Testing Framework
xlab-uiuc's Repositories
xlab-uiuc/acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
xlab-uiuc/openctest
Testing Configuration Changes in Context to Prevent Production Failures
xlab-uiuc/rainmaker
xlab-uiuc/kube-523
xlab-uiuc/dmt
Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]
xlab-uiuc/ctest4j
A configuration testing framework for Java
xlab-uiuc/linux-mcdc
Measure Linux kernel's modified condition/decision coverage (MC/DC)
xlab-uiuc/papers_we_love
xlab-uiuc/LEBench
xlab-uiuc/qemu_ECPT
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
xlab-uiuc/sieve
Automated, Distributed Systems Testing for Kubernetes Controllers
xlab-uiuc/anvil-ae-cloudlab
xlab-uiuc/anvil-ae-data
xlab-uiuc/cassandra
Mirror of Apache Cassandra
xlab-uiuc/craft
C implementation of the Raft consensus protocol
xlab-uiuc/DeathStarBench
Open-source benchmark suite for cloud microservices
xlab-uiuc/dynamorio
Dynamic Instrumentation Tool Platform
xlab-uiuc/graphBIG
A Comprehensive Benchmark Suite for Graph Computing
xlab-uiuc/gups
gups mirror
xlab-uiuc/hugegpt-linux
HugeGPT Linux Kernel Implementation
xlab-uiuc/lcov
LCOV
xlab-uiuc/llvm-mcdc
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
xlab-uiuc/llvm-rust
Rust-specific fork of LLVM.
xlab-uiuc/ltp
Linux Test Project http://linux-test-project.github.io/
xlab-uiuc/memc3
MemC3
xlab-uiuc/memcached_benchmark
xlab-uiuc/memtis
Tiered memory management
xlab-uiuc/rust
Empowering everyone to build reliable and efficient software.
xlab-uiuc/sysbench
Scriptable database and system performance benchmark
xlab-uiuc/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.