open-s4c / vsyncer
Verification and optimization tool for concurrent code
☆24Updated last week
Alternatives and similar repositories for vsyncer:
Users that are interested in vsyncer are comparing it to the libraries listed below
- A verified library of synchronization primitives and concurrent data structures☆32Updated 2 weeks ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated 2 months ago
- Loupe: Syscall Usage Analysis Tool☆33Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆148Updated 3 weeks ago
- rmem public repo☆41Updated last month
- Heterogeneous Containerization of Large Language Model Apps☆41Updated last month
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated 5 months ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆34Updated 7 months ago
- UB-aware interpreter for LLVM debugging☆26Updated last week
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆29Updated this week
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆36Updated 7 months ago
- LLFree: Lock- and Log-free Allocator☆21Updated 2 months ago
- ☆17Updated last year
- ☆31Updated 3 years ago
- ☆30Updated 3 years ago
- Rust RISC-V Virtual Machine☆97Updated 5 months ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆17Updated 3 years ago
- ☆47Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆66Updated last month
- VeriBetrKV OSDI'20 artifact☆10Updated 4 years ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆245Updated last week
- A translation validation framework for MLIR☆81Updated last month
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆15Updated 2 weeks ago
- ☆18Updated last week
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆79Updated 3 weeks ago
- ☆27Updated 2 months ago
- ☆29Updated last month
- What if everything is a io_uring?☆16Updated 2 years ago
- A memory allocator verified with Verus☆19Updated last month