<?xml version="1.0" encoding="utf-8"?>
<entry xmlns="http://www.w3.org/2005/Atom">
  <author>
    <name>Tony Finch</name>
    <email>dot@dotat.at</email>
    <uri>https://dotat.at/</uri>
  </author>
  <link rel="alternate" href="https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf"/>
  <link rel="self" href="https://dotat.at/:/9MIM0.atom"/>
  <id>https://dotat.at/:/9MIM0.html</id>
  <updated>2026-07-21T08:42:02Z</updated>
  <published>2026-07-21T00:23:46Z</published>
  <title type="html">Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code.</title>
  <content type="html"><![CDATA[
<ul>
  <li>2026‑07‑21 - Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code.</li>
  <li><a href="https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf"><tt>https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf</tt></a></li>
  <li>redirect <a href="https://dotat.at/:/9MIM0"><tt>https://dotat.at/:/9MIM0</tt></a></li>
  <li>blurb <a href="https://dotat.at/:/9MIM0.html"><tt>https://dotat.at/:/9MIM0.html</tt></a></li>
  <li>atom entry <a href="https://dotat.at/:/9MIM0.atom"><tt>https://dotat.at/:/9MIM0.atom</tt></a></li>
  <li><a href="https://web.archive.org/web/*/https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf"><tt>web.archive.org</tt></a> <a href="https://archive.today/https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf"><tt>archive.today</tt></a> </li>
</ul>
]]></content>
</entry>
