Shaowei Zhu

According to our database, Shaowei Zhu authored at least 9 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

Verifying Computational Graphs in Production-Grade Distributed Machine Learning Frameworks.

Kahfi S. Zulkifli, Wenbo Qian, Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou

CoRR, September, 2025

Verifying Semantic Equivalence of Large Models with Equality Saturation.

Kahfi S. Zulkifli, Wenbo Qian, Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou

Proceedings of the 5th Workshop on Machine Learning and Systems, 2025

2024

Probabilistic Access Policies with Automated Reasoning Support.

Shaowei Zhu, Yunbo Zhang

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates.

Shaowei Zhu, Zachary Kincaid

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic.

Zachary Kincaid, Nicolas Koh, Shaowei Zhu

Proc. ACM Program. Lang., January, 2023

2021

Termination analysis without the tears.

Shaowei Zhu, Zachary Kincaid

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Reflections on Termination of Linear Loops.

Shaowei Zhu, Zachary Kincaid

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2018

Enlightened debugging.

Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Probabilistic estimation of overlap graphs for large sequence datasets.

Rahul Nihalani, Sriram P. Chockalingam, Shaowei Zhu, Vijay V. Vazirani, Srinivas Aluru

Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017