Shaowei Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates. | Shaowei Zhu, Zachary Kincaid |
| 2024 | CAV | Probabilistic Access Policies with Automated Reasoning Support. | Shaowei Zhu, Yunbo Zhang |
| 2024 | SC | Revisiting Computation for Research: Practices and Trends. | Jeremiah Giordani, Ziyang Xu, Ella Colby, August Ning, Bhargav Reddy Godala, Ishita Chaturvedi, Shaowei Zhu, Yebin Chon, Greg Chan, Zujun Tan, Galen Collier, Jonathan D. Halverson, Enrico Armenio Deiana, Jasper Liang, Federico Sossai, Yian Su, Atmn Patel, Bangyen Pham, Nathan Greiner, Simone Campanoni, David I. August |
| 2021 | CAV | Reflections on Termination of Linear Loops. | Shaowei Zhu, Zachary Kincaid |
| 2021 | PLDI | Termination analysis without the tears. | Shaowei Zhu, Zachary Kincaid |
| 2018 | ICSE | Enlightened debugging. | Xiangyu Li, Shaowei Zhu, Marcelo d'Amorim, Alessandro Orso |