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

PLDI 2022	Committee Member in PLDI within the PLDI-track
PriSC 2022	Committee Member in Program Committee within the PriSC 2022-track
SPLASH 2021	Author of SpecSafe: Detecting Cache Side Channels in a Speculative World within the OOPSLA-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track Author of Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation within the PLDI-track
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