
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
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
- March 10, 2025
- Events, Past Events, What's New
- IDS Seminar / Guest Lecture