824728350 / Zodiac
Zodiac: Unearthing Semantic Checks for Cloud Infrastructure-as-Code Programs, SOSP 2024
☆12Updated 4 months ago
Alternatives and similar repositories for Zodiac:
Users that are interested in Zodiac are comparing it to the libraries listed below
- [NeurIPS 24] IaC-Eval: A Code Generation Benchmark for Cloud Infrastructure-as-Code programs☆19Updated 3 months ago
- Simulator for the datacenter, including power, cooling, server and 5G components☆16Updated last month
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆20Updated 2 years ago
- Expressive, Easy-to-build, and High-performance Application Networks☆16Updated 2 months ago
- This is the repo for remote direct memory introspection.☆20Updated last year
- An enhanced version of BMv2 switches that support changing the P4 program at runtime with no service interruption.☆19Updated last year
- A list of network measurement sketch algorithms implemented in eBPF☆51Updated 10 months ago
- ☆27Updated 3 years ago
- The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"☆26Updated last year
- This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted fo…☆16Updated last year
- The source code of the paper "Runtime Programmable Switches".☆27Updated last year
- ☆49Updated 9 months ago
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆22Updated last year
- Major CS conference publication stats (including accepted and submitted) by year.☆119Updated 3 months ago
- Random collections of my interested research papers / projects☆20Updated 3 years ago
- ☆26Updated 6 months ago
- ☆41Updated 3 months ago
- Nu is a new datacenter system that enables developers to build fungible applications that can use datacenter resources wherever they are.☆38Updated 10 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆94Updated 3 weeks ago
- NetLock: Fast, Centralized Lock Management Using Programmable Switches☆30Updated 4 years ago
- Benchmark Suite for RDMA Performance Isolation☆37Updated last year
- NS3 implementation of Homa Transport Protocol☆23Updated 10 months ago
- This repository contains a list of papers on various topics (that I am working/worked on) in the system and networking area.☆78Updated 3 months ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Implementation of the logging layer of our SOSP '23 paper Halfmoon☆11Updated last year
- Artifact evaluation repo for EuroSys'24.☆25Updated last year
- A high-performance and easy-to-use RDMA library, called SnowRDMA.☆16Updated 8 months ago
- An Automated Performance Optimization Framework for P4-Programmable SmartNICs☆26Updated last year
- ☆49Updated last year
- ☆40Updated 2 years ago