Xiwei Wu -

Registered user since Thu 2 Nov 2023

Name:Xiwei Wu

Country:China

Affiliation:Shanghai Jiao Tong University

GitHub: https://github.com/yashen32768

Research interests:Programming Language

Contributions

2025

SPLASH

Author of Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic within the OOPSLA-track