Professor Jiang, Zuming

About

Zuming Jiang is an assistant professor at the Department of Computer Science, the University of Hong Kong. His research aims to advance system design and implementation via principal methodology. Specifically, his group is interested in (1) enhancing system reliability, security, and performance via testing, formal verification, and program analysis; and (2) boosting the incorporation of AI and systems, including solidifying AI systems and facilitating systems with AI techniques.

Selected publications

• Zu-Ming Jiang, Zhendong Su. Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. In Proceeding of the 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 2024.
• Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su. Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. In Proceeding of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI). 2023.
• Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su. DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. In Proceedings of the 32nd USENIX Security Symposium. 2023.
• Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu. Context-Sensitive and Directional Concurrency Fuzzing for Data-Race Detection. In Proceedings of the 29th Network and Distributed System Security Symposium (NDSS). 2022.
• Zu-Ming Jiang, Jia-Ju Bai, Kangjie Lu, Shi-Min Hu. Fuzzing Error Handling Code using Context-Sensitive Software Fault Injection. In Proceedings of the 29th USENIX Security Symposium. 2020.