The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
☆41Nov 12, 2025Updated 3 months ago
Alternatives and similar repositories for CortenMM-Artifact
Users that are interested in CortenMM-Artifact are comparing it to the libraries listed below
Sorting:
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- ☆22Updated this week
- ☆79Jan 22, 2026Updated last month
- A memory allocator verified with Verus☆30Feb 18, 2026Updated 2 weeks ago
- ScalaAFA: Constructing User-Space All-Flash Array Engine with Holistic Designs (USENIX ATC 2024).☆15Nov 25, 2024Updated last year
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- ScalaCache: Scalable User-Space Page Cache Management with Software-Hardware Coordination (USENIX ATC'24)☆16Jul 19, 2024Updated last year
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- ☆16Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Apr 2, 2022Updated 3 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Feb 12, 2026Updated 3 weeks ago
- A formally verified security module for AMD confidential VMs☆64Dec 11, 2025Updated 2 months ago
- Coq code formatter☆24Jan 22, 2026Updated last month
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Feb 11, 2026Updated 3 weeks ago
- A Verus compiler front-end for IDEs (derived from rust-analyzer)☆34Feb 3, 2026Updated last month
- CN separation logic refinement type system for C☆46Feb 16, 2026Updated 2 weeks ago
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago
- Formalization of C++ for verification purposes.☆90Feb 23, 2026Updated last week
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- ☆11Feb 11, 2022Updated 4 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Solidity Implementation of On-Chain PCCS used for Intel DCAP Attestations☆16Updated this week
- ☆16Apr 11, 2023Updated 2 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆40Updated this week
- Microbenchmark that unveals the mechanisms behind power readings reported by nvidia-smi on your NVIDIA GPU.☆14Dec 12, 2024Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- Supplemental materials for the book entitled "Practical ML Programming with SML#"☆10Jun 27, 2025Updated 8 months ago
- A standalone CXL-enabled system simulator.☆18Jan 10, 2026Updated last month
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 4 years ago
- 📝📝📝Learning Machine Learning/Deep Learning☆10Oct 10, 2022Updated 3 years ago
- P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF☆11May 20, 2024Updated last year