crazyboycjr / cyclone-jet-rocket

Related projects ⓘ

Alternatives and complementary repositories for cyclone-jet-rocket

• dslab-epfl / tinynf
  Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…
  ☆60Updated last year
• nets-cs-pub-ro / Symnet
  ☆9Updated 7 years ago
• smartnic / sigcomm21_artifact
  SIGCOMM 2021 artifact
  ☆11Updated 3 months ago
• Cunik / Cunik-engine
  The engine of Cunik.
  ☆26Updated 6 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated last year
• nyu-systems / gauntlet
  Finding bugs in P4 compilers using translation validation.
  ☆35Updated last month
• i10-kernel / i10-implementation
  i10 kernel implementation (NSDI'20)
  ☆52Updated 4 years ago
• eniac / Speedlight
  Source code for Speedlight, a system for Synchronized Network Snapshots
  ☆10Updated 4 years ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• LucasMFreire / assert-p4
  ☆13Updated 6 years ago
• N2-Sys / PR-Sketch
  ☆9Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆46Updated this week
• acmsigcomm19hackathon / hackathonprojects
  This is a repo for hosting the projects in SIGCOMM 2019 Hackathon
  ☆10Updated 5 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week
• Surlavi / exp-figure-tools
  A script tool for generating figures from experiment results, based on matplotlib
  ☆12Updated 5 years ago
• ccp-project / portus
  A congestion control plane. (SIGCOMM '18)
  ☆75Updated 8 months ago
• smcclure20 / scheduling-policies-sim
  ☆19Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• network-policy-tester / buzz
  ☆11Updated 9 years ago
• bojieli / thesis
  LaTeX source code of my Ph.D. thesis.
  ☆9Updated last year
• InNetworkFiltering / SGX-DPDK
  A firewall application that leverages DPDK for performance and SGX for security.
  ☆16Updated 5 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• ix-project / dune
  ☆31Updated 6 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 12 years ago
• WukLab / Pythia
  Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.
  ☆25Updated 4 years ago
• nal-epfl / castan
  Cycle Accurate Symbolic Timing Analysis of Network Functions
  ☆10Updated 2 years ago
• YangZhou1997 / SafeBricks
  This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…
  ☆9Updated 4 years ago