
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 | Author of Toward Compositional Verification of Interruptible OS Kernels and Device Drivers within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2016-profile
View general profile
View general profile