Dana Drachsler Cohen Dana Drachsler Cohen

I am an ETH Postdoctoral Fellow in the Software Reliability Lab, hosted by Prof. Martin Vechev. I obtained my PhD from the Computer Science Department at the Technion in 2017, where I did a direct-track to PhD. My PhD topic was "Exact Programming by Example", and I was fortunate to have Prof. Eran Yahav as my adviser. During my PhD, I was the recipient of the Jacobs and Zeff fellowships. I also won multiple awards for excellence in teaching, including the Muriel and David Jacknow Prize. I completed my BSc studies, summa cum laude, at the same department in 2011. During my BSc studies I was a member of both The Technion Excellence Program and The Lapidim Excellence Program.

My main research interests lie in the combination of programming languages and modern frameworks, including deep learning models, blockchains, and computer networks. I am also very enthusiastic about synthesis, exact learning and concurrency, and during my PhD I have done some work in these areas.

Feel free to contact me with questions or invitations to chat, I am always happy to meet new people.

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


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

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

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

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



PLDI 2017 External Review Committee

PLDI 2016 Artifact Evaluation Commitee