Xiongnan (Newman) Wu

Registered user since Fri 6 Nov 2015

Name:Xiongnan (Newman) Wu
Affiliation:Yale University
Research interests:Programming Languages, Program Verification, Formal Methods

Contributions

Show activities from other conferences

PLDI 2016-profile
View general profile