xlab-uiuc / acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆125Updated this week
Alternatives and similar repositories for acto:
Users that are interested in acto are comparing it to the libraries listed below
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆334Updated 6 months ago
- A reading group for system verification papers☆10Updated last year
- ☆19Updated 2 years ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆46Updated last year
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆77Updated 3 months ago
- A curated list of awesome serverless research works, including papers and open-sourced projects.☆80Updated 2 years ago
- configuration evolution dataset☆17Updated 4 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆106Updated this week
- SeBS: serverless benchmarking suite for automatic performance analysis of FaaS platforms.☆160Updated this week
- A Reading List of System Configuration Management☆56Updated 7 months ago
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- Serverless Paper Reading and Discussion☆37Updated 2 years ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆94Updated 3 weeks ago
- Golang library for managing resctrl filesystem☆47Updated 5 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆32Updated 6 months ago
- vHive: Open-source framework for serverless experimentation☆294Updated this week
- XRP: In-Kernel Storage Functions with eBPF☆217Updated last year
- DCPerf benchmark suite for hyperscale cloud applications☆160Updated this week
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆22Updated last year
- ☆70Updated last year
- A benchmark suite for serverless computing☆223Updated last month
- Ability to create Kata pods using cloud provider APIs aka the peer-pods approach☆53Updated this week
- ☆27Updated 3 years ago
- Configuration dependency analysis for cloud software☆22Updated 3 years ago
- A caching framework for microservice applications☆20Updated 11 months ago
- FaaSNet: Scalable and Fast Provisioning of Custom Serverless Container Runtimes at Alibaba Cloud Function Compute (USENIX ATC'21)☆54Updated 3 years ago
- The criu-coordinator tool aims to enable checkpoint/restore support for distributed applications with CRIU.☆20Updated 2 weeks ago
- Dirigent: Lightweight Serverless Orchestration☆37Updated 3 months ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆35Updated this week