Tree Borrows won a Distinguished Paper Award!

Our paper Tree Borrows was awarded one of 6 Distinguished Paper Awards. To be honest, I feel pretty stoked about it :) It was quite a surprise, since they did not tell us about it before the awards ceremony.

PS: I updated the TB slides linked here to our PLDI talk slides. If you want to see the slides presented at the Rust Verification Workshop 2024, see here.