Shaowei Zhu

Shaowei Zhu

PhD student in programming languages

Princeton University

Biography

I am a fifth year PhD student in the Computer Science Department at Princeton University, and a member of the Programming Languages Group. My advisor is Zak Kincaid. My primary research interest lies in predictable 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).

Download my resumé.

Interests
  • Program analysis
  • Formal verification
  • Math and logic
Education
  • PhD in Computer Science, 2023

    Princeton University

  • BS in Computer Science, 2017

    Georgia Institute of Technology

Experience

 
 
 
 
 
Research Scientist Intern
May 2022 – Present Redmond
  • Designing an access control system for data collected via next generation AR devices
  • Studying the effect of uncertainty in AR localization and mapping
  • Exploring probabilistic programming paradigms that enable robust access control for AR
 
 
 
 
 
Research Scientist Intern
Aug 2021 – Dec 2021 Remote
  • Designing and implementing a domain-specific language for access control policies
  • Designing tools that enable formal reasoning about properties of access policies
 
 
 
 
 
Research Intern
May 2020 – Aug 2020 Remote
  • Designing and implementing a variable type analysis that optimizes static call graph computation for Go that scales to analyze Go targets in the Google monorepo
 
 
 
 
 
Software Development Engineer
Feb 2018 – Aug 2018 Seattle
  • Working on AWS Pinpoint, an AWS product that facilitates digital user engagement by providing highly scalable user targeting, messaging, and analytics services
  • Working on end-to-end design, implementation, testing, and maintenance of a cloud-based distributed system that streams, stores, and serves queries against tens of billions of flexible-schema JSON objects every day
 
 
 
 
 
Software Engineering Intern
May 2017 – Aug 2017 Seattle
  • Developing tools that help Linux kernel maintainers in the AWS EC2 Kernel and Operating System team utilize static analysis to address coding style issues, potential concurrency issues, and typing/address space issues, etc.

Selected Publications

(2021). Reflections on Termination of Linear Loops. In CAV 2021.

PDF Cite DOI

(2021). Termination Analysis without the Tears. In PLDI 2021.

PDF Cite DOI

(2018). Enlightened Debugging. In ICSE 2018.

PDF Cite DOI

Contact