Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jianxing Qin
conf.researchr.org general profile
POPL 2024 profile
Registered user since Wed 11 Oct 2023
Name:
Jianxing Qin
Country:
China
Affiliation:
Duke University
GitHub:
https://github.com/QDelta
Contributions
2024
POPL
Author of VST-A: A Foundationally Sound Annotation Verifier within the POPL-track
Share
x
Mon 13 May 13:32
