Pinned Repositories
acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
anvil
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
cdep-fse-ae
Configuration dependency analysis for cloud software
emt
EMT: An OS Framework for New Memory Translation Architectures
open-cevo
configuration evolution dataset
openctest
Testing Configuration Changes in Context to Prevent Production Failures
rainmaker
rex
Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
seccomp-ebpf-upstream
sieve
Automated, Distributed Systems Testing for Kubernetes Controllers
xlab-uiuc's Repositories
xlab-uiuc doesn’t have any repository yet.