Shaowei Zhu

13 papers A* 2Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks.
CoRR
Kahfi S. Zulkifli, Wenbo Qian, Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou
2025 — conf
Verifying Semantic Equivalence of Large Models with Equality Saturation.
EuroMLSys
Kahfi S. Zulkifli, Wenbo Qian, Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou
2024 — conf
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates.
CAV (1)
Shaowei Zhu, Zachary Kincaid
2024 J jnl
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates.
CoRR
Shaowei Zhu, Zachary Kincaid
2024 — conf
Probabilistic Access Policies with Automated Reasoning Support.
CAV (3)
Shaowei Zhu, Yunbo Zhang
2023 J jnl
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
Proc. ACM Program. Lang.
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
2022 J jnl
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.
CoRR
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
2021 — conf
Reflections on Termination of Linear Loops.
CAV (2)
Shaowei Zhu, Zachary Kincaid
2021 J jnl
Reflections on Termination of Linear Loops.
CoRR
Shaowei Zhu, Zachary Kincaid
2021 J jnl
Termination Analysis Without the Tears.
CoRR
Shaowei Zhu, Zachary Kincaid
2021 A* conf
Termination analysis without the tears.
PLDI
Shaowei Zhu, Zachary Kincaid
2018 A* conf
Enlightened debugging.
ICSE
Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso
2017 — conf
Probabilistic estimation of overlap graphs for large sequence datasets.
BIBM
Rahul Nihalani, Sriram P. Chockalingam, Shaowei Zhu, Vijay V. Vazirani, Srinivas Aluru