Selected Papers

• Enriching Recommendation Models with Logic Conditions (Link)
  ACM SIGMOD International Conference on Management of Data (SIGMOD), 2024.
  Lihang Fan, Wenfei Fan, Ping Lu, Chao Tian, and Qiang Yin*.

• Layph: Making Change Propagation Constraint in Incremental Graph Processing by Layering Graph (PDF)
  IEEE International Conference on Data Engineering (ICDE), 2023.
  Song Yu, Shufeng Gong, Yanfeng Zhang, Wenyuan Yu, Qiang Yin, Chao Tian, Qian Tao, Yongze Yan, Ge Yu, Jingren Zhou

• GNNLab: A Factored System for Sample-based GNN Training over GPUs (PDF, Code)
  The 17th European Conference on Computer Systems (Eurosys), 2022.
  Jianbang Yang, Dahai Tang, Xiaoniu Song, Lei Wang, Qiang Yin, Rong Chen, Wenyuan Yu and Jingren Zhou

• FlexGraph: a flexible and efficient distributed framework for GNN training (PDF)
  The 16th European Conference on Computer Systems (Eurosys), 2021.
  Lei Wang, Qiang Yin, Chao Tian, Jianbang Yang, Rong Chen, Wenyuan Yu, Zihang Yao, Jingren Zhou

• Incrementalizing Graph Algorithms (PDF)
  ACM SIGMOD Conference on Management of Data (SIGMOD), 2021.
  Wenfei Fan, Chao Tian, Ruiqi Xu, Qiang Yin, Wenyuan Yu, Jingren Zhou

• Automating Incremental Graph Processing with Flexible Memoization (PDF)
  The 47th International Conference on Very Large Data Bases (VLDB), 2021
  Shufeng Gong, Chao Tian, Qiang Yin, Wenyuan Yu, Yanfeng Zhang, Liang Geng, Song Yu, Ge Yu, Jingren Zhou

• Parallel Discrepancy Detection and Incremental Detection (PDF)
  The 47th International Conference on Very Large Data Bases (VLDB), 2021
  Wenfei Fan, Chao Tian, Yanghao Wang, Qiang Yin

• Application Driven Graph Partitioning (PDF)
  ACM SIGMOD Conference on Management of Data (SIGMOD), 2020.
  Wenfei Fan, Ruochun Jin, Muyang Liu, Ping Lu, Xiaojian Luo, Ruiqi Xu, Qiang Yin, Wenyuan Yu, Jingren Zhou

• Bisimulation Equivalence of Pushdown Automata Is Ackermann-Complete (PDF)
  The 47th International Colloquium on Automata, Languages, and Programming (ICALP), 2020
  Wenbo Zhang, Qiang Yin*, Huan Long, Xian Xu

• Dynamic Scaling for Parallel Graph Computations (PDF)
  The 45th International Conference on Very Large Data Bases (VLDB), 2019
  Wenfei Fan, Chunming Hu, Muyang Liu, Ping Lu, Qiang Yin, Jingren Zhou

• Adaptive Asynchronous Parallelization of Graph Algorithms (PDF)
  ACM SIGMOD Conference on Management of Data (SIGMOD), 2018.
  Wenfei Fan, Ping Lu, Xiaojian Luo, Jingbo Xu, Qiang Yin, Wenyuan Yu, Ruiqi Xu

• Two Lower Bounds for BPA (PDF)
  28th International Conference on Concurrency Theory (CONCUR), 2017
  Mingzhang Huang and Qiang Yin*

• Branching Bisimilarity Checking for PRS (PDF)
  The 41th International Colloquium on Automata, Languages, and Programming (ICALP), 2014
  Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

• Ingress: an automated incremental graph processing system (PDF, Link)
  The VLDB Journal, 2024.
  Shufeng Gong, Chao Tian, Qiang Yin*, Zhengdong Wang, Song Yu, Yanfeng Zhang, Wenyuan Yu, Liang Geng, Chong Fu, Ge Yu, Jingren Zhou

• Application Driven Graph Partitioning (PDF, Link)
  The VLDB Journal, 2022.
  Wenfei Fan, Ruiqi Xu, Qiang Yin*, Wenyuan Yu, Jingren Zhou.

• Graph Algorithms With Partition Transparency (PDF)
  IEEE Transactions on Knowledge and Data Engineering (TKDE), 2021.
  Wenfei Fan, Muyang Liu, Ping Lu, Qiang Yin.

• On the Interactive Power of Higher-order Processes Extended with Parameterization (DOI)
  Formal Aspects of Computing (FAC) 33, 151–183. 2021.
  Wenbo Zhang, Xian Xu, Qiang Yin, Huan Long.

• Adaptive asynchronous parallelization of graph algorithms (PDF)
  ACM Transactions on Database Systems (TODS) 45(2): 6:1-6:45 (invited), 2020.
  Wenfei Fan, Ping Lu, Wenyuan Yu, Jingbo Xu, Qiang Yin*, Xiaojian Luo, Jingren Zhou, Ruochun Jin.

• Parallelizing Sequential Graph Computations (PDF)
  ACM Transactions on Database Systems (TODS) 43(4): 18:1-18:39 (invited), 2018.
  Wenfei Fan, Jingbo Xu , Wenyuan Yu , Jingren Zhou, Xiaojian Luo, Qiang Yin, Ping Lu, Yang Cao, and Ruiqi Xu.

• Dividing Line between Decidable PDA's and Undecidable Ones (arxiv)
  Yuxi Fu and Qiang Yin

• The Decidability of epsilon-Pushing PDA (PDF)
  Yuxi Fu and Qiang Yin

Please also refer to my Google Scholar profile.

---

Last updated: Feb 22, 2024