conf.researchr.org / Shushu Wu
Registered user since Thu 7 May 2026
Name:Shushu Wu
Affiliation:Shanghai Jiao Tong University
Contributions
2026
ICFP
- Committee Member in Artifact Evaluation Committee within the ICFP Artifacts-track
- Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Papers-track
- Author of Assertions for Free: Transferring Invariants from Algorithm to Implementation Proofs (Functional Pearl) within the ICFP Artifacts-track