Danfeng Zhang -

Registered user since Fri 29 May 2015

Name: Danfeng Zhang

Country: United States

Affiliation: Pennsylvania State University

Personal website: http://www.cse.psu.edu/~dbz5017/

Research interests: Programming Languages, Security

Contributions

PASS'19	Committee Member in Program Committee within the PASS'19 (Canceled)-track
PLDI 2019	Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track
PASS 2018	Committee Member in Program Committee within the PASS 2018-track
SPLASH 2018	Author of A Derivation Framework for Dependent Security Label Inference within the Artifacts-track Author of A Derivation Framework for Dependent Security Label Inference within the OOPSLA-track Author of A Derivation Framework for Dependent Security Label Inference within the Posters-track
POPL 2018	Committee Member in Program Committee within the Research Papers-track
POPL 2017	Author of LightDP: Towards Automating Differential Privacy Proofs within the POPL-track
PLDI 2015	Author of Diagnosing Type Errors with Class within the Research Papers-track