<story><title>RustBelt: securing the foundations of the Rust programming language</title><url>https://dl.acm.org/citation.cfm?doid=3177123.3158154</url></story><parent_chain></parent_chain><comment><author>chrismorgan</author><text>My favourite part:&lt;p&gt;&amp;gt; our verification work resulted in uncovering and fixing a bug in Rust’s standard library, demonstrating that our model of Rust is realistic enough to be useful.&lt;p&gt;The bug was &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;rust-lang&amp;#x2F;rust&amp;#x2F;issues&amp;#x2F;41622&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;github.com&amp;#x2F;rust-lang&amp;#x2F;rust&amp;#x2F;issues&amp;#x2F;41622&lt;/a&gt;.</text></comment>
<story><title>RustBelt: securing the foundations of the Rust programming language</title><url>https://dl.acm.org/citation.cfm?doid=3177123.3158154</url></story><parent_chain></parent_chain><comment><author>fovc</author><text>Adrian Colyer did a good write up of this paper recently on The Morning Paper : &lt;a href=&quot;https:&amp;#x2F;&amp;#x2F;blog.acolyer.org&amp;#x2F;2018&amp;#x2F;01&amp;#x2F;18&amp;#x2F;rustbelt-securing-the-foundations-of-the-rust-programming-language&amp;#x2F;&quot; rel=&quot;nofollow&quot;&gt;https:&amp;#x2F;&amp;#x2F;blog.acolyer.org&amp;#x2F;2018&amp;#x2F;01&amp;#x2F;18&amp;#x2F;rustbelt-securing-the-fo...&lt;/a&gt;</text></comment>