Our paper Finding Logic Bugs in Graph-processing Systems via Graph-cutting was accepted at SIGMOD’25!