Danfeng Zhang is an Assistant Professor at Penn State University. He received his B.S. and M.S. in Computer Science from Peking University, and his Ph.D. in Computer Science from Cornell University.

Research Statement

Software plays a crucial rule in the digital age. Yet, it is still very challenging to develop correct and secure software, even for veteran software developers. The goal of my research is to prove the absence of software errors, and further, generate fixes when things go wrong. My research currently includes security, privacy, type safety and software correctness.

Selected Recent Publications

[Google scholar] [Complete List]

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.

Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Dinghao Wu.

Proving Differential Privacy via Shadow Execution.

with Yuxin Wang, Zeyu Ding, Guanhong Wang and Daniel Kifer.

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

with Robert Brotzman-Smith, Shen Liu, Gang Tan and Mahmut Kandemir.
[CCS'18 Outstanding paper award]

Detecting Violations of Differential Privacy.

with Zeyu Ding, Yuxin Wang, Guanhong Wang and Daniel Kifer.

A Derivation Framework for Dependent Security Label Inference.

with with Peixuan Li.

RCoal: Mitigating GPU Timing Attack via Subwarp-based Randomized Coalescing Technique.

with Gurunath Kadam and Adwait Jog.

SHErrLoc: a Static Holistic Error Locator.

with Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton‑Jones.

CacheD: Identifying Cache-Based Timing Channels in Production Software.

with Shuai Wang, Pei Wang, Xiao Liu, Dinghao Wu.

Towards a Flow- and Path-Sensitive Information Flow Analysis.

with Peixuan Li.

LightDP: Towards Automating Differential Privacy Proofs.

with Daniel Kifer.
[PLDI'15 Distinguished paper award]

Diagnosing Type Errors with Class.

with Andrew C. Myers, Dimitrios Vytiniotis and Simon Peyton‑Jones.



Professional Activities


My research is currently supported by NSF grants 1816282 and 1702760.