nal-epfl / castanView external linksLinks
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
- Tool to symbolically execute eBPF programs☆17Mar 5, 2024Updated last year
- ☆10Nov 25, 2023Updated 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
- ☆19Jan 23, 2026Updated 3 weeks ago
- [Usenix Security '25] Robustifying ML-powered Network Classifiers with PANTS☆20Aug 16, 2025Updated 5 months ago
- ☆18Jun 29, 2018Updated 7 years ago
- MetaOpt: Towards efficient heuristic design with quantifiable and confident performance☆21Jan 20, 2026Updated 3 weeks ago
- Tutorial files for using OpenNetVM☆17Aug 24, 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
- Jewel: Resource-Efficient Joint Packet and Flow Level Inference in Programmable Switches☆12Mar 18, 2024Updated 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 Throughput-Centric View of the Performance of Datacenter Topologies [SIGCOMM'21]☆10May 25, 2021Updated 4 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆37Jul 12, 2021Updated 4 years ago
- template for https://cnli.me☆10Feb 27, 2025Updated 11 months ago
- Cost-aware network traffic analysis☆12Dec 20, 2023Updated 2 years ago
- CBench, wrapped in stuff that makes it useful.☆20Oct 1, 2015Updated 10 years ago
- Implementation of Log20 in Java☆12Aug 15, 2018Updated 7 years ago
- Latest PASTE (NSDI'18) repository☆13May 2, 2022Updated 3 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
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.☆10May 10, 2017Updated 8 years ago
- The EM Algorithm for Gaussian Mixtures （高斯混合模型的EM算法实现）☆12Dec 30, 2018Updated 7 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆12Jun 20, 2024Updated last year
- lightweight system for profiling XDP applications using kfuncs☆19Jun 27, 2025Updated 7 months ago
- Control Orchestration Protocol☆10May 12, 2017Updated 8 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆35Feb 6, 2026Updated last week
- ☆12Oct 16, 2021Updated 4 years ago
- YANGMAN offers dynamically generated UI forms and native JSON representation based on RESTCONF APIs☆10Sep 22, 2016Updated 9 years ago
- a small flask app that serves dynamic badge images based on data from Jenkins CI☆11Nov 20, 2020Updated 5 years ago
- Every Node for Itself: Fully Distributed Service Coordination☆10Nov 8, 2021Updated 4 years ago