add memory-safety post

[web.git] / personal / _posts / 2025-07-07-tree-borrows-paper.md

diff --git a/personal/_posts/2025-07-07-tree-borrows-paper.md b/personal/_posts/2025-07-07-tree-borrows-paper.md
index 4c1831dd4b5ed9a938368d3836da7db298a8f609..9f4845d666de3a0f67ab7993466b47d501886a96 100644 (file)
--- a/personal/_posts/2025-07-07-tree-borrows-paper.md
+++ b/personal/_posts/2025-07-07-tree-borrows-paper.md
@@ -3,7 +3,7 @@ title: "The Tree Borrows paper is finally published"
 categories: research rust
 ---
 
 categories: research rust
 ---
 

-After several years of work, the Tree Borrows paper has finally been presented recently at PLDI 2025 in Seoul.
+After several years of work, our Tree Borrows paper has finally been presented recently at PLDI 2025 in Seoul.

 Tree Borrows has not changed much compared to what has previously been mentioned in this blog and on [Neven's website](https://perso.crans.org/vanille/treebor/).
 We used all that extra time for *formal proofs* that Tree Borrows indeed allows at least some of the optimizations that we hope to gain from it,
 and to carry out an extensive evaluation of Tree Borrows on the 30 000 most-downloaded crates on crates.io.
 Tree Borrows has not changed much compared to what has previously been mentioned in this blog and on [Neven's website](https://perso.crans.org/vanille/treebor/).
 We used all that extra time for *formal proofs* that Tree Borrows indeed allows at least some of the optimizations that we hope to gain from it,
 and to carry out an extensive evaluation of Tree Borrows on the 30 000 most-downloaded crates on crates.io.


@@ -11,4 +11,4 @@ This overall package of implementation, proof, and evaluation impressed the PLDI
 Thanks a lot to Neven and Johannes for all the hard work and congratulations on an amazing paper!
 
 If you want to check out the paper yourself, everything is [available under open access](https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html).
 Thanks a lot to Neven and Johannes for all the hard work and congratulations on an amazing paper!
 
 If you want to check out the paper yourself, everything is [available under open access](https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html).

-Neven's amazing talk presenting the paper [can be found here](https://youtu.be/YhXlZp45HLs?t=21477).
+Neven's amazing talk presenting the paper [can be found here](https://www.youtube.com/watch?v=CJi_Fcs4bak).