xlab-uiuc

Pinned Repositories

acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
Language:Python128 8 22948
cdep-fse-ae
Configuration dependency analysis for cloud software
Language:HTML24 2 24
ctest-prio-ae
Test-Case Prioritization for Configuration Testing
Language:Python16 3 03
emt
EMT: An OS Framework for New Memory Translation Architectures
Language:Python223
IDoCT
Illinois Dataset of Configuration Tests
Language:Python3 3 723
open-cevo
configuration evolution dataset
Language:Python18 4 02
openctest
Testing Configuration Changes in Context to Prevent Production Failures
Language:Python31 4 232
rainmaker
Language:Python26 2 11
seccomp-ebpf-upstream
Language:C26 3 06
sieve
Automated, Distributed Systems Testing for Kubernetes Controllers
Language:Python0 1 00

xlab-uiuc's Repositories

xlab-uiuc/acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
Language:Python128 8 22948
xlab-uiuc/emt
EMT: An OS Framework for New Memory Translation Architectures
Language:Python223
xlab-uiuc/AIOpsLab
A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.
Language:Python124
xlab-uiuc/linux-mcdc
Measure Linux kernel's modified condition/decision coverage (MC/DC)
Language:Shell10 3 102
xlab-uiuc/train-ticket
Train Ticket - A Benchmark Microservice System
Language:Java5 1 06
xlab-uiuc/aiopslab-applications
This is where the targeted applications for AIOpsLab are stored.
Language:Lua23
xlab-uiuc/iommu-vm
Language:Shell2
xlab-uiuc/cloudtest
This repository contains results of systematic analysis of cloud emulators used in software testing, focusing on their fidelity compared to real cloud services.
Language:Python10
xlab-uiuc/emt-linux
Language:C1
xlab-uiuc/flight-ticket
Language:Python13
xlab-uiuc/ITBench
Code repository for sample scenarios as part of ITBench
Language:Python12
xlab-uiuc/Specula
Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
1
xlab-uiuc/anvil
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
Language:Rust
xlab-uiuc/dynamorio
Dynamic Instrumentation Tool Platform
Language:C1 1
xlab-uiuc/Fast-and-Safe-IO-Memory-Protection
Language:Shell0 0
xlab-uiuc/geni-lib
Python 3 fork of geni-lib.
Language:Python
xlab-uiuc/graphBIG
A Comprehensive Benchmark Suite for Graph Computing
Language:C++1 0
xlab-uiuc/gups
gups mirror
Language:C
xlab-uiuc/ITBench-1
Code repository for sample scenarios as part of ITBench
Language:Python
xlab-uiuc/ITBench-Scenarios
Code repository for scenarios and environment setup as part of ITBench
Language:Python
xlab-uiuc/ITBench2
Code repository for sample scenarios as part of ITBench
Language:Python
xlab-uiuc/oat-cloudlab
Language:Python
xlab-uiuc/open-gpu-kernel-modules
NVIDIA Linux open GPU kernel module source
xlab-uiuc/opentelemetry-helm-charts
OpenTelemetry Helm Charts fork for SREArena
Language:Smarty2
xlab-uiuc/postgresql-14.13
Language:C
xlab-uiuc/qemu-nested
This assists the iommufd upstream, and new features like Intel(R) scalable IOV (SIOV) and Shared Virtual Addressing (SVA). Note that, to play with it, it's always recommended to ask the repo owner to get a paired kernel and Qemu branch as the Qemu branch may require new uAPIs. Key contributor: Zhenzhong Duan (github: duanzhenzhong)
xlab-uiuc/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:Rust
xlab-uiuc/sysbench
Scriptable database and system performance benchmark
Language:C1 0
xlab-uiuc/VM-Bench
Language:C
xlab-uiuc/ycsb
Yahoo! Cloud Serving Benchmark
Language:Java