Dana Drachsler Cohen Dana Drachsler Cohen

I am a postdoctoral researcher 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 interest lie in the combination of programming languages and learning, and specifically in finding robust methods for simplifying the coding process. I am also very enthusiastic about concurrency, and during my PhD I have done some work in concurrent data structures.

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: CAB H66

Publications

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

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

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
PDF

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

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

 

Service

PLDI 2017 External Review Committee

PLDI 2016 Artifact Evaluation Commitee