Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Wanwei Liu
conf.researchr.org general profile
ICSE 2019 profile
ICSE 2022 profile
ISSTA/ECOOP 2024 profile
POPL 2020 profile
Registered user since Sat 30 Oct 2021
Name:
Wanwei Liu
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2024
ISSTA
Author of Synthesizing Boxes Preconditions for Deep Neural Networks within the Technical Papers-track
2022
FormaliSE
Committee Member in Program Committee within the FormaliSE 2022-track
2020
PLanQC
Author of Quingo: A Domain Specific Language for Quantum Computing with NISQ Features within the PLanQC-track
2019
ICSE
Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track
Share
x
Tue 3 Dec 18:07