主要观点：经过数年工作，“Tree Borrows”论文在 2025 年首尔的 PLDI 上发表，与之前在博客和尼文网站提及的相比变化不大，利用额外时间进行了形式证明以表明其能实现期望的优化，并在 crates.io 上的 30000 个最热门 crate 上进行了广泛评估，此实施、证明和评估的整体方案给 PLDI 程序委员会留下深刻印象，获得了杰出论文奖。
关键信息：论文发表于 2025 年首尔 PLDI，利用额外时间做形式证明和评估，获杰出论文奖，论文可公开获取，尼文的演讲视频可找到。
重要细节：多年工作成果发表，在已有基础上改进，对 Tree Borrows 进行多方面工作并取得好成果。