FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
ICSE 2023 (series) / FormaliSE 2023 (series) / Guannan Wei
Guannan Wei

Registered user since Sat 2 Jun 2018

Name:Guannan Wei
Country:United States
Affiliation:Purdue University
Personal website: https://continuation.passing.style
X (Twitter): https://x.com/GuannanWei
GitHub: https://github.com/Kraks
Research interests:Programming Languages, Types and Effects, Program Analysis, Metaprogramming, Compilers, Program Testing

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile