BuffCut: Prioritized Buffered Streaming Graph Partitioning
A streaming graph partitioner that holds up under adversarial input orders. Introduces a bucket-based priority queue with O(1) operations driven by a novel buffer score, keeping per-batch decisions cheap under tight memory limits, and parallelizes the construction for additional throughput. Master's thesis, grade 1.0.