Qiuyang Mang

Shenzhen/Singapore

profile4.jpg

I am currently seeking Ph.D. positions for 2025 Fall, aiming to combing interesting algorithms with practical applications. If you are interested in me, please feel free to contact me!

I am Qiuyang Mang (忙秋阳 in Chinese), a final-year undergraduate at The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), under the guidance of Prof. Pinjia He. I am currently interning at Trustworthy Engineering of Software Technologies (TEST) Lab in the National University of Singapore, advised by Prof. Manuel Rigger. My focus broadly lies in AI Robustness [ESEC/FSE23] (e.g., developing automated tools for testing and improving AI software ), testing traditional systems [ICSE24] (e.g., databases and compilers), and graph algorithms [KDD24] (e.g., GNN and graph mining). More recently, I have been focusing on testing graph database management systems (e.g., Neo4j) and graph algorithm libraries (e.g., NetworkX). Our work has successfully detected more than 80 bugs in these systems.

In addition to my research, I am actively involved in Competitive Programming. I participated in the 46th ICPC World Finals in Luxor, Egypt (2024). Prior to this, I earned first runner-up and second runner-up positions at ICPC Regionals, representing CUHK-Shenzhen. I have also served as a jury member and problem setter for several official ICPC contests (currently as a member of SUA). Additionally, I participate in Olympiad Informatics education, including NOI and USACO. As part of my part-time job, I am a senior coach at Xinyoudui (信友队 in Chinese) and X-camp for course designing and teacher management. If you are interested in collaborating on Competitive Programming, please feel free to contact me.

news

Aug 2, 2024 Our paper "Finding Functional Bugs in Spatial Data Engines" was accepted by SIGMOD2025.
Jun 1, 2024 Our paper "Scalable Algorithm for Finding Balanced Subgraphs with Tolerance in Signed Networks" was accepted by KDD2024.
Dec 15, 2023 Our paper "Testing Graph Database Systems via Equivalent Query Rewriting" was accepted by ICSE2024.

selected publications

2024

  1. ICSE’2024
    Testing Graph Database Systems via Equivalent Query Rewriting
    Qiuyang Mang*, Aoyang Fang*, Boxi Yu, Hanfei Chen, and Pinjia He
    ICSE’24: International Conference on Software Engineering, 2024
  2. KDD’2024
    Scalable Algorithm for Finding Balanced Subgraphs with Tolerance in Signed Networks
    Jingbang Chen*, Qiuyang Mang*, Hangrui Zhou*, Richard Peng, Yu Gao, and 1 more author
    KDD’24: the 30th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2024
  3. SIGMOD’2025
    Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
    Wenjing Deng, Qiuyang Mang, Chengyu Zhang, and Manuel Rigger
    Proc. ACM Manag. Data, Berlin, Germany, 2024