Dana Drachsler Cohen Dana Drachsler Cohen

I am a postdoc in the Secure, Reliable, and Intelligent Systems Lab at the Computer Science Department at ETH Zurich. My research interests span program synthesis, machine learning, security, and computer networks.

Email: dana.drachsler@inf.ethz.ch
Office: CNB H100.5

Education

2011-2017: PhD in Computer Science, Thesis: Exact Programming by Example, direct-track to PhD.
Computer Science Department, Technion.

2009-2011: BSc in Computer Science, graduated summa cum laude.
Computer Science Department, Technion.

Awards

ETH Postdoctoral Fellow
The Jacobs fellowship for PhD students
The Zeff fellowship for PhD students
The Muriel and David Jacknow Prize for excellence in teaching

Publications

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev
IEEE S&P 2018
Website

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors
RĂ¼diger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, and Martin Vechev
NSDI 2018
Website

Practical Concurrent Traversals in Search Trees
Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
PPoPP 2018

Synthesis with Abstract Examples
Dana Drachsler-Cohen, Sharon Shoham, and Eran Yahav
CAV 2017

Learning Disjunctions of Predicates
Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
COLT 2017

ExcUseMe: Asking Users to Help in Item Cold-Start Recommendations
Michal Aharon, Oren Anava, Noa Avigdor-Elgrabli, Dana Drachsler-Cohen, Shahar Golan, and Oren Somekh
RecSys 2015

LCD: Local Combining on Demand
Dana Drachsler-Cohen and Erez Petrank
OPODIS 2014

Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev, and Eran Yahav
PPoPP 2014

 

Service

PLDI 2019 Program Committee
PPoPP 2019 Extended Review Committee
GPCE 2018 Program Committee
SPLASH 2018 Student Research Competition
PLDI 2017 External Review Committee
PLDI 2016 Artifact Evaluation Commitee