WhiRLVerification / WhiRL

Related projects: ⓘ

• harvard-cns / teal
  Codebase for Teal (SIGCOMM 2023)
  ☆43Updated 5 months ago
• eniac / Cebinae
  Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
  ☆21Updated 2 years ago
• venkatarun95 / ccac
  Automated tool to formally verify congestion control algorithms and find bugs in them
  ☆25Updated last year
• SymbioticLab / Aequitas
  Aequitas enables RPC-level QoS in datacenter networks.
  ☆16Updated 2 years ago
• microsoft / TE-CCL
  ☆15Updated 3 weeks ago
• transys-project / pitree-dataset
  Dataset of PiTree project.
  ☆11Updated 2 years ago
• netx-repo / HCSFQ
  Twenty Years After: Hierarchical Core-Stateless Fair Queueing
  ☆15Updated 3 years ago
• kaist-ina / ns3-tlt-rdma-public
  This is an official GitHub repository for the paper, "Towards timeout-less transport in commodity datacenter networks.".
  ☆9Updated 2 years ago
• neurocuts / neurocuts
  NeuroCuts is a deep RL algorithm for generating optimized packet classification trees.
  ☆70Updated 4 years ago
• alibaba / alibaba-lingjun-dataset-2023
  ☆25Updated 2 months ago
• Froot-NetSys / OctoSketch
  ☆9Updated 9 months ago
• NetSys / simulator
  Yet Another Packet Simulator (YAPS)
  ☆40Updated 7 years ago
• cmu-snap / SLOMO
  Relevant Material for SIGCOMM 2020 paper "Contention-Aware Performance Prediction for Virtualized Network Functions"
  ☆17Updated 4 years ago
• A-Dying-Pig / PrintQueue
  PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane
  ☆17Updated last year
• inet-tub / powertcp-linux
  A proof of concept implementation of PowerTCP within Linux Kernel
  ☆11Updated 7 months ago
• Soheil-ab / sage
  Sage of Congestion Control (or How Computers Can Learn from Existing Schemes and Master Internet CC)
  ☆38Updated 10 months ago
• eniac / MimicNet
  Predicting network performance at scale
  ☆30Updated 2 years ago
• ndal-eth / netbench
  Packet simulator for data center network topologies, routing, and congestion control
  ☆50Updated 6 years ago
• in-ATP / switchML
  ☆31Updated 3 years ago
• HKUST-SING / PIAS-Software
  PIAS Software Prototype
  ☆15Updated 8 years ago
• cmu-snap / BBQ
  Artifacts for the "BBQ: A Fast and Scalable Integer Priority Queue for Hardware Packet Scheduling" paper that appears in NSDI '24.
  ☆13Updated 4 months ago
• nec-research / n3ic-nsdi22
  ☆21Updated 2 years ago
• Soheil-ab / ccBench
  Towards Universal Internet Congestion Control Benchmarking ...
  ☆21Updated last year
• scyue / latex-sigcomm18
  ☆59Updated 2 years ago
• netiken / m3
  [ACM SIGCOMM 2024] "m3: Accurate Flow-Level Performance Estimation using Machine Learning" by Chenning Li*, Arash Nasr-Esfahany*, Kevin Z…
  ☆14Updated 3 weeks ago
• artpad6 / gemel_nsdi23
  ☆18Updated 8 months ago
• snowzjx / ns3-ecn-sharp
  ☆48Updated 2 years ago
• Lossless-Virtual-Switching / Backdraft
  Backdraft: a Lossless Virtual Switch that Prevents the Slow Receiver Problem. USENIX NSDI 2022
  ☆14Updated last year
• stanford-futuredata / POP
  Code for "Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP", which appeared at SOSP 2021
  ☆24Updated 2 years ago
• vojislavdjukic / flux
  NSDI 19: Is advance knowledge of flow sizes a plausible assumption?
  ☆25Updated 5 years ago