From 1e49078a54a31af65900d0a72ee6d695676eba84 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 1 May 2022 13:44:12 +0200 Subject: [PATCH] mention some papers that use Miri --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index 6d5ee30e498d..cc7164db1853 100644 --- a/README.md +++ b/README.md @@ -540,6 +540,12 @@ Violations of [Stacked Borrows] found that are likely bugs (but Stacked Borrows * [Various standard library aliasing issues involving raw pointers](https://github.com/rust-lang/rust/pull/78602) * [`<[T]>::copy_within` using a loan after invalidating it](https://github.com/rust-lang/rust/pull/85610) +## Scientific papers employing Miri + +* [Stacked Borrows: An Aliasing Model for Rust](https://plv.mpi-sws.org/rustbelt/stacked-borrows/) +* [Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3](https://www.amazon.science/publications/using-lightweight-formal-methods-to-validate-a-key-value-storage-node-in-amazon-s3) +* [SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis](https://dl.acm.org/doi/10.1145/3453483.3454084) + ## License Licensed under either of