| 2013 | EuroPar | Lightweight Contention Management for Efficient Compare-and-Swap Operations. | David Dice, Danny Hendler, Ilya Mirsky |
| 2013 | PPoPP | NUMA-aware reader-writer locks. | Irina Calciu, David Dice, Yossi Lev, Victor Luchangco, Virendra J. Marathe, Nir Shavit |
| 2012 | PPoPP | Lock cohorting: a general technique for designing NUMA locks. | David Dice, Virendra J. Marathe, Nir Shavit |
| 2011 | SPAA | Brief announcement: a partitioned ticket lock. | David Dice |
| 2011 | SPAA | Flat-combining NUMA locks. | David Dice, Virendra J. Marathe, Nir Shavit |
| 2011 | SPAA | Brief announcement: multilane - a concurrent blocking multiset. | David Dice, Oleksandr Otenko |
| 2010 | EuroPar | Transactional Mutex Locks. | Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear |
| 2010 | OPODIS | Efficient Lock Free Privatization. | Yehuda Afek, Hillel Avni, David Dice, Nir Shavit |
| 2010 | SPAA | Simplifying concurrent algorithms by exploiting hardware transactional memory. | David Dice, Yossi Lev, Virendra J. Marathe, Mark Moir, Daniel Nussbaum, Marek Olszewski |
| 2010 | SPAA | TLRW: return of the read-write lock. | David Dice, Nir Shavit |
| 2009 | ASPLOS | Early experience with a commercial hardware transactional memory implementation. | David Dice, Yossi Lev, Mark Moir, Daniel Nussbaum |
| 2007 | CGO | Understanding Tradeoffs in Software Transactional Memory. | David Dice, Nir Shavit |
| 2007 | PPoPP | Potential show-stoppers for transactional synchronization. | Ali-Reza Adl-Tabatabai, David Dice, Maurice Herlihy, Nir Shavit, Christos Kozyrakis, Christoph von Praun, Michael L. Scott |
| 2005 | VEE | Supporting per-processor local-allocation buffers using lightweight user-level preemption notification. | Alex Garthwaite, David Dice, Derek White |