open-s4c / vsyncerLinks
Verification and optimization tool for concurrent code
☆25Updated last month
Alternatives and similar repositories for vsyncer
Users that are interested in vsyncer are comparing it to the libraries listed below
Sorting:
- Generic model checker for concurrent C programs (mirror repository)☆156Updated last month
- A verified library of synchronization primitives and concurrent data structures☆38Updated last week
- UB-aware interpreter for LLVM debugging☆31Updated this week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated last week
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆270Updated this week
- Rust RISC-V Virtual Machine☆107Updated last month
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆62Updated 4 months ago
- Always-Correct and Fast Incremental Builds from Simple Specifications☆90Updated last year
- An LLVM IR dataset for data-driven compiler optimization research☆65Updated this week
- Fork of LLVM adding CHERI support☆57Updated this week
- x86-64, ARM, and RVV intrinsics viewer☆56Updated 5 months ago
- A memory allocator verified with Verus☆24Updated last month
- ☆33Updated 3 years ago
- Embedded Universal DSL: a good DSL for us, by us☆45Updated this week
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- ☆14Updated last year
- ☆20Updated 3 weeks ago
- RedLeaf Operating System☆133Updated 3 years ago
- Course website for Systems Verification Fall 2024☆12Updated 2 months ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 2 months ago
- MLIR dialect for libgccjit☆21Updated 9 months ago
- A translation validation framework for MLIR☆87Updated 6 months ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆37Updated last year
- A verification tool for many memory models☆101Updated this week
- Verification of BPF JIT compilers☆55Updated 2 years ago
- Symbolic execution tool for Sail ISA specifications☆78Updated last week
- ☆47Updated 3 years ago
- A fast and accurate reuse distance analyzer for multi-threaded applications. It leverages existing hardware features in commodity CPUs.☆20Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆111Updated this week
- An experimental optimizing compiler for Bril☆76Updated this week