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

2026

ICFP

Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Artifacts-track
Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Papers-track

2025

SPLASH

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