Created on March 27, 2024
2024
Our paper on Verus for systems verification won a Distinguished Artifact Award at SOSP 2024!