LCTES 2016
co-located with PLDI 2016
He Zhu

Registered user since Mon 1 Feb 2016

Name:He Zhu
Bio:

About He Zhu

Contact

    zhu103 AT purdue.edu

Awards

    Maurice H. Halstead Memorial Award for outstanding research in Software Engineering.
    Ross Fellowship for outstanding research in Programming Languages.

Research Interests

    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 and Automated Deduction.
    Current projects include:
    • Machine learning applied to program analysis and program verification.
    • Dependent and refinement type systems with automatic type inference and type checking.
    • Higher-order symbolic execution.
    • Memory - Separation logic proofs for memory safety.
    • Distributed systems - Concurrent data structures and linearizability proofs.
    • Network systems - Specification synthesis for software defined networking programs (SDN).

Publication

    He Zhu, Gustavo Petri and Suresh Jagannathan. "Automatically Learning Shape Specifications".
    In 37th ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2016). [pdf] [Tool]

    He Zhu, Aditya V. Nori and Suresh Jagannathan. "Learning Refinement Types".
    In 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015). [pdf] [Tool]

    He Zhu, Gustavo Petri and Suresh Jagannathan. "Poling: SMT Aided Linearizability Proofs".
    In 27th International Conference on Computer Aided Verification (CAV 2015). [pdf]

    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). [pdf]

    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). [pdf]

    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 (TASE 2010).

    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 (FMCAD 2009).

Country:United States
Affiliation:Purdue University
Research interests:Program Analysis, Program Verification, Staic Analysis, Dynamic Analysis, Refinement Types, Machine Learning

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile