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