Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.
☆17Jul 14, 2022Updated 3 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☆17Mar 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
- ☆11Sep 10, 2021Updated 4 years ago
- Cycle Accurate Symbolic Timing Analysis of Network Functions☆10Dec 7, 2021Updated 4 years ago
- Repo for Performance Interfaces for Hardware Accelerators.☆16Aug 19, 2025Updated 7 months ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Apr 11, 2024Updated last year
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- The Domino compiler to run packet programs on pipelined switches☆29Aug 12, 2021Updated 4 years ago
- Source code for Speedlight, a system for Synchronized Network Snapshots☆10Aug 21, 2020Updated 5 years ago
- ☆18Jun 29, 2018Updated 7 years ago
- ☆10Nov 22, 2020Updated 5 years ago
- Main repository of the Vigor NF verification project.☆48Mar 6, 2021Updated 5 years ago
- ☆22Mar 11, 2021Updated 5 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Sources and examples for ASPLOS20 paper☆14Jul 21, 2020Updated 5 years ago
- FlowBlaze: Stateful Packet Processing in Hardware☆71Nov 16, 2022Updated 3 years ago
- A machine model for line-rate programmable switches☆26Oct 8, 2016Updated 9 years ago
- NAT implementation using DPDK☆13May 22, 2019Updated 6 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆28Oct 4, 2022Updated 3 years ago
- ☆14Mar 10, 2025Updated last year
- ☆18Dec 11, 2023Updated 2 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…☆64Apr 14, 2023Updated 2 years ago
- A user-level TCP/IP stack with NIC offload of stateful TCP operations☆72Sep 2, 2020Updated 5 years ago
- ☆36Mar 12, 2025Updated last year
- This is the p4 code for LossRadar (CoNext' 16) data plane☆13Sep 27, 2016Updated 9 years ago
- OpenFlow switch (multi-platform) - The OpenFlow eXtensible DataPath daemon,an SDN datapath framework written in C/C++☆61Jan 17, 2018Updated 8 years ago
- NetBricks: A network function framework written in Rust and using DPDK☆13Nov 8, 2019Updated 6 years ago
- NeuroCuts is a deep RL algorithm for generating optimized packet classification trees.☆75Jun 4, 2020Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆23Jul 8, 2024Updated last year
- ☆21Apr 17, 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
- ☆11Mar 11, 2026Updated 2 weeks ago
- ☆15Aug 6, 2018Updated 7 years ago
- Implementation based on OSDI paper☆20Feb 11, 2018Updated 8 years ago
- ☆15Aug 12, 2023Updated 2 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
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Dec 17, 2020Updated 5 years ago
- ☆24Oct 27, 2025Updated 4 months ago