![]() |
Junfeng YangAssistant ProfessorDepartment of Computer Science Columbia University 1214 Amsterdam Ave. 460 CSB Mail Code 0401 New York, NY 10027 Phone: (212) 939-7012 Fax: (212) 666-0140 [ Short Bio | CV | Publications ] |
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.
Fall 2008 -- E6998-2: How to Make Reliable Software