Cycle Accurate Symbolic Timing Analysis of Network Functions
☆10Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for castan
Users that are interested in castan are comparing it to the libraries listed below
Sorting:
- ☆12Oct 21, 2020Updated 5 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆17Jul 14, 2022Updated 3 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Sep 11, 2019Updated 6 years ago
- ☆10Nov 25, 2023Updated 2 years ago
- Tool to symbolically execute eBPF programs☆17Mar 5, 2024Updated 2 years ago
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆35Apr 11, 2024Updated last year
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 years ago
- ☆18Dec 11, 2023Updated 2 years ago
- MetaOpt: Towards efficient heuristic design with quantifiable and confident performance☆21Jan 20, 2026Updated last month
- ☆19Jan 23, 2026Updated last month
- Tutorial files for using OpenNetVM☆17Aug 24, 2018Updated 7 years ago
- [Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS☆20Aug 16, 2025Updated 6 months ago
- ☆18Jun 29, 2018Updated 7 years ago
- ☆22Mar 11, 2021Updated 4 years ago
- ☆29Dec 2, 2022Updated 3 years ago
- An infrastructure for inline acceleration of network applications☆30Oct 25, 2021Updated 4 years ago
- ☆44Jul 8, 2024Updated last year
- ☆11Aug 5, 2020Updated 5 years ago
- Python module for the qwiic serial control motor driver☆10Mar 19, 2025Updated 11 months ago
- Jewel: Resource-Efficient Joint Packet and Flow Level Inference in Programmable Switches☆12Mar 18, 2024Updated last year
- template for https://cnli.me☆10Feb 27, 2025Updated last year
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆10Dec 6, 2016Updated 9 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 4 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- A synthetic CPU load generator☆13Dec 23, 2020Updated 5 years ago
- A bot for the popular mobile game HQ Trivia☆10Mar 14, 2018Updated 7 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- Ultimate DPDK System Enabling Expert☆11May 3, 2019Updated 6 years ago
- CBench, wrapped in stuff that makes it useful.☆20Oct 1, 2015Updated 10 years ago
- Every Node for Itself: Fully Distributed Service Coordination☆10Nov 8, 2021Updated 4 years ago
- OpenFlow switch (multi-platform) - The OpenFlow eXtensible DataPath daemon,an SDN datapath framework written in C/C++☆60Jan 17, 2018Updated 8 years ago
- A Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]☆10May 25, 2021Updated 4 years ago
- YANGMAN offers dynamically generated UI forms and native JSON representation based on RESTCONF APIs☆10Sep 22, 2016Updated 9 years ago
- ☆12Oct 16, 2021Updated 4 years ago
- OpenStack Heat templates for Clearwater deployments☆11Feb 26, 2020Updated 6 years ago
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- Control Orchestration Protocol☆10May 12, 2017Updated 8 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 years ago
- ☆12Nov 8, 2024Updated last year