Shaowei Zhu

Registered user since Fri 10 Jul 2020

Name:Shaowei Zhu

I am a second year PhD student in the Computer Science Department at Princeton University, and a member of the Programming Languages Group. I am currently advised by Zak Kincaid. My primary research interests are algebraic methods for program analysis. I received a BS in Computer Science from Georgia Tech, where I did research on interactive fault localization methods for software engineering, and parallel algorithms for genome assembly. I was fortunate to be advised by Alex Orso, Srinivas Aluru, and Vijay Vazirani (now at UC Irvine).

Country:United States
Affiliation:Princeton University
Research interests:Program Analysis


POPL 2023 Author of When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic within the POPL-track
PLDI 2021 Author of Termination Analysis without the Tears within the PLDI-track