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