Data repository of NAssim
☆29Aug 18, 2022Updated 3 years ago
Alternatives and similar repositories for nassim
Users that are interested in nassim are comparing it to the libraries listed below
Sorting:
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆18Jun 19, 2022Updated 3 years ago
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Sep 18, 2025Updated 6 months ago
- ☆24Sep 18, 2023Updated 2 years ago
- RDMA Optimization on MXNet☆14Nov 12, 2017Updated 8 years ago
- Simple python scripts which identify papers authored by PC members in various conferences. Conference info pulled from DBLP.☆19Jun 9, 2020Updated 5 years ago
- A framework for automated testing of network analysis and verification tools.☆17Feb 23, 2021Updated 5 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆27Oct 4, 2022Updated 3 years ago
- TraceWeaver is a research prototype for transparently tracing requests through a microservice without application instrumentation.☆23Sep 2, 2024Updated last year
- ☆24Nov 24, 2018Updated 7 years ago
- A list of network measurement sketch algorithms implemented in eBPF☆55May 12, 2024Updated last year
- Table-Driven Interface (TDI) for a P4-programmable backend device.☆41Jan 27, 2025Updated last year
- ☆19Jan 23, 2026Updated last month
- Flash Artifact for SIGCOMM22☆14Jun 14, 2022Updated 3 years ago
- [ASPLOS'25] Towards End-to-End Optimization of LLM-based Applications with Ayo☆65Mar 11, 2026Updated last week
- Flightplan is a toolchain for the flexible decomposition of P4 programs and their allocation to heterogeneous hardware to improve perform…☆29Apr 14, 2021Updated 4 years ago
- A superoptimizing compiler for packet-processing☆30Jun 16, 2023Updated 2 years ago
- Some notes to build and run P4 DPDK target☆23Aug 21, 2022Updated 3 years ago
- Open vSwitch☆25Jan 31, 2025Updated last year
- P4runpro: Enabling Runtime Programmability for RMT Switches☆15Aug 26, 2024Updated last year
- ExaBGP in a Docker container. Anycast your services running in Docker.☆11Feb 24, 2018Updated 8 years ago
- ☆10Aug 1, 2019Updated 6 years ago
- The prototype for NSDI paper "NetHint: White-Box Networking for Multi-Tenant Data Centers"☆26Feb 2, 2024Updated 2 years ago
- ☆10Oct 17, 2020Updated 5 years ago
- ☆36Sep 26, 2020Updated 5 years ago
- ☆12May 16, 2025Updated 10 months ago
- ☆82Apr 13, 2018Updated 7 years ago
- ☆16Nov 30, 2022Updated 3 years ago
- ☆20Jun 29, 2022Updated 3 years ago
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆1,359Updated this week
- MAGE: Memory-Aware Garbling Engine☆26Jul 29, 2024Updated last year
- ☆33Jan 7, 2023Updated 3 years ago
- Slowdown prediction module of Echo: Simulating Distributed Training at Scale☆13May 17, 2025Updated 10 months ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- ☆32Feb 12, 2021Updated 5 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 3 years ago
- [SIGCOMM 2021] ARROW: Restoration-Aware Traffic Engineering☆15Oct 27, 2021Updated 4 years ago
- [NeurIPS 2025] Bag of Tricks for Inference-time Computation of LLM Reasoning☆16Sep 20, 2025Updated 6 months ago