Zhe Zhou

LWSN 3133 (#55) · Purdue University, West Lafayette, IN 47907 · zhou956@purdue.edu

I am currently a PhD Student of Computer Science at Purdue University, advised by Prof. Suresh Jagannathan.

My research interests lie in programming languages (PL) - program verification, property-based testing, type systems, and program synthesis. I am also interested in combine machine learning (ML) and PL - using ML to solve PL problems, and vice versa.

Here is my CV.

Publications

Data-Driven Abductive Inference of Library Specifications

Zhe Zhou, Robert Dickerson, Benjamin Delaware, and Suresh Jagannathan

ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2021)

(Distinguished Artifact Award) (doi) (full version) (artifact) (talk)

Covering All the Bases: Type-Based Verification of Test Input Generators

Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023)

(Distinguished Paper Award) (doi) (draft) (full version) (artifact)

A HAT Trick: Automatically Verifying Representation Invariants Using Symbolic Finite Automata

Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan

ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024)

(doi) (draft) (full version) (artifact)