Shaowei Zhu

According to our database, Shaowei Zhu authored at least 7 papers between 2017 and 2024.

Collaborative distances:

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

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