| 2026 | SPAA | Brief Announcement: QPID: A Scalable, Strict Concurrent Priority Queue. | Olivia Grimes, Matthew Rodriguez, Ahmed Hassan, Michael F. Spear, Roberto Palmieri |
| 2025 | ICDCS | Skip Hash: A Fast Ordered Map Via Software Transactional Memory. | Matthew Rodriguez, Vitaly Aksenov, Michael F. Spear |
| 2025 | PPoPP | Transactional Data Structures with Orthogonal Metadata. | Yaodong Sheng, Ahmed Hassan, Michael F. Spear |
| 2021 | ICDCS | Exploiting Locality in Scalable Ordered Maps. | Matthew Rodriguez, Ahmed Hassan, Michael F. Spear |
| 2021 | SPAA | Semantic Conflict Detection for Transactional Data Structure Libraries. | Yaodong Sheng, Ahmed Hassan, Michael F. Spear |
| 2020 | ICPP | Optimizing Linearizable Bulk Operations on Data Structures. | Matthew Rodriguez, Michael F. Spear |
| 2020 | PODC | Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model. | Matthew Rodriguez, Michael F. Spear |
| 2019 | ICPP | A Practical, Scalable, Relaxed Priority Queue. | Tingzhe Zhou, Maged M. Michael, Michael F. Spear |
| 2019 | SPAA | Optimizing Persistent Transactions (Brief Announcement). | Tingzhe Zhou, Pantea Zardoshti, Michael F. Spear |
| 2017 | ICPP | Practical Experience with Transactional Lock Elision. | Tingzhe Zhou, Pantea Zardoshti, Michael F. Spear |
| 2017 | OPODIS | Extending Transactional Memory with Atomic Deferral. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2017 | SPAA | Hand-Over-Hand Transactions with Precise Memory Reclamation. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2017 | SPAA | Brief Announcement: Extending Transactional Memory with Atomic Deferral. | Tingzhe Zhou, Victor Luchangco, Michael F. Spear |
| 2016 | EuroSys | Practical condition synchronization for transactional memory. | Chao Wang, Michael F. Spear |
| 2016 | PODC | Towards migrating computation to distributed memory caches. | Adam Schaub, Michael F. Spear |
| 2015 | SPAA | Transactional Acceleration of Concurrent Data Structures. | Yujie Liu, Tingzhe Zhou, Michael F. Spear |
| 2014 | ASPLOS | Transactionalizing legacy code: an experience report using GCC and Memcached. | Wenjia Ruan, Trilok Vyas, Yujie Liu, Michael F. Spear |
| 2014 | PODC | Dynamic-sized nonblocking hash tables. | Yujie Liu, Kunlong Zhang, Michael F. Spear |
| 2014 | SPAA | Transaction-friendly condition variables. | Chao Wang, Yujie Liu, Michael F. Spear |
| 2013 | CGO | On the platform specificity of STM instrumentation mechanisms. | Wenjia Ruan, Yujie Liu, Chao Wang, Michael F. Spear |
| 2013 | ICDCS | Mindicators: A Scalable Approach to Quiescence. | Yujie Liu, Victor Luchangco, Michael F. Spear |
| 2013 | SIGCSE | Reading mobile games throughout the curriculum. | Jennifer Bayzick, Bradley Askins, Sharon Kalafut, Michael F. Spear |
| 2013 | SPAA | Brief announcement: between all and nothing - versatile aborts in hardware transactional memory. | Stephan Diestelhorst, Martin Nowack, Michael F. Spear, Christof Fetzer |
| 2012 | ICPP | Mounds: Array-Based Concurrent Priority Queues. | Yujie Liu, Michael F. Spear |
| 2012 | PPoPP | A lock-free, array-based priority queue. | Yujie Liu, Michael F. Spear |
| 2012 | SPAA | Delegation and nesting in best-effort hardware transactional memory. | Yujie Liu, Stephan Diestelhorst, Michael F. Spear |
| 2011 | ASPLOS | Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. | Luke Dalessandro, Franois Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear |
| 2011 | PODC | A nonblocking set optimized for querying the minimum value. | Yujie Liu, Michael F. Spear |
| 2010 | EuroPar | Transactional Mutex Locks. | Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear |
| 2010 | PPoPP | NOrec: streamlining STM by abolishing ownership records. | Luke Dalessandro, Michael F. Spear, Michael L. Scott |
| 2010 | SPAA | Lightweight, robust adaptivity for software transactional memory. | Michael F. Spear |
| 2009 | CGO | Reducing Memory Ordering Overheads in Software Transactional Memory. | Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu |
| 2009 | PPoPP | A comprehensive strategy for contention management in software transactional memory. | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
| 2008 | ICPP | Scalable Techniques for Transparent Privatization in Software Transactional Memory. | Virendra J. Marathe, Michael F. Spear, Michael L. Scott |
| 2008 | ICPP | Implementing and Exploiting Inevitability in Software Transactional Memory. | Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott |
| 2008 | OPODIS | Ordering-Based Semantics for Software Transactional Memory. | Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott |
| 2008 | PODC | Transactional memory retry mechanisms. | Michael F. Spear, Andrew Sveikauskas, Michael L. Scott |
| 2008 | SPAA | RingSTM: scalable transactions with a single atomic instruction. | Michael F. Spear, Maged M. Michael, Christoph von Praun |
| 2007 | ISCA | An integrated hardware-software approach to flexible transactional memory. | Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott |
| 2007 | PODC | Transactions and privatization in Delaunay triangulation. | Michael L. Scott, Michael F. Spear, Luke Dalessandro, Virendra J. Marathe |
| 2007 | PODC | Privatization techniques for software transactional memory. | Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, Michael L. Scott |
| 2007 | PPoPP | Alert-on-update: a communication aid for shared memory multiprocessors. | Michael F. Spear, Arrvindh Shriraman, Hemayet Hossain, Sandhya Dwarkadas, Michael L. Scott |
| 2007 | SPAA | Nonblocking transactions without indirection using alert-on-update. | Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott |
| 2006 | EuroSys | Solving the starting problem: device drivers as self-describing artifacts. | Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi |