Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
☆18Jul 14, 2022Updated 4 years ago
Alternatives and similar repositories for pix
Users that are interested in pix are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool to symbolically execute eBPF programs☆18Mar 5, 2024Updated 2 years ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆16Jan 18, 2020Updated 6 years ago
- ☆12Sep 10, 2021Updated 4 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆36Apr 11, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Repo for Performance Interfaces for Hardware Accelerators.☆20Aug 19, 2025Updated 11 months ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆12Feb 7, 2025Updated last year
- The Domino compiler to run packet programs on pipelined switches☆30Aug 12, 2021Updated 4 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- ☆18Jun 29, 2018Updated 8 years ago
- ☆10Nov 22, 2020Updated 5 years ago
- Main repository of the Vigor NF verification project.☆49Mar 6, 2021Updated 5 years ago
- ☆22Mar 11, 2021Updated 5 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sources and examples for ASPLOS20 paper☆14Jul 21, 2020Updated 6 years ago
- FlowBlaze: Stateful Packet Processing in Hardware☆72Jun 30, 2026Updated 3 weeks ago
- Tutorial files for using OpenNetVM☆17Aug 24, 2018Updated 7 years ago
- A machine model for line-rate programmable switches☆27Oct 8, 2016Updated 9 years ago
- NAT implementation using DPDK☆15May 22, 2019Updated 7 years ago
- ☆18Dec 11, 2023Updated 2 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆28Oct 4, 2022Updated 3 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆65Apr 14, 2023Updated 3 years ago
- The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"☆26Feb 2, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A user-level TCP/IP stack with NIC offload of stateful TCP operations☆72Apr 15, 2026Updated 3 months ago
- NetBricks: A network function framework written in Rust and using DPDK☆13Nov 8, 2019Updated 6 years ago
- ☆37Mar 12, 2025Updated last year
- This is the p4 code for LossRadar (CoNext' 16) data plane☆13Sep 27, 2016Updated 9 years ago
- NeuroCuts is a deep RL algorithm for generating optimized packet classification trees.☆75Jun 4, 2020Updated 6 years ago
- ☆21Apr 17, 2019Updated 7 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆33Sep 11, 2019Updated 6 years ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- ☆11Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆15Aug 6, 2018Updated 7 years ago
- ☆15Aug 12, 2023Updated 2 years ago
- Implementation based on OSDI paper☆20Feb 11, 2018Updated 8 years ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- lanmt ebm☆12Jun 19, 2020Updated 6 years ago
- Mantis: Reactive Programmable Switches (SIGCOMM 2020)☆22Aug 21, 2020Updated 5 years ago
- Scripts and configuration to create a Ubuntu 16.04 virtual machine with Intel DPDK installed and fully configured using Vagrant☆33Jul 30, 2017Updated 8 years ago