| 2026 | COLT | Computing Lewis weights to high precision using local relative smoothness. | Sander Gribling, Aaron Sidford, Chenyi Zhang |
| 2025 | AAAI | Memory Efficient Matting with Adaptive Token Routing. | Yiheng Lin, Yihan Hu, Chenyi Zhang, Ting Liu, Xiaochao Qu, Luoqi Liu, Yao Zhao, Yunchao Wei |
| 2025 | CVPR | NTClick: Achieving Precise Interactive Segmentation With Noise-tolerant Clicks. | Chenyi Zhang, Ting Liu, Xiaochao Qu, Luoqi Liu, Yao Zhao, Yunchao Wei |
| 2025 | ICLR | Robustness of Quantum Algorithms for Nonconvex Optimization. | Weiyuan Gong, Chenyi Zhang, Tongyang Li |
| 2025 | SIGMOD | GES: High-Performance Graph Processing Engine and Service in Huawei. | Sen Gao, Jianwen Zhao, Hao Zhang, Shixuan Sun, Chen Liang, Gongye Chen, Wenliang Zhang, Bo Ren, Chao Liu, Chenyi Zhang, Quan Chen, Chao Li, Jingwen Leng, Minyi Guo |
| 2024 | ICLR | Near-Optimal Quantum Algorithm for Minimizing the Maximal Loss. | Hao Wang, Chenyi Zhang, Tongyang Li |
| 2024 | ICML | Quantum Algorithms and Lower Bounds for Finite-Sum Optimization. | Yexin Zhang, Chenyi Zhang, Cong Fang, Liwei Wang, Tongyang Li |
| 2023 | ICML | Quantum Lower Bounds for Finding Stationary Points of Nonconvex Functions. | Chenyi Zhang, Tongyang Li |
| 2022 | ICECCS | Parameter Sensitive Pointer Analysis for Java. | Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang |
| 2022 | SEKE | Taint Trace Analysis For Java Web Applications. | Yaju Li, Chenyi Zhang, Qin Li |
| 2020 | ICDE | Finding the Best k in Core Decomposition: A Time and Space Optimal Solution. | Deming Chu, Fan Zhang, Xuemin Lin, Wenjie Zhang, Ying Zhang, Yinglong Xia, Chenyi Zhang |
| 2020 | TASE | Characterising Probabilistic Alternating Simulation for Concurrent Games. | Chenyi Zhang, Jun Pang |
| 2019 | ICFEM | A Relational Static Semantics for Call Graph Construction. | Xilong Zhuo, Chenyi Zhang |
| 2017 | ICFEM | Improving the Scalability of Automatic Linearizability Checking in SPIN. | Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan |
| 2017 | TACAS | Combining String Abstract Domains for JavaScript Analysis: An Evaluation. | Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang |
| 2015 | AAAI | Are Features Equally Representative? A Feature-Centric Recommendation. | Chenyi Zhang, Ke Wang, Ee-Peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu |
| 2015 | CIKM | Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time. | Chenyi Zhang, Hongwei Liang, Ke Wang, Jianling Sun |
| 2014 | ECIR | Content + Attributes: A Latent Factor Model for Recommending Scientific Papers in Heterogeneous Academic Networks. | Chenyi Zhang, Xueyi Zhao, Ke Wang, Jianling Sun |
| 2014 | SDM | Latent Factor Transition for Dynamic Collaborative Filtering. | Chenyi Zhang, Ke Wang, Hongkun Yu, Jianling Sun, Ee-Peng Lim |
| 2013 | ICFEM | Path-Sensitive Data Flow Analysis Simplified. | Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
| 2012 | AAAI | Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. | Xiaowei Huang, Kaile Su, Chenyi Zhang |
| 2012 | CCS | Intransitive noninterference in nondeterministic systems. | Kai Engelhardt, Ron van der Meyden, Chenyi Zhang |
| 2012 | ESOP | A Type and Effect System for Determinism in Multithreaded Programs. | Yi Lu, John Potter, Chenyi Zhang, Jingling Xue |
| 2012 | PEPM | Translating flowcharts to non-deterministic languages. | Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz |
| 2012 | WWW | Large scale microblog mining using distributed MB-LDA. | Chenyi Zhang, Jianling Sun |
| 2012 | SOFSEM | An Algorithm for Probabilistic Alternating Simulation. | Chenyi Zhang, Jun Pang |
| 2010 | EUC | Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. | Zhiyuan Liu, Jun Pang, Chenyi Zhang |
| 2010 | FOSSACS | The Complexity of Synchronous Notions of Information Flow Security. | Franck Cassez, Ron van der Meyden, Chenyi Zhang |
| 2008 | SCAM | User-Input Dependence Analysis via Graph Reachability. | Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes |
| 2007 | ESOP | Scalar Outcomes Suffice for Finitary Probabilistic Testing. | Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang |
| 2007 | LICS | Characterising Testing Preorders for Finite Probabilistic Processes. | Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang |