• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20092020

Research activity per year

If you made any changes in Pure these will be visible here soon.

Fingerprint

Dive into the research topics where He Zhu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks

    Lin, X., Zhu, H., Samanta, R. & Jagannathan, S., Sep 21 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 148-157 10 p. 9283658. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • An inductive synthesis framework for verifiable reinforcement learning

    Zhu, H., Magill, S., Xiong, Z. & Jagannathan, S., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 686-701 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Scopus citations
  • A data-driven CHC solver

    Zhu, H., Magill, S. & Jagannathan, S., Jun 11 2018, In: ACM SIGPLAN Notices. 53, 4, p. 707-721 15 p.

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • A data-driven CHC solver

    Zhu, H., Magill, S. & Jagannathan, S., Jun 11 2018, PLDI 2018 - Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation. Foster, J. S., Grossman, D. & Foster, J. S. (eds.). Association for Computing Machinery, p. 707-721 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    13 Scopus citations
  • Automatically learning shape specifications

    Zhu, H., Petri, G. & Jagannathan, S., Jun 2 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). Association for Computing Machinery, p. 491-507 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    14 Scopus citations