xlab-uiuc / actoLinks
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆129Updated 2 weeks ago
Alternatives and similar repositories for acto
Users that are interested in acto are comparing it to the libraries listed below
Sorting:
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆340Updated last year
- vHive: Open-source framework for serverless experimentation☆323Updated this week
- ☆22Updated 3 years ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆25Updated 2 years ago
- A Reading List of System Configuration Management☆57Updated last year
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆47Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆145Updated this week
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22Updated 3 years ago
- DCPerf benchmark suite for hyperscale cloud applications☆227Updated last week
- This repository contains experimental tools we developed to forecast a clusters' resource (CPU or memory) usage.☆44Updated 4 years ago
- Serverless Paper Reading and Discussion☆38Updated 3 years ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆118Updated 2 months ago
- XRP: In-Kernel Storage Functions with eBPF☆235Updated 2 years ago
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆87Updated 8 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆32Updated 2 years ago
- A Framework for Automated Validation of Deep Learning Training Tasks☆60Updated 2 weeks ago
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆11Updated last year
- Automated Testing and Adaptive Detection of **Slow Faults** in Distributed Systems☆18Updated 10 months ago
- Lightweight daemon for monitoring CUDA runtime API calls with eBPF uprobes☆146Updated 10 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- A reading group for system verification papers☆10Updated 2 years ago
- ☆53Updated 3 years ago
- ☆26Updated 7 months ago
- Enabling Kubernetes to make pod placement decisions with platform intelligence.☆176Updated last year
- ☆38Updated 3 months ago
- ☆30Updated 3 years ago
- EMT: An OS Framework for New Memory Translation Architectures☆27Updated 6 months ago
- Dirigent: Lightweight Serverless Orchestration☆41Updated 5 months ago
- This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted fo…☆21Updated 2 years ago
- configuration evolution dataset☆18Updated 4 years ago