![]() |
Junfeng YangAssistant Professor (starting July, 2008)Computer Science Department Columbia University [ Short Bio | CV | Publications ] I will join Columbia University in Fall 2008. Currently I am working at Microsoft Research Silicon Valley. Before that, I did my PhD at Stanford University. |
My research interests are in operating systems, software error detection, security,
and storage systems. My past work has focused on detecting serious errors in large, complex software.
I have used model checking to find storage system errors that vaporize your entire file systems,
symbolic execution to generate malicious disk images that take over control of your Linux kernel,
and static analysis to detect Linux kernel security holes.
Complete list of publications.