xlab-uiuc

Pinned Loading

  1. Forked from rex-rs/rex

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

    Rust

  2. Forked from anvil-verifier/anvil

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

    Rust

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

    Python 133 47

  4. EMT: An OS Framework for New Memory Translation Architectures

    Python 32 4

  5. Testing Configuration Changes in Context to Prevent Production Failures

    Python 33 32

  6. Forked from sieve-project/sieve

    Automated, Distributed Systems Testing for Kubernetes Controllers

    Python