Probabilistic estimation of overlap graphs for large sequence datasets. - Rahul Nihalani; Sriram P. Chockalingam; Shaowei Zhu 001; Vijay V. Vazirani; Srinivas Aluru (BIBM, 2017)

Enlightened debugging. - Xiangyu Li 001; Shaowei Zhu 001; Marcelo d'Amorim; Alessandro Orso (ICSE, 2018)

Reflections on Termination of Linear Loops. - Shaowei Zhu 001; Zachary Kincaid (CAV (2), 2021)

Termination analysis without the tears. - Shaowei Zhu 001; Zachary Kincaid (PLDI, 2021)

When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. - Zachary Kincaid; Nicolas Koh; Shaowei Zhu 001 (Proc. ACM Program. Lang., 2023)

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. - Shaowei Zhu 001; Zachary Kincaid (CAV (1), 2024)

Probabilistic Access Policies with Automated Reasoning Support. - Shaowei Zhu 001; Yunbo Zhang (CAV (3), 2024)

Verifying Semantic Equivalence of Large Models with Equality Saturation. - Kahfi S. Zulkifli; Wenbo Qian; Shaowei Zhu 001; Yuan Zhou; Zhen Zhang 063; Chang Lou (EuroMLSys, 2025)