![Xiongnan (Newman) Wu](https://pldi16.sigplan.org/getProfileImage/xiongnanwu/641f8200-5394-443c-9717-e0ff3e72bb41/small.jpg?1714380005000)
Registered user since Fri 6 Nov 2015
Name:Xiongnan (Newman) Wu
Affiliation:Yale University
Personal website: http://newman.cs.yale.edu/
Research interests:Programming Languages, Program Verification, Formal Methods
Contributions
PLDI 2016-profile
View general profile
View general profile