2 papers
cs.SE2025
GraphFuzz: Automated Testing of Graph Algorithm Implementations with Differential Fuzzing and Lightweight Feedback
Wenqi Yan, Manuel Rigger, Anthony Wirth +1
Graph algorithms, such as shortest path finding, play a crucial role in enabling essential applications and services like infrastructure planning and navigation, making their corre…
cs.DS2025
-Round MPC Algorithms for Multi-dimensional Grid Graph Connectivity, EMST and DBSCAN
Junhao Gan, Anthony Wirth, Zhuo Zhang
In this paper, we investigate three fundamental problems in the Massively Parallel Computation (MPC) model: (i) grid graph connectivity, (ii) approximate Euclidean Minimum Spanning…