Shaowei Zhu

Registered user since Fri 10 Jul 2020

Name:Shaowei Zhu
Bio:

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

Contributions

POPL 2023 When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic
Show activities from other conferences

Using general profile