I am a 3rd year Ph.D student at Computer Science Department,
Purdue University.
My advisor is Prof. Suresh Jagannathan.
I am interested in higher order program verification and concurrent program verification.
Publication
He Zhu and Suresh Jagannathan, "Compositional and Lightweight Dependent Type Inference for ML",
To Appear In 14th International Conference on Verification, Model Checking, and Abstract
Interpretation (VMCAI 2013).
[pdf][Extended Version]
He Zhu and Fei He, "Compositional Abstraction Refinement for Timed Systems",
In 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
(TASE 2010)
He Zhu and Fei He, "Data Mining Based Decomposition for Assume-guarantee Reasoning",
In 9th International Conference on Formal Methods in Computer-Aided Design
(FMCAD 2009)