Danfeng Zhang

Ph.D Student
Department of Computer Science
Cornell University
Ithaca, NY, 14850
Office: Room 4144, Upson Hall
E-mail: zhangdf (domain: cs.cornell.edu)

About Me

I'm working with Prof. Andrew Myers on security issues from the aspect of programming languages, especially in the field of language-based information flow control. My recent work is on controlling information flow through timing channels.

PUBLICATIONS

Danfeng Zhang, Aslan Askarov, Andrew Myers.
Language-based Control and Mitigation of Timing Channels.
Proc. of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI'12), 2012.
Full Paper: pldi12, Technical Report: tr
Danfeng Zhang, Aslan Askarov, Andrew Myers.
Predictive Mitigation of Timing Channels in Interactive Systems.
Proc. of the 18th ACM Conference on Computer and Communications Security (CCS'11), 2011, pp. 563-574. (60/429=14%)
Full Paper: ccs11, Slides: ccs11-slides, Earlier Poster Version: sp11-poster.
Aslan Askarov, Danfeng Zhang, Andrew Myers.
Predictive Black-box Mitigation of Timing Channels.
Proc. of the 17th ACM Conference on Computer and Communications Security (CCS'10), 2010, pp. 297-307. (55/320=17%)
Chen Tian, Danfeng Zhang, Guohan Lu, Yunfeng Shi, Chuanxiong Guo and Yongguang Zhang.
A Windows Support Framework for the NetFPGA 2 Platform.
In Stanford NetFPGA Developers Workshop, 2009.
Danfeng Zhang, Yao Guo, Xiangqun Chen.
Automated Aspect Recommendation through Clustering-Based Fan-in Analysis.
Proc. of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE'08), 2008, pp. 278-287. (34/280=12%)
Danfeng Zhang, Yao Guo, Xiangqun Chen.
AspectC2C: a Symmetric Aspect Extension to the C Language.
ACM SIGPLAN Notices, Vol 43, Issue 2, 2008, pp. 25-32.
Danfeng Zhang, Yao Guo, Yue Wang, and Xiangqun Chen.
Toward Efficient Aspect Mining for Linux.
Proc. of the 14th Asia-Pacific Software Engineering Conference (APSEC'07), 2007, pp. 191-198. (31%)

PATENTS

Server-centric high performance network architecture for modular data centers..
Pending US patent, January, 2009.

INDUSTRIAL EXPERIENCE

Research Intern, Microsoft Research Asia. 2008 Summer.

Software Engineer Intern, IBM China Research Laboratory. 2007 Summer.

TEACHING EXPERIENCE

TA for CS 1130: Transition to Object-Oriented Programming, Cornell Univ. Spring 2010.
TA for Operating Systems, Peking Univ. Fall, 2007.
TA for Lab. on Operating System, Peking Univ. Spring, 2007.

HONORS AND AWARDS

McMullen Fellowship, 2009.
SIGSOFT CAPS Travel Grant (ASE 2008), 2008.
Hewlett-Packard Scholarship, 2008.
WUSI Scholarship of Peking University, 2007.
INTEL Fellowship, 2007.
GUANGHUA Scholarship of Peking University, 2005.
Excellent Academic Performance Scholarship of Peking University, 2004.
TAIZHAO Research Funding, 2004.