curtsinger-lab / rikerLinks
Always-Correct and Fast Incremental Builds from Simple Specifications
☆90Updated last year
Alternatives and similar repositories for riker
Users that are interested in riker are comparing it to the libraries listed below
Sorting:
- Generic model checker for concurrent C programs (mirror repository)☆158Updated 3 weeks ago
- A determinizing tracer using Ptrace☆39Updated 5 years ago
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆112Updated last month
- ALLVM Tools☆56Updated 3 years ago
- A memory allocator verified with Verus☆23Updated 3 months ago
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆135Updated this week
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 5 years ago
- https://www.usenix.org/conference/atc20/presentation/boucher☆26Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆94Updated this week
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆90Updated last week
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆155Updated 3 years ago
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- A Rust library for safely programming persistent memory☆75Updated last year
- Experimental kernel with built-in replication.☆162Updated 3 months ago
- An intel PT trace converter from `perf.data` to Fuchsia trace format.☆65Updated 6 months ago
- A case for representing data collections and objects in the LLVM IR☆21Updated 2 weeks ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆100Updated last month
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆63Updated 5 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆22Updated 5 months ago
- Verification and optimization tool for concurrent code☆25Updated 3 months ago
- ☆20Updated last month
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆17Updated 3 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆92Updated last month
- A verification tool for many memory models☆103Updated this week
- A libbpf based tracer to help figure out what an application is doing.☆81Updated last week
- UB-aware interpreter for LLVM debugging☆31Updated 3 weeks ago
- ☆24Updated 10 months ago
- An advanced benchmarking tool☆189Updated 3 months ago