open-s4c / vsyncerLinks
Verification and optimization tool for concurrent code
☆25Updated 3 months ago
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)☆160Updated last week
- UB-aware interpreter for LLVM debugging☆31Updated last month
- A verified library of synchronization primitives and concurrent data structures☆38Updated 2 months ago
- The Herd toolsuite to deal with .cat memory models (version 7.xx)☆282Updated this week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated 2 months ago
- ☆14Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- Rust RISC-V Virtual Machine☆110Updated 3 months ago
- Course website for Systems Verification Fall 2024☆13Updated 4 months ago
- KernelFaRer: Replacing Native-Code Idioms with High-Performance Library Calls☆12Updated 2 months ago
- Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.☆53Updated 5 months ago
- RedLeaf Operating System☆136Updated 3 years ago
- Symbolic execution tool for Sail ISA specifications☆79Updated 2 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆17Updated 3 years ago
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆145Updated 5 years ago
- Fork of LLVM adding CHERI support☆59Updated 3 weeks ago
- x86-64, ARM, and RVV intrinsics viewer☆66Updated last week
- A translation validation framework for MLIR☆89Updated 8 months ago
- A verification tool for many memory models☆104Updated this week
- Website for CS 265☆31Updated 10 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 6 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated 4 months ago
- A memory allocator verified with Verus☆25Updated 3 months ago
- rmem public repo☆48Updated 6 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆23Updated 6 months ago
- The Twizzler Operating System☆103Updated this week
- An experimental optimizing compiler for Bril using egglog☆81Updated this week
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- An LLVM IR dataset for data-driven compiler optimization research☆70Updated this week