Publications

• 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]