Alternatives and similar repositories for falcon

Users that are interested in falcon are comparing it to the libraries listed below

• utsaslab / crashmonkey
  CrashMonkey: tools for testing file-system reliability (OSDI 18)
  ☆205Updated 3 years ago
• ix-project / dune
  ☆33Updated 7 years ago
• smartnic / superopt
  A superoptimizing compiler for packet-processing
  ☆30Updated 2 years ago
• TheNetAdmin / LENS
  [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems
  ☆14Updated last year
• fujita / dns-cache-bpf
  ☆14Updated 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 4 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 8 years ago
• SESA / EbbRT
  EbbRT: elastic building block runtime
  ☆77Updated last year
• hku-systems / owl
  ☆13Updated 5 years ago
• uw-unsat / serval-sosp19
  This repo contains the artifact for our SOSP'19 paper on Serval
  ☆32Updated 6 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• microsoft / TSVD
  TSVD is a tool for quickly finding thread-safety violations (e.g., data races) in .NET applications.
  ☆80Updated 2 years ago
• utsaslab / SplitFS
  SplitFS: persistent-memory file system that reduces software overhead (SOSP 2019)
  ☆169Updated 3 years ago
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• mars-research / lvd-linux
  ☆20Updated 3 years ago
• vmexit / trio-sosp23-ae
  ☆20Updated 2 months ago
• trailofbits / ebpfault
  A BPF-based syscall fault injector
  ☆105Updated last week
• xrp-project / BPF-KV
  ☆27Updated 2 years ago
• 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…
  ☆64Updated 2 years ago
• i10-kernel / i10-implementation
  i10 kernel implementation (NSDI'20)
  ☆52Updated 5 years ago
• WukLab / Pythia
  Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.
  ☆30Updated 5 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• privbox / devenv
  ☆17Updated 3 years ago
• oracle-samples / linux-blog-sample-code
  ☆45Updated 3 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• antonblanchard / will-it-scale
  ☆81Updated last year
• P4xos / P4xos
  ☆11Updated 8 years ago
• OrderLab / OKLib
  OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems
  ☆25Updated 2 years ago
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated 2 years ago