Dana Drachsler Cohen

Registered user since Tue 8 Dec 2015

Name:Dana Drachsler Cohen
Country:Israel
Affiliation:Technion

Contributions

SPLASH 2023 PC Member in OOPSLA Review Committee within the OOPSLA-track
PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
VMCAI 2023 Author of Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization within the VMCAI 2023-track
SAS 2022 Author of Boosting Robustness Verification of Semantic Feature Neighborhoods within the SAS-track
Committee Member in Program Committee within the SAS-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
MAPS 2021 Committee Member in Program Committee within the MAPS 2021-track
VMCAI 2021 Session Chair of Concurrent and Distributed Systems (part of VMCAI)
Committee Member in Program Committee within the VMCAI-track
MAPL 2020 Committee Member in Program Committee within the MAPL-track
MAPL 2019 Committee Member in Program Committee within the MAPL 2019-track
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
SOAP 2019 Committee Member in Program Committee within the SOAP-track
PPoPP 2019 ERC member in Extended Review Committee
PEPM 2019 Committee Member in Program Committee within the PEPM 2019-track
SPLASH 2018 Committee Member in Reviewers within the SRC-track
GPCE 2018 Committee Member in Program Committee within the GPCE 2018-track
PLDI 2017 Committee Member in External Review Committee
PLDI 2016 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Artifact Evaluation Committee