The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
Thanks for your willingness to evaluate our code and reproduce the claims in the paper. See the evaluation guide for the instructions.
We are dedicated to contribute this work to the upstream Asterinas kernel and the OSTD verification project. Most parts of this work, e.g., the advanced RCU-based page table lock protocol and some of its verification, are already merged. If you are interested in contributing to these parts, please contribute directly to the upstream.
The artifact is released under MPL-2.0, in accordance with the upstream.