Fast, Scalable, and Machine-Verified Multicore Disjoint Set Union Data Structures and their Wide Deployment in Parallel Algorithms (Abstract)
- Siddhartha Jayanti
- , Robert Tarjan
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution