| Enlightened debugging X Li, S Zhu, M d'Amorim, A Orso Proceedings of the 40th International Conference on Software Engineering, 82-92, 2018 | 38 | 2018 |
| Termination analysis without the tears S Zhu, Z Kincaid Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 15 | 2021 |
| When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic Z Kincaid, N Koh, S Zhu Proceedings of the ACM on Programming Languages 7 (POPL), 1275-1307, 2023 | 9 | 2023 |
| Reflections on termination of linear loops S Zhu, Z Kincaid Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 3 | 2021 |
| Breaking the Mold: Nonlinear Ranking Function Synthesis Without Templates S Zhu, Z Kincaid International Conference on Computer Aided Verification, 431-452, 2024 | | 2024 |
| Probabilistic Access Policies with Automated Reasoning Support S Zhu, Y Zhang International Conference on Computer Aided Verification, 443-466, 2024 | | 2024 |
| HIGH PERFORMANCE ALGORITHMS FOR K-MER COUNTING AND GENOMIC READ OVERLAP FINDING S Zhu Georgia Institute of Technology, 2017 | | 2017 |
| Probabilistic estimation of overlap graphs for large sequence datasets R Nihalani, SP Chockalingam, S Zhu, V Vazirani, S Aluru 2017 IEEE International Conference on Bioinformatics and Biomedicine (BIBM …, 2017 | | 2017 |
Zachary KincaidPrinceton University在 cs.princeton.edu 的电子邮件经过验证
Zachary KincaidPrinceton University在 cs.princeton.edu 的电子邮件经过验证