Pinjia He

Publications

Qiuyang Mang, Jinsheng Ba, Pinjia He, Manuel Rigger (2025). Finding Logic Bugs in Graph-processing Systems via Graph-cutting. In SIGMOD 2025.

Project