microsoft / aragog
Scalable runtime verification of distributed middleboxes with Aaragog (OSDI 2020)
☆11Updated 4 years ago
Alternatives and similar repositories for aragog:
Users that are interested in aragog are comparing it to the libraries listed below
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Updated 2 years ago
- Finding bugs in P4 compilers using translation validation.☆36Updated 2 months ago
- ☆13Updated 2 years ago
- ☆11Updated 7 years ago
- Storage systems with verified correctness properties☆31Updated this week
- Linear algebra subroutines for large SSD-resident dense and sparse matrices☆27Updated 4 years ago
- Pluggable in-process caching engine to build and scale high performance services☆18Updated 6 months ago
- ☆9Updated 4 years ago
- QStack，a high-concurrency-and-low-latency user-level TCP stack for multicore systems, which can handle TCP concurrrent connection in 10 m…☆18Updated last year
- Switch-based Training Acceleration for Machine Learning (SwitchML)☆14Updated 3 years ago
- A library for collecting features and performing inference of machine learning evaluations based on those features, useful especially in …☆12Updated 4 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆9Updated 4 years ago
- A simple program to evaluate raw DPDK latency☆17Updated 4 years ago
- Mako is a low-pause, high-throughput garbage collector designed for memory-disaggregated datacenters.☆14Updated 4 months ago
- Sample EVM application for CCF☆13Updated 3 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Updated 6 months ago
- In-Memory Key-Value Store Live Migration with NetMigrate☆11Updated 6 months ago
- Get the first page of all the papers in one conference☆14Updated 5 years ago
- ☆28Updated 5 months ago
- A caching framework for microservice applications☆19Updated 8 months ago
- ☆16Updated 4 years ago
- A Ledger-backed Secure Key-Value store (LSKV), built on the Confidential Consortium Framework (CCF)☆35Updated last year
- Mu: Microsecond Consensus for Microsecond Applications☆39Updated 4 years ago
- ☆30Updated 7 years ago
- MemLiner is a remote-memory-friendly runtime system.☆30Updated 2 years ago
- ☆31Updated 5 years ago
- Poise source code repo☆12Updated 4 years ago
- ☆20Updated 3 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆30Updated 5 years ago
- CorrelationVector-Cpp provides a reference C++ implementation of the CorrelationVector protocol for tracing and correlation of events thr…☆17Updated 2 years ago