Wen Fan -

Registered user since Mon 20 Jan 2025

Name:Wen Fan

Affiliation:Purdue University

Personal website: https://fanweneddie.github.io/

Research interests:program verification

Contributions

2025

Forge

Author of Evaluating the Ability of GPT-4o to Generate Verifiable Specifications in VeriFast within the Research Papers-track

2023

ASE

Author of Vicious Cycles in Distributed Software Systems within the Research Papers-track