| 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 | 12 | 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 | 4 | 2023 |
| Reflections on termination of linear loops S Zhu, Z Kincaid Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 3 | 2021 |
| High Performance Algorithms for K-mer Counting and Genomic Read Overlap Finding S Zhu Georgia Institute of Technology, 2018 | | 2018 |
| 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 UniversityVerified email at cs.princeton.edu
