projects
/
web.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
6fe6973
)
add forum link
author
Ralf Jung
<post@ralfj.de>
Sat, 8 Jul 2017 21:12:07 +0000
(14:12 -0700)
committer
Ralf Jung
<post@ralfj.de>
Sat, 8 Jul 2017 21:12:07 +0000
(14:12 -0700)
personal/_posts/2017-07-08-rustbelt.md
patch
|
blob
|
history
diff --git
a/personal/_posts/2017-07-08-rustbelt.md
b/personal/_posts/2017-07-08-rustbelt.md
index 474224b5eddb2dce9dc6348f4769382ec43e5f4a..a37df23e86e84da08e85c8feb1fd960a16b6096a 100644
(file)
--- a/
personal/_posts/2017-07-08-rustbelt.md
+++ b/
personal/_posts/2017-07-08-rustbelt.md
@@
-1,7
+1,7
@@
---
title: "RustBelt: Securing the Foundations of the Rust Programming Language"
categories: research rust
-forum: https://internals.rust-lang.org/
+forum: https://internals.rust-lang.org/
t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
---
Just yesterday, we submitted our paper [RustBelt: Securing the Foundations of the Rust Programming Language](https://www.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf).