Alternatives and similar repositories for vsyncer:

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

• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated 2 weeks ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆144Updated last month
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆36Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆14Updated 4 months ago
• rems-project / rmem
  rmem public repo
  ☆41Updated 2 weeks ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆26Updated last week
• were / bfsh
  Being a full-stack hacker, RISCV, LLVM, and more.
  ☆17Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆32Updated this week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆35Updated 7 months ago
• aqjune / mlir-tv
  A translation validation framework for MLIR
  ☆81Updated 2 weeks ago
• uw-unsat / serval
  ☆47Updated 2 years ago
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 6 months ago
• herd / herdtools7
  The Herd toolsuite to deal with .cat memory models (version 7.xx)
  ☆243Updated this week
• upenn-acg / ocolos-public
  Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.
  ☆52Updated last year
• uw-unsat / exoverifier
  ☆17Updated last year
• trackoor / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆17Updated 2 years ago
• mars-research / redleaf
  RedLeaf Operating System
  ☆122Updated 2 years ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆86Updated this week
• 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
• LLNL / umap
  User-space Page Management
  ☆107Updated 7 months ago
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆96Updated 4 months ago
• efficient / libinger
  https://www.usenix.org/conference/atc20/presentation/boucher
  ☆25Updated 3 years ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆28Updated 6 months ago
• utaal / verified-nrkernel
  ☆13Updated this week
• regehr / pldi22-llvm-tutorial
  outline and links for PLDI 2022 tutorial
  ☆17Updated 2 years ago