Our paper Finding Logic Bugs in Graph-processing Systems via Graph-cutting was accepted by SIGMOD2025.