Ti Zhou

I'm a CS PhD student at Stony Brook University (since Fall 2023), working on practical formal verification of high-performance distributed systems. I'm advised by Prof. Shuai Mu and Prof. Omar Chowdhury, and work closely with Zihao Zhang.

Before joining Stony Brook, I completed my M.Sc. (2023) and Honours B.Sc. (2021) in Computer Science at StFX University in Canada, where I was advised by Prof. Man Lin. I worked on CPU power management in the Linux kernel for embedded systems.

I enjoy many forms of art, and I see computer systems as one of them. I do some painting.

Selected Publications

Lion: Modular Verification of Async Runtime Liveness

T. Zhou, Z. Zhang, O. Chowdhury and S. Mu.

SOSP 2026, to appear. (62/390, 15.9% acceptance rate)

Async runtime Novel abstraction for specifying and verifying liveness

AutoMan: Facilitating Verified Distributed Systems Development Through Automatic Code Generation and Manual Optimizations

Z. Zhang*, T. Zhou* (* co-1st authors), C. Jenkins, O. Chowdhury and S. Mu.

SOSP 2025. (65/368, 17.7% acceptance rate)

Spec-to-implementation recovery Deterministic code generation

[PDF][Software: AutoMan transpiler]

CPU Frequency Scheduling of Real-Time Applications on Embedded Devices with Temporal Encoding-based Deep Reinforcement Learning

T. Zhou and M. Lin.

Journal of Systems Architecture, 2023.

[PDF] [Software: Neural Network in Linux kernel] [A Linux Contribution] [Profiling CPU power management in Linux] [A follow-up work scales the method to multiple tasks]

Students Mentored

Yitong Zhao: 2024 – 2025, High School → Undergrad@UIUC.

Xinyi Li: 2022 – 2024, Undergrad@StFX → M.Sc@Dalhousie.

Haoyu Wang: 2022 – 2024, Undergrad@StFX → M.Sc@Dalhousie.

I designed and led projects based on my M.Sc. thesis for Xinyi [PDF] and Haoyu [PDF], each of which led to a publication in IEEE Trans. on Sustainable Computing.