Danfeng Zhang

Registered user since Fri 29 May 2015

Name:Danfeng Zhang
Country:United States
Affiliation:Pennsylvania State University
Research interests:Programming Languages, Security

Contributions

POPL 2023 Student Research Competition Co-Chair in Organizing Committee
Co-chair in Selection Committee within the Student Research Competition-track
Session Chair of SRC Poster (part of Student Research Competition)
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
PLDI 2019 Author of Proving Differential Privacy with Shadow Execution within the PLDI Research Papers-track
PASS'19 Committee Member in Program Committee within the PASS'19 (Canceled)-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
PASS 2018 Committee Member in Program Committee within the PASS 2018-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