Chenyi Zhang

ORCID

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 50

Top Venues

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Yexin Zhang, Chenyi Zhang, Cong Fang, Liwei Wang, Tongyang Li
Quantum Algorithms and Lower Bounds for Finite-Sum Optimization. CoRR (2024)
Yulin Bao, Chenyi Zhang, Kaile Su
Call-Graph-Based Context-Sensitive Points-to Analysis for Java. IEEE Trans. Reliab. 73 (2) (2024)
Chenyi Zhang, Yihan Hu, Henghui Ding, Humphrey Shi, Yao Zhao, Yunchao Wei
Learning Trimaps via Clicks for Image Matting. CoRR (2024)
Shuai Ma, Chenyi Zhang, Xinru Wang, Xiaojuan Ma, Ming Yin
Beyond Recommender: An Exploratory Study of the Effects of Different AI Roles in AI-Assisted Decision Making. CoRR (2024)
Chenyi Zhang, Yu Xue, Ferrante Neri, Xu Cai, Adam Slowik
Multi-Objective Self-Adaptive Particle Swarm Optimization for Large-Scale Feature Selection in Classification. Int. J. Neural Syst. 34 (3) (2024)
Jiachen Hu, Tongyang Li, Xinzhao Wang, Yecheng Xue, Chenyi Zhang, Han Zhong
Quantum Non-Identical Mean Estimation: Efficient Algorithms and Fundamental Limits. TQC (2024)
Scott Aaronson, Adam Bouland, Bill Fefferman, Soumik Ghosh, Umesh V. Vazirani, Chenyi Zhang, Zixin Zhou
Quantum Pseudoentanglement. ITCS (2024)
Hao Wang, Chenyi Zhang, Tongyang Li
Near-Optimal Quantum Algorithm for Minimizing the Maximal Loss. ICLR (2024)
Adam Bouland, Bill Fefferman, Soumik Ghosh, Tony Metger, Umesh V. Vazirani, Chenyi Zhang, Zixin Zhou
Public-Key Pseudoentanglement and the Hardness of Learning Ground State Entanglement Structure. CCC (2024)
Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang
A Confirmation Rule for the Ethereum Consensus Protocol. CoRR (2024)
Chenyi Zhang, Tongyang Li
Comparisons Are All You Need for Optimizing Smooth Functions. CoRR (2024)
Hao Wang, Chenyi Zhang, Tongyang Li
Near-Optimal Quantum Algorithm for Minimizing the Maximal Loss. CoRR (2024)
Chenyi Zhang, Tongyang Li
Quantum Lower Bounds for Finding Stationary Points of Nonconvex Functions. ICML (2023)
Aaron Sidford, Chenyi Zhang
Quantum speedups for stochastic optimization. NeurIPS (2023)
Adam Bouland, Bill Fefferman, Soumik Ghosh, Tony Metger, Umesh V. Vazirani, Chenyi Zhang, Zixin Zhou
Public-key pseudoentanglement and the hardness of learning ground state entanglement structure. CoRR (2023)
Yu Xue, Chenyi Zhang, Ferrante Neri, Moncef Gabbouj, Yong Zhang
An external attention-based feature ranker for large-scale feature selection. Knowl. Based Syst. 281 (2023)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Ming Li
Adversarial Detection from Derived Models. Int. J. Pattern Recognit. Artif. Intell. 37 (15) (2023)
Ming Li, Chenyi Zhang, Qin Li, Shuangqin Cheng
Monotonic learning with hypothesis evolution. Inf. Sci. 647 (2023)
Aaron Sidford, Chenyi Zhang
Quantum speedups for stochastic optimization. CoRR (2023)
Andrew M. Childs, Jiaqi Leng, Tongyang Li, Jin-Peng Liu, Chenyi Zhang
Quantum simulation of real-space dynamics. CoRR (2022)
Chenyi Zhang, Tongyang Li
Quantum Lower Bounds for Finding Stationary Points of Nonconvex Functions. CoRR (2022)
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
A Mask-Based Adversarial Defense Scheme. Algorithms 15 (12) (2022)
Andrew M. Childs, Jiaqi Leng, Tongyang Li, Jin-Peng Liu, Chenyi Zhang
Quantum simulation of real-space dynamics. Quantum 6 (2022)
Weiyuan Gong, Chenyi Zhang, Tongyang Li
Robustness of Quantum Algorithms for Nonconvex Optimization. CoRR (2022)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
A Uniform Framework for Anomaly Detection in Deep Neural Networks. Neural Process. Lett. 54 (4) (2022)
Yaju Li, Chenyi Zhang, Qin Li
Taint Trace Analysis For Java Web Applications. SEKE (2022)
Chenyi Zhang
Comparison Between Montelukast Sodium and Tiotropium Bromide for Asthma Treatment. ISAIMS (2022)
Chenyi Zhang, Jun Pang
Modal characterisation of simulation relations in probabilistic concurrent games. Sci. Comput. Program. 215 (2022)
Weizhen Xu, Chenyi Zhang, Fangzhen Zhao, Liangda Fang
A Mask-Based Adversarial Defense Scheme. CoRR (2022)
Yulin Bao, Chenyi Zhang, Xilong Zhuo, Yongliang Wang
Parameter Sensitive Pointer Analysis for Java. ICECCS (2022)
Fangzhen Zhao, Chenyi Zhang, Naipeng Dong, Zefeng You, Zhenxin Wu
A Uniform Framework for Anomaly Detection in Deep Neural Networks. CoRR (2021)
Chenyi Zhang, Tongyang Li
Escape saddle points by a simple gradient-descent based algorithm. NeurIPS (2021)
Chenyi Zhang, Tongyang Li
Escape saddle points by a simple gradient-descent based algorithm. CoRR (2021)
Chenyi Zhang, Jiaqi Leng, Tongyang Li
Quantum algorithms for escaping from saddle points. Quantum 5 (2021)
Deming Chu, Fan Zhang, Xuemin Lin, Wenjie Zhang, Ying Zhang, Yinglong Xia, Chenyi Zhang
Finding the Best k in Core Decomposition: A Time and Space Optimal Solution. ICDE (2020)
Yi Lu, Chenyi Zhang
Nontransitive Security Types for Coarse-grained Information Flow Control. CSF (2020)
Chenyi Zhang, Jun Pang
Characterising Probabilistic Alternating Simulation for Concurrent Games. TASE (2020)
Chenyi Zhang
Minimal consistent DFA from sample strings. Acta Informatica 57 (3-5) (2020)
Xilong Zhuo, Chenyi Zhang
TFA: an efficient and precise virtual method call resolution for Java. Formal Aspects Comput. 32 (4-6) (2020)
Chenyi Zhang, Jun Pang
Preface for the special issue of the 12th International Symposium on Theoretical Aspects of Software Engineering (TASE 2018). Sci. Comput. Program. 187 (2020)
Chenyi Zhang, Jiaqi Leng, Tongyang Li
Quantum Algorithms for Escaping from Saddle Points. CoRR (2020)
Xilong Zhuo, Chenyi Zhang
A Relational Static Semantics for Call Graph Construction. CoRR (2019)
Chenyi Zhang, Jun Pang
Characterising Probabilistic Alternating Simulation for Concurrent Games. CoRR (2019)
Xilong Zhuo, Chenyi Zhang
A Relational Static Semantics for Call Graph Construction. ICFEM (2019)
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158 (4) (2018)
Patrick Doolan, Graeme Smith, Chenyi Zhang, Padmanabhan Krishnan
Improving the Scalability of Automatic Linearizability Checking in SPIN. ICFEM (2017)
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) (2017)
Chenyi Zhang, Ke Wang
POI recommendation through cross-region collaborative filtering. Knowl. Inf. Syst. 46 (2) (2016)
Chenyi Zhang, Hongwei Liang, Ke Wang
Trip Recommendation Meets Real-World Constraints: POI Availability, Diversity, and Traveling Time Uncertainty. ACM Trans. Inf. Syst. 35 (1) (2016)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The complexity of synchronous notions of information flow security. Theor. Comput. Sci. 631 (2016)
Xueyi Zhao, Chenyi Zhang, Zhongfei Zhang
Distributed cross-media multiple binary subspace learning. Int. J. Multim. Inf. Retr. 4 (2) (2015)
Chenyi Zhang, Ke Wang, Ee-Peng Lim, Qinneng Xu, Jianling Sun, Hongkun Yu
Are Features Equally Representative? A Feature-Centric Recommendation. AAAI (2015)
Chenyi Zhang, Hongwei Liang, Ke Wang, Jianling Sun
Personalized Trip Recommendation with POI Availability and Uncertain Traveling Time. CIKM (2015)
Lijun Wu, Kaile Su, Shaowei Cai, Xiaosong Zhang, Chenyi Zhang, Shupeng Wang
An I/O Efficient Approach for Detecting All Accepting Cycles. IEEE Trans. Software Eng. 41 (8) (2015)
Chenyi Zhang, Xueyi Zhao, Ke Wang, Jianling Sun
Content + Attributes: A Latent Factor Model for Recommending Scientific Papers in Heterogeneous Academic Networks. ECIR (2014)
Xueyi Zhao, Chenyi Zhang, Zhongfei Zhang
Distributed Binary Subspace Learning on large-scale cross media data. ICME (2014)
Xin Xia, David Lo, Xingen Wang, Chenyi Zhang, Xinyu Wang
Cross-language bug localization. ICPC (2014)
Chenyi Zhang, Ke Wang, Hongkun Yu, Jianling Sun, Ee-Peng Lim
Latent Factor Transition for Dynamic Collaborative Filtering. SDM (2014)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The Complexity of Synchronous Notions of Information Flow Security. CoRR (2014)
Chenyi Zhang, Jianling Sun, Ke Wang
Information propagation in microblog networks. ASONAM (2013)
Ron van der Meyden, Chenyi Zhang
Information flow in systems with schedulers, Part II: Refinement. Theor. Comput. Sci. 484 (2013)
Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li
Path-Sensitive Data Flow Analysis Simplified. ICFEM (2013)
Zhiyuan Liu, Jun Pang, Chenyi Zhang
Design and formal verification of a CEM protocol with transparent TTP. Frontiers Comput. Sci. 7 (2) (2013)
Ron van der Meyden, Chenyi Zhang
Information flow in systems with schedulers, Part I: Definitions. Theor. Comput. Sci. 467 (2013)
Chenyi Zhang, Jun Pang
An Algorithm for Probabilistic Alternating Simulation. SOFSEM (2012)
Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz
Translating flowcharts to non-deterministic languages. PEPM (2012)
Yi Lu, John Potter, Chenyi Zhang, Jingling Xue
A Type and Effect System for Determinism in Multithreaded Programs. ESOP (2012)
Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
A trust-augmented voting scheme for collaborative privacy management. J. Comput. Secur. 20 (4) (2012)
Xiaowei Huang, Kaile Su, Chenyi Zhang
Probabilistic Alternating-Time Temporal Logic of Incomplete Information and Synchronous Perfect Recall. AAAI (2012)
Kai Engelhardt, Ron van der Meyden, Chenyi Zhang
Intransitive noninterference in nondeterministic systems. CCS (2012)
Chenyi Zhang, Jianling Sun
Large scale microblog mining using distributed MB-LDA. WWW (Companion Volume) (2012)
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
Game-based verification of contract signing protocols with minimal messages. Innov. Syst. Softw. Eng. 8 (2) (2012)
Zhiyuan Liu, Jun Pang, Chenyi Zhang
Verification of A Key Chain Based TTP Transparent CEM Protocol. Electron. Notes Theor. Comput. Sci. 274 (2011)
Chenyi Zhang, Jun Pang
An Algorithm for Probabilistic Alternating Simulation CoRR (2011)
Chenyi Zhang
Conditional Information Flow Policies and Unwinding Relations. TGC (2011)
Yanjie Sun, Chenyi Zhang, Jun Pang, Baptiste Alcalde, Sjouke Mauw
A Trust-Augmented Voting Scheme for Collaborative Privacy Management. STM (2010)
Ron van der Meyden, Chenyi Zhang
A comparison of semantic models for noninterference. Theor. Comput. Sci. 411 (47) (2010)
Chenyi Zhang, Jun Pang
On Probabilistic Alternating Simulations. IFIP TCS (2010)
Franck Cassez, Ron van der Meyden, Chenyi Zhang
The Complexity of Synchronous Notions of Information Flow Security. FoSSaCS (2010)
Chenyi Zhang, Jun Pang
On Probabilistic Alternating Simulations CoRR (2010)
Chenyi Zhang
Unwinding Conditional Noninterference CoRR (2010)
Zhiyuan Liu, Jun Pang, Chenyi Zhang
Extending a Key-Chain Based Certified Email Protocol with Transparent TTP. EUC (2010)
Ying Zhang, Chenyi Zhang, Jun Pang, Sjouke Mauw
Game-Based Verification of Multi-Party Contract Signing Protocols. Formal Aspects in Security and Trust (2009)
Jun Pang, Chenyi Zhang
How to Work with Honest but Curious Judges? (Preliminary Report) SECCO (2009)
Ron van der Meyden, Chenyi Zhang
Information Flow in Systems with Schedulers. CSF (2008)
Bernhard Scholz, Chenyi Zhang, Cristina Cifuentes
User-Input Dependence Analysis via Graph Reachability. SCAM (2008)
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP (2007)
Ron van der Meyden, Chenyi Zhang
Algorithmic Verification of Noninterference Properties. Electron. Notes Theor. Comput. Sci. 168 (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Remarks on Testing Probabilistic Processes. Electron. Notes Theor. Comput. Sci. 172 (2007)
Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes. LICS (2007)
Ron van der Meyden, Chenyi Zhang
A Comparison of Semantic Models for Noninterference. Formal Aspects in Security and Trust (2006)

Chenyi Zhang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chenyi Zhang