Shaowei Zhu
Orcid: 0000-0002-0335-1151Affiliations:
- Princeton University, NJ, USA
- Georgia Institute of Technology, Atlanta, GA, USA
According to our database1,
Shaowei Zhu
authored at least 7 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Proc. ACM Program. Lang., January, 2023
2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
Proceedings of the 2017 IEEE International Conference on Bioinformatics and Biomedicine, 2017