| 2026 | ACL | Across Programming Language Silos: A Study on Cross-Lingual Retrieval-Augmented Code Generation. | Qiming Zhu, Jialun Cao, Xuanang Chen, Weili Zhang, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung |
| 2026 | FM | ModelWisdom: An Integrated Toolkit for TLA | Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung |
| 2025 | AAAI | DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation. | Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung |
| 2025 | ACL | From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. | Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian |
| 2025 | ACL | CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. | Ruiyang Xu, Jialun Cao, Yaojie Lu, Ming Wen, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun |
| 2025 | ICSE | A Tale of Two DL Cities: When Library Tests Meet Compiler. | Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang |
| 2025 | ICST | Differential Testing of Concurrent Classes. | Valerio Terragni, Shing-Chi Cheung |
| 2024 | CAV | Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. | Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian |
| 2024 | ISSTA | Towards Understanding the Bugs in Solidity Compiler. | Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2024 | SP | Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. | Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung |
| 2023 | IJCAI | Revisiting the Evaluation of Deep Learning-Based Compiler Testing. | Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Chengnian Sun, Shing-Chi Cheung |
| 2023 | ISSTA | ConfFix: Repairing Configuration Compatibility Issues in Android Apps. | Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, Shing-Chi Cheung |
| 2023 | ISSTA | ωTest: WebView-Oriented Testing for Android Applications. | Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung |
| 2023 | ISSTA | Fuzzing Deep Learning Compilers with HirGen. | Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung |
| 2022 | ICSE | DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. | Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung |
| 2022 | ICSE | Nufix: Escape From NuGet Dependency Maze. | Zhenming Li, Ying Wang, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou |
| 2022 | ICSE | APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps. | Sinan Wang, Yibo Wang, Xian Zhan, Ying Wang, Yepang Liu, Xiapu Luo, Shing-Chi Cheung |
| 2021 | ICSE | TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. | Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung |
| 2021 | ICSE | HERO: On the Chaos When PATH Meets Modules. | Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu |
| 2020 | ICSE | EvalDNN: a toolbox for evaluating deep neural network models. | Yongqiang Tian, Zhihua Zeng, Ming Wen, Yepang Liu, Tzu-yang Kuo, Shing-Chi Cheung |
| 2020 | ICSE | Watchman: monitoring dependency conflicts for Python library ecosystem. | Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu |
| 2020 | ICSE | Boosting automated program repair with bug-inducing commits. | Ming Wen, Yepang Liu, Shing-Chi Cheung |
| 2019 | ICSE | Could I have a stack trace to examine the dependency conflict issue? | Ying Wang, Ming Wen, Rongxin Wu, Zhenwei Liu, Shin Hwei Tan, Zhiliang Zhu, Hai Yu, Shing-Chi Cheung |
| 2019 | ICSE | Pivot: learning API-device correlations to facilitate Android compatibility issue detection. | Lili Wei, Yepang Liu, Shing-Chi Cheung |
| 2019 | ICSE | Exposing library API misuses via mutation analysis. | Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su |
| 2018 | ICSE | Context-aware patch generation for better automated program repair. | Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung |
| 2018 | ICSE | Synthesizing relation-aware entity transformation by examples. | Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu |
| 2018 | ICSE | ChangeLocator: locate crash-inducing changes based on crash reports. | Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang |
| 2018 | ISSTA | An empirical study on TensorFlow program bugs. | Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang |
| 2016 | ICSE | CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. | Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu |
| 2016 | ICSE | VEnron: a versioned spreadsheet corpus and related evolution analysis. | Wensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang |
| 2016 | ICSE | Coverage-driven test code generation for concurrent classes. | Valerio Terragni, Shing-Chi Cheung |
| 2016 | ISSTA | CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. | Valerio Terragni, Yepang Liu, Shing-Chi Cheung |
| 2016 | POPL | Casper: an efficient approach to call trace collection. | Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang |
| 2015 | ICSE | RECONTEST: Effective Regression Testing of Concurrent Programs. | Valerio Terragni, Shing-Chi Cheung, Charles Zhang |
| 2014 | ICSE | Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation. | Wensheng Dou, Shing-Chi Cheung, Jun Wei |
| 2014 | ICSE | Characterizing and detecting performance bugs for smartphone applications. | Yepang Liu, Chang Xu, Shing-Chi Cheung |
| 2014 | ISSTA | CrashLocator: locating crashing faults based on crash stacks. | Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim |
| 2013 | PERCOM | Where has my battery gone? Finding sensor related energy black holes in smartphone applications. | Yepang Liu, Chang Xu, Shing-Chi Cheung |
| 2011 | ICWS | Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. | Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian L |
| 2010 | EUC | LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph. | Yiyang Zhao, Shing-Chi Cheung, Lionel M. Ni |
| 2010 | ICSE | Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. | Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan |
| 2009 | ICSE | Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. | Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang |
| 2008 | ICDCS | Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. | Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye |
| 2007 | ICPADS | Teaching embedded systems software: The HKUST experience. | Jogesh K. Muppala, Zonghua Gu, Shing-Chi Cheung |
| 2007 | ICSE | Do Maintainers Utilize Deployed Design Patterns Effectively?. | T. H. Ng, Shing-Chi Cheung, W. K. Chan, Yuen-Tak Yu |
| 2007 | ICSE | Goal-Directed Context Validation for Adaptive Ubiquitous Systems. | Chang Xu, Shing-Chi Cheung, Wing Kwong Chan |
| 2007 | ICSE | Process Evolution with Atomicity Consistency. | Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan |
| 2007 | ICWS | Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools. | Frank K. W. Cheong, Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung |
| 2006 | COMPSAC | Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. | W. K. Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse |
| 2006 | EDOC | Adapting Ubiquitous Enterprise Services with Context and Views. | Dickson K. W. Chiu, Dan Hong, Shing-Chi Cheung, Eleanna Kafeza |
| 2006 | ICSE | Toward effective deployment of design patterns for software extension: a case study. | Tsz Hin Ng, Shing-Chi Cheung, Wing Kwong Chan, Yuen-Tak Yu |
| 2006 | ICSE | Incremental consistency checking for pervasive context. | Chang Xu, Shing-Chi Cheung, W. K. Chan |
| 2006 | ICSE | Publishing and composition of atomicity-equivalent services for B2B collaboration. | Chunyang Ye, Shing-Chi Cheung, W. K. Chan |
| 2006 | ICSE | The first international workshop on automation of software test. | Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li |
| 2005 | SERA | A Metamodel Based Model Transformation Approach. | Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu |
| 2004 | AINA | Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents. | Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang |
| 2004 | ER | Grammar Based Interface Processing in Web Service Composition. | Xiaoling Wang, Shing-Chi Cheung |
| 2004 | ER | Semantic Interpretation and Matching of Web Services. | Chang Xu, Shing-Chi Cheung, Xiangye Xiao |
| 2004 | NPC | Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. | Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei |
| 2003 | CaiSE | A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. | Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung |
| 2003 | COMPSAC | Integrating Heterogeneous Web Services with WebXcript. | Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung |
| 2003 | COMPSAC | Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. | Tsz Hin Ng, Shing-Chi Cheung |
| 2003 | ICWS | Implementing Watermark Token in WS-Security for Digital Content Distribution. | Shing-Chi Cheung, Hanif Curreem, Dickson K. W. Chiu, Patrick C. K. Hung |
| 2003 | ICWS | Developing e-Negotiation Process Support by Web Services. | Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung |
| 2003 | ICWS | Alert-Driven Process Integration in a Web Services Environment. | Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung |
| 2002 | COMPSAC | Rights Protection for Digital Contents Redistribution Over the Internet. | Shing-Chi Cheung, Hanif Curreem |
| 2002 | ER | A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. | Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu |
| 2001 | COMPSAC | Exploiting Automatic Analysis of E-Commerce Protocols. | Jun Wei, Shing-Chi Cheung, Xu Wang |
| 2001 | COMPSAC | Automatic Generation of Database Instances for White-box Testing. | Jian Zhang, Chen Xu, Shing-Chi Cheung |
| 2001 | ISSRE | Toward Generic Timing Tests for Distributed Multimedia Software Systems. | Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu |
| 2001 | ISSRE | Modeling and Verifying Strong Cache Consistency for Mobile Data Access . | Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng |
| 1999 | FORTE | Stress Testing of Distributed Multimedia Software Systems. | Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson |
| 1999 | ICECCS | A CSCW Framework for the Flexible Coupling of Groupware Widgets. | Paul Leung, Shing-Chi Cheung |
| 1997 | FORTE | A Framework for Distributed Object-Oriented Testing. | Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs |
| 1996 | ICSE | Checking Subsystem Safety Properties in Compositional Reachability Analysis. | Shing-Chi Cheung, Jeff Kramer |
| 1994 | ICSE | An Integrated Method for Effective Behaviour Analysis of Distributed Systems. | Shing-Chi Cheung, Jeff Kramer |