| Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations | 0 | 0.34 | 2022 |
| COMPASS: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic | 0 | 0.34 | 2022 |
| GhostCell: separating permissions from data in Rust | 0 | 0.34 | 2021 |
| Stacked borrows: an aliasing model for Rust | 0 | 0.34 | 2020 |
| RustBelt meets relaxed memory | 1 | 0.35 | 2020 |
