Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract)

Siddhartha Jayanti, Robert E. Tarjan. Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract). In Laxman Dhulipala, Yihan Sun 0001, editors, Proceedings of the 2024 ACM Workshop on Highlights of Parallel Computing, HOPC 2024, Nantes, France, 17 June 2024. ACM, 2024. [doi]

Abstract

Abstract is missing.