He Zhu -

Registered user since Mon 1 Feb 2016

Name:He Zhu

Affiliation:Rutgers University, USA

Personal website: http://herowanzhu.github.io

Research interests:Machine Learning, Program Analysis and Verification

Contributions

2024

PLDI

Author of Reward-Guided Synthesis of Intelligent Agents with Control Structures within the PLDI Research Papers-track

2023

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2022

SPLASH

Committee Member in Review Committee within the OOPSLA-track

2021

PLDI

Committee Member in Program Committee within the PLDI-track

2019

PLDI

Author of An Inductive Synthesis Framework for Verifiable Reinforcement Learning within the PLDI Research Papers-track

HCVS

Committee Member in Program Committee within the HCVS-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2018

PLDI

Author of A Data-Driven CHC Solver within the PLDI Research Papers-track

2016

PLDI

Author of Automatically Learning Shape Specifications within the Research Papers-track