From 3488dab15a8dd7fe350fa1b3a8fde51dcc71a0f6 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 7 Jul 2025 12:01:27 +0200 Subject: [PATCH 1/1] fix typo --- personal/_posts/2025-07-07-tree-borrows-paper.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/personal/_posts/2025-07-07-tree-borrows-paper.md b/personal/_posts/2025-07-07-tree-borrows-paper.md index 3d16df2..4c1831d 100644 --- a/personal/_posts/2025-07-07-tree-borrows-paper.md +++ b/personal/_posts/2025-07-07-tree-borrows-paper.md @@ -4,7 +4,7 @@ categories: research rust --- After several years of work, the 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 wbesite](https://perso.crans.org/vanille/treebor/). +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. This overall package of implementation, proof, and evaluation impressed the PLDI program committee enough that we got a *distinguished paper award*. :-) -- 2.39.5