xlab-uiuc / actoLinks
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
☆127Updated last month
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☆336Updated 8 months ago
- ☆21Updated 2 years ago
- MeshInsight: Dissecting Overheads of Service Mesh Sidecars☆47Updated last year
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆21Updated 3 years ago
- A Reading List of System Configuration Management☆56Updated 9 months ago
- Serverless Paper Reading and Discussion☆37Updated 2 years ago
- A reading group for system verification papers☆10Updated last year
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆81Updated 3 weeks ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆100Updated last week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆117Updated this week
- A Framework for Automated Validation of Deep Learning Training Tasks☆22Updated this week
- Dirigent: Lightweight Serverless Orchestration☆37Updated 5 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆23Updated last year
- Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems☆12Updated last year
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆33Updated last week
- vHive: Open-source framework for serverless experimentation☆300Updated this week
- Random collections of my interested research papers / projects☆20Updated 4 years ago
- configuration evolution dataset☆17Updated 4 years ago
- A curated list of awesome serverless research works, including papers and open-sourced projects.☆83Updated 2 years ago
- This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted fo…☆18Updated last year
- Testing Configuration Changes in Context to Prevent Production Failures☆30Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated 9 months ago
- A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks☆55Updated 2 weeks ago
- Website for Artifact Evaluation at EuroSys, SOSP, OSDI, ATC☆43Updated last week
- ☆51Updated last year
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- ☆52Updated 2 years ago
- A benchmark suite for serverless computing☆224Updated 3 months ago
- DOCA Platform manages provisioning and service orchestration for Bluefield DPUs☆40Updated 2 weeks ago
- Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices [ASPLOS '21]☆104Updated 3 years ago