Xiongnan (Newman) Wu

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


PLDI 2016Author 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