Xiongnan (Newman) Wu - LCTES 2016

Mon 13 - Tue 14 June 2016 Santa Barbara, California, United States

co-located with PLDI 2016

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

2016

PLDI

Toward Compositional Verification of Interruptible OS Kernels and Device Drivers

Show activities from other conferences

PLDI 2016-profile
View general profile