Finding Logic Bugs in Graph-processing Systems via Graph-cutting

Authors

• 1. Qiuyang Mang (Chinese University of Hong Kong)
• 2. Jinsheng Ba (ETH Zurich)
• 3. Pinjia He (Chinese University of Hong Kong)
• 4. Manuel Rigger (National University of Singapore)

@inproceedings{mang_sigmod25,
        title = {{Finding Logic Bugs in Graph-processing Systems via Graph-cutting}},
        author = {Mang, Qiuyang and Ba, Jinsheng and He, Pinjia and Rigger, Manuel},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3725300},
        url = {https://dl.acm.org/doi/10.1145/3725300},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers