About He Zhu
Maurice H. Halstead Memorial Award for outstanding research in Software Engineering.
Ross Fellowship for outstanding research in Programming Languages.
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.
- Refinement type systems with automatic type inference and type checking.
- Separation logic proofs for memory safety.
- Verification of distributed systems.
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: March 2018