xlab-uiuc

Pinned Repositories

• acto

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

  Language:Python128822948

• anvil

  This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.

  Language:Rust00

• cdep-fse-ae

  Configuration dependency analysis for cloud software

  Language:HTML24224

• emt

  EMT: An OS Framework for New Memory Translation Architectures

  Language:Python223

• open-cevo

  configuration evolution dataset

  Language:Python18402

• openctest

  Testing Configuration Changes in Context to Prevent Production Failures

  Language:Python314232

• rainmaker

  Language:Python26211

• rex

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

  Language:Rust00

• seccomp-ebpf-upstream

  Language:C26306

• sieve

  Automated, Distributed Systems Testing for Kubernetes Controllers

  Language:Python0100

xlab-uiuc's Repositories