Popular repositories

1. superopt superopt Public

   A superoptimizing compiler for packet-processing

   C++ 30 3

2. sigcomm21_artifact sigcomm21_artifact Public

   SIGCOMM 2021 artifact

   Shell 9 4

3. bpf-elf-tools bpf-elf-tools Public

   C 2 1

4. z3validation z3validation Public

   An approach to utilizing z3 validator

   C++ 2

5. bpf-step bpf-step Public

   Sample out-of-kernel-tree programs for working with BPF.

   C 1

6. superopt-input-bm superopt-input-bm Public

   superopt benchmark input files: *.insns, *.maps and *.desc

   1