Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zengyu Liu
conf.researchr.org general profile
FSE 2026 profile
ISSTA/ECOOP 2024 profile
POPL 2026 profile
Registered user since Mon 15 Jul 2024
Name:
Zengyu Liu
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2026
ESEC/FSE
Author of Precondition Synthesis for Deep Neural Networks with Statistical Guarantees within the Research Papers-track
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2026-track
2024
ISSTA
Author of Synthesizing Boxes Preconditions for Deep Neural Networks within the Technical Papers-track
Share
x
Sun 6 Sep 08:28