BUCS PhD Candidate Ugur Y. Yavuz receives Distinguished Paper Award at the SPAA 2025 conference.
BUCS PhD Candidate Ugur Y. Yavuz and his collaborator Siddhartha Jayanti received the Distinguished Paper Award at the 37th ACM Symposium on Parallelism in Algorithms and Architectures [SPAA] conference for their paper “Formal Machine-Verification of MemSnap: An Efficient, Far-Future Linearizable Snapshot Algorithm.” Congratulations and well done!