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

2026

SPLASH

Committee Member in OOPSLA Review Committee within the OOPSLA-track

2025

PLDI

Area Chair in PLDI Review Committee within the PLDI Research Papers-track

2024

SPLASH

Static Analysis Symposium

Keynote Speaker of Robustness Verification of Multi-Label Neural Network Classifiers within the SAS 2024-track

VMCAI

Author of Verification of Neural Networks’ Local Differential Classification Privacy within the VMCAI 2024-track

2023

SPLASH

PLDI

VMCAI

Author of Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization within the VMCAI 2023-track

2022

Static Analysis Symposium

PLDI

Committee Member in PLDI within the PLDI-track

2021

MAPS

Committee Member in Program Committee within the MAPS 2021-track

VMCAI

2020

MAPS

Committee Member in Program Committee within the MAPL-track

2019

MAPS

Committee Member in Program Committee within the MAPL 2019-track

PLDI

Committee Member in Program Committee within the PLDI Research Papers-track

SOAP

Committee Member in Program Committee within the SOAP-track

Principles and Practice of Parallel Programming

ERC member in Extended Review Committee

PEPM

Committee Member in Program Committee within the PEPM 2019-track

2018

SPLASH

Committee Member in Reviewers within the SRC-track

GPCE

Committee Member in Program Committee within the GPCE 2018-track

2017

PLDI

Committee Member in External Review Committee

2016

PLDI