Dana Drachsler Cohen -

Registered user since Tue 8 Dec 2015

Name:Dana Drachsler Cohen

Country:Israel

Affiliation:Technion

Personal website:https://ddana.net.technion.ac.il/

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