The Tree Borrows paper is finally published

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 . 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…