Zhong Shao - PLDI 2016

Registered user since Tue 17 Feb 2015

Name:Zhong Shao

Country:United States

Affiliation:Yale University

Research interests:Programming languages, formal methods, operating systems, and computer security

Contributions

PLDI 2016	End-to-End Verification of Information-Flow Security for C and Assembly Programs Toward Compositional Verification of Interruptible OS Kernels and Device Drivers
Show activities from other conferences