Picture of Junfeng Yang

Junfeng Yang

Assistant Professor (starting July, 2008)
Computer Science Department
Columbia University


[ Short Bio | CV | Publications ]

Email of Junfeng Yang

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.

Perspective Students

I am looking for motivated students who are interested in systems research. If you are not at Columbia, please apply here. If you are already a graduate student at Columbia, we can discuss potential projects through email now, until I start in Fall 2008.

Research

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.