From: Ralf Jung Date: Mon, 7 Jul 2025 10:00:08 +0000 (+0200) Subject: add TB paper and blog post X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/11f166c45fc5047a7ac574caec8ca977d16c37a6 add TB paper and blog post --- diff --git a/personal/_posts/2025-07-07-tree-borrows-paper.md b/personal/_posts/2025-07-07-tree-borrows-paper.md new file mode 100644 index 0000000..3d16df2 --- /dev/null +++ b/personal/_posts/2025-07-07-tree-borrows-paper.md @@ -0,0 +1,14 @@ +--- +title: "The Tree Borrows paper is finally published" +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/). +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*. :-) +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). diff --git a/research/papers/2025-pldi-tree-borrows.pdf b/research/papers/2025-pldi-tree-borrows.pdf new file mode 100644 index 0000000..571c6e1 Binary files /dev/null and b/research/papers/2025-pldi-tree-borrows.pdf differ diff --git a/research/publications.html b/research/publications.html index f67e583..17e4d33 100644 --- a/research/publications.html +++ b/research/publications.html @@ -7,6 +7,13 @@ slug: Publications

2025

+ +