Shaowei Zhu

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 9

Top Topics

Termination Analysis

Active Databases

Top Venues

Proc. ACM Program. Lang.

Publications

Shaowei Zhu, Zachary Kincaid
Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. CAV (1) (2024)
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. Proc. ACM Program. Lang. 7 (POPL) (2023)
Zachary Kincaid, Nicolas Koh, Shaowei Zhu
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. CoRR (2022)
Shaowei Zhu, Zachary Kincaid
Termination analysis without the tears. PLDI (2021)
Shaowei Zhu, Zachary Kincaid
Reflections on Termination of Linear Loops. CAV (2) (2021)
Shaowei Zhu, Zachary Kincaid
Reflections on Termination of Linear Loops. CoRR (2021)
Shaowei Zhu, Zachary Kincaid
Termination Analysis Without the Tears. CoRR (2021)
Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso
Enlightened debugging. ICSE (2018)
Rahul Nihalani, Sriram P. Chockalingam, Shaowei Zhu, Vijay V. Vazirani, Srinivas Aluru
Probabilistic estimation of overlap graphs for large sequence datasets. BIBM (2017)