xlab-uiuc / acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆117Updated this week
Related projects ⓘ
Alternatives and complementary repositories for acto
- Automatic Reliability Testing for Kubernetes Controllers and Operators☆329Updated last month
- A Reading List of System Configuration Management☆54Updated 2 months ago
- ☆18Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆29Updated 11 months ago
- A reading group for system verification papers☆10Updated last year
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆43Updated 11 months ago
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆19Updated 2 years ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆93Updated last week
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆22Updated last year
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆73Updated this week
- XRP: In-Kernel Storage Functions with eBPF☆207Updated last year
- ☆48Updated last year
- configuration evolution dataset☆16Updated 3 years ago
- ☆51Updated 6 months ago
- ☆25Updated 2 years ago
- Serverless Paper Reading and Discussion☆36Updated last year
- Meta's fleetwide profiler framework☆46Updated 3 weeks ago
- vHive: Open-source framework for serverless experimentation☆290Updated this week
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 3 years ago
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆69Updated last month
- An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).☆57Updated this week
- eBPF Standard Documentation☆43Updated 2 months ago
- Configuration dependency analysis for cloud software☆22Updated 2 years ago
- ☆21Updated last month
- blk-switch kernel implementation (OSDI'21)☆70Updated 7 months ago
- ☆27Updated 3 weeks ago
- A tool to detect infrastructure issues on cloud native AI systems☆16Updated this week
- A Memory-Disaggregated Managed Runtime.☆65Updated 3 years ago
- A curated list of awesome serverless research works, including papers and open-sourced projects.☆77Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆37Updated 4 months ago