OWL: Understanding and Detecting Concurrency Attacks. - Shixiong Zhao; Rui Gu; Haoran Qiu; Tsz On Li; Yuexuan Wang; Heming Cui; Junfeng Yang (DSN, 2018)

Fulva: Efficient Live Migration for In-Memory Key-Value Stores with Zero Downtime. - Jiewen Hai; Cheng Wang 021; Xusheng Chen; Tsz On Li; Heming Cui; Sen Wang 004 (SRDS, 2019)

Uranus: Simple, Efficient SGX Programming and its Applications. - Jianyu Jiang; Xusheng Chen; Tsz On Li; Cheng Wang 021; Tianxiang Shen; Shixiong Zhao; Heming Cui; Cho-Li Wang; Fengwei Zhang (AsiaCCS, 2020)

UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System. - Tsz On Li; Jianyu Jiang; Ji Qi 002; Chi Chiu So; Jiacheng Ma 003; Xusheng Chen; Tianxiang Shen; Heming Cui; Yuexuan Wang; Peng Wang 070 (DSN, 2020)

vSMT-IO: Improving I/O Performance and Efficiency on SMT Processors in Virtualized Clouds. - Weiwei Jia 001; Jianchen Shan; Tsz On Li; Xiaowei Shang; Heming Cui; Xiaoning Ding (USENIX ATC, 2020)

Differential Spectral Normalization (DSN) for PDE Discovery. - Chi Chiu So; Tsz On Li; Chufang Wu; Siu Pang Yung (AAAI, 2021)

MVSAS: Semantic-Aware Scheduling for Low Latency and High Precision in Wireless Multi-View Application. - Xiuxian Guan; Zekai Sun; Shengliang Deng; Shixiong Zhao; Tianxiang Shen; Tsz On Li; Yuexuan Wang; Rui Wang 007; Heming Cui (ICPADS, 2021)

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (CoRR, 2022)

Efficient and DoS-resistant Consensus for Permissioned Blockchains. - Xusheng Chen; Shixiong Zhao; Ji Qi 002; Jianyu Jiang; Haoze Song; Cheng Wang 021; Tsz On Li; T.-H. Hubert Chan; Fengwei Zhang; Xiapu Luo; Sen Wang 004; Gong Zhang 001; et al. (Perform. Evaluation, 2022)

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (ASE, 2023)

Finding Failure-Inducing Test Cases with ChatGPT. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (CoRR, 2023)

Is ChatGPT the Ultimate Programming Assistant - How far is it? - Haoye Tian; Weiqi Lu; Tsz On Li; Xunzhu Tang; Shing-Chi Cheung; Jacques Klein; Tegawendé F. Bissyandé (CoRR, 2023)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (ACM Trans. Softw. Eng. Methodol., 2023)

Themis: Automatic and Efficient Deep Learning System Testing with Strong Fault Detection Capability. - Dong Huang 005; Tsz On Li; Xiaofei Xie; Heming Cui (ISSRE, 2024)

Porting Software Libraries to OpenHarmony: Transitioning from TypeScript or JavaScript to ArkTS. - Bo Zhou; Jiaqi Shi; Ying Wang 038; Li Li 029; Tsz On Li; Hai Yu 001; Zhiliang Zhu 001 (Proc. ACM Softw. Eng., 2025)