Publications

* equal contribution · # corresponding author

2026

TON

Efficient Quantum Link Selection and Fidelity Estimation Under Success Rate Constraints

Maoli Liu, Zhuohua Li#, Xuchuang Wang, and John C.S. Lui

IEEE Transactions on Networking, 2026.

ISSRE

Toward Verified Code from Natural Language: Understanding Pipeline Design for Formally Verified Rust Program Generation

Lianhe Hu, Cheng Wen, Jialun Cao, Shengchao Qin, Dugang Liu, Zhiwu Xu, Zhuohua Li, Haokun Li and Weidi Sun

The 37th IEEE International Symposium on Software Reliability Engineering. Limassol, Cyprus, October 2026.

ASE

Understanding the Performance-Effectiveness Trade-offs of AddressSanitizer in Real-world Programs: An Empirical Study

Jiaxin Xi, Cheng Wen, Zhiwei Lin, Yuandao Cai, Jie Su, Bin Yu, Zhuohua Li, and Shengchao Qin

The 41st IEEE/ACM International Conference on Automated Software Engineering, Industry Showcase Track. Munich, Germany, October 2026.

Code

TASE

Towards Accurate Thread Sharing Analysis via Synchronization-Aware Dynamic Tracing

Jun Zhang, Xinyin Liao, Cheng Wen, Jie Su, Zhuohua Li, Yuandao Cai, Xiaoxue Ma, and Shengchao Qin

The 20th International Symposium on Theoretical Aspects of Software Engineering. Shanghai, China, July 2026.

Code

TON

Multipath Inter-Domain Routing Protocols for Quantum Networks with Online Path Selection

Zhuohua Li, Maoli Liu#, Kechao Cai, Jonathan Allcock, Shengyu Zhang, and John C.S. Lui

IEEE Transactions on Networking, Volume 34, 2026.

PDF Code

AAAI

A Multi-Agent Conversational Bandit Approach to Online Evaluation and Selection of User-Aligned LLM Responses

Xiangxiang Dai, Yuejin Xie, Maoli Liu, Xuchuang Wang, Zhuohua Li#, Huanyu Wang, and John C.S. Lui

The 40th AAAI Conference on Artificial Intelligence, Special Track on AI Alignment. Singapore, January 2026.

AI Alignment Track AR: 106/468 = 22.6%

arXiv PDF Poster Code

2025

KDD

Leveraging the Power of Conversations: Optimal Key Term Selection in Conversational Contextual Bandits

Maoli Liu, Zhuohua Li#, Xiangxiang Dai, and John C.S. Lui

The 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Toronto, Canada, August 2025.

February Cycle AR: 365/1988 = 18.4%

Full version PDF

ICLR

Demystifying Online Clustering of Bandits: Enhanced Exploration Under Stochastic and Smoothed Adversarial Contexts

Zhuohua Li*, Maoli Liu*#, Xiangxiang Dai, and John C.S. Lui

The 13th International Conference on Learning Representations. Singapore, April 2025.

arXiv Poster

WWW

Towards Efficient Conversational Recommendations: Expected Value of Information Meets Bandit Learning

Zhuohua Li, Maoli Liu#, Xiangxiang Dai, and John C.S. Lui

The ACM Web Conference 2025. Sydney, Australia, April 2025.

AR: 409/2062 = 19.8%

PDF Poster

INFOCOM

Learning Best Paths in Quantum Networks

Xuchuang Wang, Maoli Liu#, Xutong Liu#, Zhuohua Li, Mohammad Hajiesmaili, John C.S. Lui, and Don Towsley

The IEEE Conference on Computer Communications. London, United Kingdom, May 2025.

AR: 272/1458 = 18.7%

Full version

2024

IJCAI

FedConPE: Efficient Federated Conversational Bandits with Heterogeneous Clients

Zhuohua Li*, Maoli Liu*, and John C.S. Lui

The 33rd International Joint Conference on Artificial Intelligence. Jeju, South Korea, August 2024.

AR: 791/5651 = 14.0%, Long Oral: 128/5651 = 2.3%

PDF Poster BibTeX Full version

INFOCOM

LinkSelFiE: Link Selection and Fidelity Estimation in Quantum Networks

Maoli Liu, Zhuohua Li#, Xuchuang Wang, and John C.S. Lui

The IEEE Conference on Computer Communications. Vancouver, Canada, May 2024.

AR: 256/1307 = 19.6%

PDF Code

INFOCOM

Quantum BGP with Online Path Selection via Network Benchmarking

Maoli Liu*, Zhuohua Li*#, Kechao Cai, Jonathan Allcock, Shengyu Zhang, and John C.S. Lui

The IEEE Conference on Computer Communications. Vancouver, Canada, May 2024.

AR: 256/1307 = 19.6%

PDF Code

2023

DSN

IoT Anomaly Detection Via Device Interaction Graph

Jincheng Wang, Zhuohua Li, Mingshen Sun, Bin Yuan, and John C.S. Lui

The 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks. Porto, Portugal, June 2023.

AR: 47/240 = 19.6%

PDF Code

2022

ESORICS

Detecting Cross-Language Memory Management Issues in Rust

Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui

The 27th European Symposium on Research in Computer Security. Copenhagen, Denmark, September 2022.

AR: 104/562 = 18.5%

PDF Code

RAID

Zigbee's Network Rejoin Procedure for IoT Systems: Vulnerabilities and Implications

Jincheng Wang, Zhuohua Li, Mingshen Sun, and John C.S. Lui

The 25th International Symposium on Research in Attacks, Intrusions and Defenses. Limassol, Cyprus, October 2022.

AR: 35/139 = 25.2%

PDF Demo

Topology-Theoretic Approach To Address Attribute Linkage Attacks In Differential Privacy

Jincheng Wang, Zhuohua Li, John C.S. Lui, and Mingshen Sun

Computers & Security, Volume 113, February 2022, 102552.

An earlier version was also presented at the 9th International Workshop on Security and Privacy in Big Data (BigSecurity), with IEEE INFOCOM 2021.

PDF

2021

CCS

MirChecker: Detecting Bugs in Rust Programs via Static Analysis

Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui

The 27th ACM Conference on Computer and Communications Security. Virtual, November 2021.

AR: 196/879 = 22.3%

PDF Code

2019

IoT-SECFOR

Securing the Device Drivers of Your Embedded Systems: Framework and Prototype

Zhuohua Li, Jincheng Wang, Mingshen Sun, and John C.S. Lui

The 3rd International Workshop on Security and Forensics of IoT, with ARES 2019. Canterbury, UK, August 2019.

PDF Code