From 1ab6279ceafb34a6a9ed045ce1953f9fe7798d66 Mon Sep 17 00:00:00 2001 From: pierwill <19642016+pierwill@users.noreply.github.com> Date: Mon, 15 Feb 2021 00:50:08 -0800 Subject: [PATCH] Add Oxide paper to bibliography --- src/appendix/bibliography.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/appendix/bibliography.md b/src/appendix/bibliography.md index b5defaef..c8b4a23b 100644 --- a/src/appendix/bibliography.md +++ b/src/appendix/bibliography.md @@ -88,3 +88,4 @@ Rust, as well as publications about Rust. * [Writing parsers like it is 2017](http://spw17.langsec.org/papers/chifflier-parsing-in-2017.pdf) Pierre Chifflier and Geoffroy Couprie for the Langsec Workshop * [The Case for Writing a Kernel in Rust](https://www.tockos.org/assets/papers/rust-kernel-apsys2017.pdf) * [RustBelt: Securing the Foundations of the Rust Programming Language](https://plv.mpi-sws.org/rustbelt/popl18/) +* [Oxide: The Essence of Rust](https://arxiv.org/abs/1903.00982). By Aaron Weiss, Olek Gierczak, Daniel Patterson, Nicholas D. Matsakis, and Amal Ahmed.