Skip to content

IDS Guest Seminar - by Mr. Zu-ming JIANG

Title: Toward Reliable and Secure Systems via Granularity Shifting

Speaker: Mr. Zu-ming Jiang, Ph.D. candidate, ETH Zurich

Date: Mar 27, 2025

Time: 10:00am – 11:00am

Venue: Room P307, HKU IDS Office, Graduate House, HKU / Zoom

Mode: Hybrid. Seats for on-site participants are limited. A confirmation email will be sent to participants who have successfully registered.

Abstract

System software plays a foundational role for modern society. The reliability of systems impacts various downstream applications including medicine and finance, and critical bugs in them can lead to disastrous consequences (e.g., deaths and financial crisis). The goal of my research is to advance the science and practice of building reliable and secure systems. In this talk, I will present my work toward this goal on improving the reliability of database management systems (DBMSs), one type of widely deployed foundational systems. At both the methodological and technical levels, my research has been guided by the unifying principle that I call granularity shifting. In particular, I show how granularity shifting led to innovative and effective solutions for three core challenges: (1) validating transaction consistency, (2) checking query result correctness, and (3) generating high-quality SQL queries. Impact-wise, my work has collectively exposed hundreds of diverse bugs in production DBMSs such as MySQL, PostgreSQL, and SQLite. I will conclude the talk by discussing my vision and quest toward reliable and secure systems as well as their applications in critical domains.

Speaker

Mr. Zu-ming JIANG
Ph.D. candidate @ ETH Zurich

Zu-Ming Jiang is a final-year PhD student at ETH Zurich mentored by Zhendong Su. Before joining ETH, he received his Master’s degree from Tsinghua University and Bachelor’s degree from Zhejiang University. His research interests include databases, operating systems, and computer security. His work has appeared in top systems and security venues such as OSDI, USENIX Security, and NDSS, and helped solidify widely-used systems. His dissertation research focuses on developing novel, practical techniques for improving the reliability of systems software specifically focusing on database management systems (DBMSs).

For information, please contact:
Email: datascience@hku.hk