- Practical Concurrent Traversals in Search Trees
Dana Drachsler-Cohen, Martin Vechev, and Eran Yahav
PPoPP 2018
[pdf]
- 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][slides][code]
- Practical Concurrent Binary Search Trees via Logical Ordering
Dana Drachsler, Martin Vechev, and Eran Yahav
PPoPP 2014
[pdf][slides][code]