@inproceedings{zhao2024rootingforef,
 author = {Qiyuan Zhao and George Pîrlea and Zhendong Ang and Umang Mathur and Ilya Sergey},
 booktitle = {CPP 2024},
 note = {2024 CPP Distinguished Paper Award},
 title = {Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic},
 url = {https://umangmathur.org/papers/arboreta-cpp24.pdf},
 year = {2024}
}