Guannan Wei - SPLASH 2021

Registered user since Sat 2 Jun 2018

Name:Guannan Wei

Country:United States

Affiliation:Purdue University

Contributions

SPLASH 2021	Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Compiling Symbolic Execution with Staging and Algebraic Effects
VMIL 2021	Committee Member in Program Committee within the VMIL 2021-track
Show activities from other conferences

SPLASH 2021-profile
View general profile