About He Zhu
ACM SIGPLAN PLDI 2018 Distinguished Paper Award.
Maurice H. Halstead Memorial Award for outstanding research in Software Engineering (Purdue University).
Ross Fellowship for outstanding research in Programming Languages (Purdue University).
I am interested in Programming Languages and Machine Learning
techniques for building secure computer systems.
I contributed to
the areas of Type Systems, Model Checking, Static Analysis,
Automated Deduction and Machine Learning.
Current projects include:
- Program analysis and program verification applied to machine learning.
- Machine learning applied to program analysis and program verification.
- Formal verification of reinforcement learning agents.
- Automated inference of separation logic invariants.
- Automated distributed system verification.
He Zhu and Stephen Magill. "Applying Formal Methods to Reinforcement Learning".
He Zhu, Stephen Magill and Suresh Jagannathan. "A Data-Driven CHC Solver".
In 39th ACM SIGPLAN conference on Programming Language Design and Implementation
He Zhu, Gustavo Petri and Suresh Jagannathan. "Automatically Learning Shape Specifications".
In 37th ACM SIGPLAN conference on Programming Language Design and Implementation
He Zhu, Aditya V. Nori and Suresh Jagannathan. "Learning Refinement Types".
In 20th ACM SIGPLAN International Conference on Functional Programming
He Zhu, Gustavo Petri and Suresh Jagannathan. "Poling: SMT Aided Linearizability Proofs".
In 27th International Conference on Computer Aided Verification
He Zhu, Aditya V. Nori and Suresh Jagannathan. "Dependent Array Type Inference from Tests".
In 16th International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI 2015).
He Zhu and Suresh Jagannathan. "Compositional and Lightweight Dependent Type Inference for ML".
In 14th International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI 2013).
Fei He, He Zhu, W.N.N. Hung, Xiaoyu Song and Ming Gu. "Compositional Abstraction Refinement for Timed Systems".
In 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
He Zhu, Fei He, W.N.N. Hung, Xiaoyu Song and Ming Gu. "Data Mining Based Decomposition for Assume-guarantee Reasoning".
In 9th International Conference on Formal Methods in Computer-Aided Design
Last modified: June 2018