zekai@system:~$whoami

_

Incoming PhD Student at Brown University

> I am a Master's student in Computer Science at Brown University. My research interests lie in Formal Methods and Machine Learning. I am a member of Brown Atlas Group.

> Previously, I completed my B.Sc. in Computer Science at University of Nottingham.

> I focus on the correctness of real world systems.

zekai@system:~$cat email.sh
echo li | sed s/^/zekai_/ | sed s/$/@brown.edu/
zekai@system:~$cat recent_news.log

Paper "RT: Regular Types for the Streaming Shells" was selected as a Best Paper Award nominee (top 2% of submissions) at OSDI '26.

Paper "RT: Regular Types for the Streaming Shells" accepted at OSDI '26.

Giving a talk on "Rt: a new type system for the streaming shell" at NESVD.

Giving a talk on "Regular language types for the streaming shell" at NEPLS.

Paper "From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs" accepted at HotOS '25.

Started MSc at Brown University.

zekai@system:~$ls -l publications/

[2026]RT: Regular Types for the Streaming Shells

Authors: Zekai Li*, Lukas Lazarek*, Evangelos Lamprou, George Kapetanakis, Konstantinos Mamouras, Nikos Vasilakis
published in: The 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26)
Best Paper Award nominee (top 2% of submissions)

[2025]From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs

Authors: Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis
published in: The ACM SIGOPS 20th Workshop on Hot Topics in Operating Systems (HotOS '25)

[2024]A Logic of East and West for Intervals

Authors: Zekai Li, Amin Farjudian, Heshan Du
published in: The 16th Conference on Spatial Information Theory (COSIT '24)