Michael F. Spear

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 25

Top Topics

Transactional Memory

Top Venues

ACM Trans. Archit. Code Optim.

Publications

Ravil Galiev, Michael F. Spear, Vitaly Aksenov
The Next 700 Benchmarking Frameworks for Concurrent Data Structures. ApPLIED@PODC (2024)
Vitaly Aksenov, Michael Anoprenko, Alexander Fedorov, Michael F. Spear
Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures. DISC (2023)
Yaodong Sheng, Ahmed Hassan, Michael F. Spear
Separating Mechanism from Policy in STM. PACT (2023)
Abhishek Singh, Shail Dave, Pantea Zardoshti, Robert Brotzman, Chao Zhang, Xiaochen Guo, Aviral Shrivastava, Gang Tan, Michael F. Spear
SPX64: A Scratchpad Memory for General-purpose Microprocessors. ACM Trans. Archit. Code Optim. 18 (1) (2021)
Matthew Rodriguez, Ahmed Hassan, Michael F. Spear
Exploiting Locality in Scalable Ordered Maps. ICDCS (2021)
Yaodong Sheng, Ahmed Hassan, Michael F. Spear
Semantic Conflict Detection for Transactional Data Structure Libraries. SPAA (2021)
Matthew Rodriguez, Michael F. Spear
Optimizing Linearizable Bulk Operations on Data Structures. ICPP (2020)
Matthew Rodriguez, Michael F. Spear
Brief Announcement: On Implementing Software Transactional Memory in the C++ Memory Model. PODC (2020)
Pantea Zardoshti, Michael F. Spear, Aida Vosoughi, Garret Swart
Understanding and Improving Persistent Transactions on Optane™ DC Memory. IPDPS (2020)
Matthew Rodriguez, Ahmed Hassan, Michael F. Spear
Exploiting Locality in Scalable Ordered Maps. PACT (2020)
Pantea Zardoshti, Tingzhe Zhou, Yujie Liu, Michael F. Spear
Optimizing Persistent Memory Transactions. PACT (2019)
Tingzhe Zhou, Maged M. Michael, Michael F. Spear
A Practical, Scalable, Relaxed Priority Queue. ICPP (2019)
Tingzhe Zhou, Pantea Zardoshti, Michael F. Spear
Optimizing Persistent Transactions (Brief Announcement). SPAA (2019)
Pantea Zardoshti, Tingzhe Zhou, Pavithra Balaji, Michael L. Scott, Michael F. Spear
Simplifying Transactional Memory Support in C++. ACM Trans. Archit. Code Optim. 16 (3) (2019)
Kunal Agrawal, I-Ting Angelina Lee, Michael F. Spear
Introduction to Special Issue on SPAA'15. ACM Trans. Parallel Comput. 4 (4) (2018)
Henry Daly, Ahmed Hassan, Michael F. Spear, Roberto Palmieri
NUMASK: High Performance Scalable Skip List for NUMA. DISC (2018)
Louis Jenkins, Tingzhe Zhou, Michael F. Spear
Redesigning Go's Built-In Map to Support Concurrent Operations. PACT (2017)
Tingzhe Zhou, Victor Luchangco, Michael F. Spear
Hand-Over-Hand Transactions with Precise Memory Reclamation. SPAA (2017)
Tingzhe Zhou, Victor Luchangco, Michael F. Spear
Brief Announcement: Extending Transactional Memory with Atomic Deferral. SPAA (2017)
Tingzhe Zhou, Pantea Zardoshti, Michael F. Spear
Practical Experience with Transactional Lock Elision. ICPP (2017)
Tingzhe Zhou, Victor Luchangco, Michael F. Spear
Extending Transactional Memory with Atomic Deferral. OPODIS (2017)
Christopher Garman, Xiaochen Guo, Michael F. Spear
A study of unnecessary write backs. MEMSYS (2017)
Xiaochen Guo, Aviral Shrivastava, Michael F. Spear, Gang Tan
Languages Must Expose Memory Heterogeneity. MEMSYS (2016)
Chao Wang, Michael F. Spear
Practical condition synchronization for transactional memory. EuroSys (2016)
Adam Schaub, Michael F. Spear
Towards migrating computation to distributed memory caches. DCC@PODC (2016)
Yujie Liu, Justin Gottschlich, Gilles Pokam, Michael F. Spear
TSXProf: Profiling Hardware Transactions. PACT (2015)
Wenjia Ruan, Michael F. Spear
Hybrid Transactional Memory Revisited. DISC (2015)
Yujie Liu, Tingzhe Zhou, Michael F. Spear
Transactional Acceleration of Concurrent Data Structures. SPAA (2015)
Yujie Liu, Kunlong Zhang, Michael F. Spear
Dynamic-sized nonblocking hash tables. PODC (2014)
Wenjia Ruan, Trilok Vyas, Yujie Liu, Michael F. Spear
Transactionalizing legacy code: an experience report using GCC and Memcached. ASPLOS (2014)
Chao Wang, Yujie Liu, Michael F. Spear
Transaction-friendly condition variables. SPAA (2014)
Wenjia Ruan, Yujie Liu, Michael F. Spear
Transactional Read-Modify-Write Without Aborts. ACM Trans. Archit. Code Optim. 11 (4) (2014)
Sambhawa Priya, Yuanbo Guo, Michael F. Spear, Jeff Heflin
Partitioning OWL Knowledge Bases for Parallel Reasoning. ICSC (2014)
Kunlong Zhang, Yujiao Zhao, Yajun Yang, Yujie Liu, Michael F. Spear
Practical Non-blocking Unordered Lists. DISC (2013)
Stephan Diestelhorst, Martin Nowack, Michael F. Spear, Christof Fetzer
Brief announcement: between all and nothing - versatile aborts in hardware transactional memory. SPAA (2013)
Wenjia Ruan, Yujie Liu, Michael F. Spear
Boosting timestamp-based transactional memory by exploiting hardware cycle counters. ACM Trans. Archit. Code Optim. 10 (4) (2013)
Yujie Liu, Victor Luchangco, Michael F. Spear
Mindicators: A Scalable Approach to Quiescence. ICDCS (2013)
Jennifer Bayzick, Bradley Askins, Sharon Kalafut, Michael F. Spear
Reading mobile games throughout the curriculum. SIGCSE (2013)
Wenjia Ruan, Yujie Liu, Chao Wang, Michael F. Spear
On the platform specificity of STM instrumentation mechanisms. CGO (2013)
Qingping Wang, Sameer Kulkarni, John Cavazos, Michael F. Spear
A transactional memory with automatic performance tuning. ACM Trans. Archit. Code Optim. 8 (4) (2012)
Yujie Liu, Stephan Diestelhorst, Michael F. Spear
Delegation and nesting in best-effort hardware transactional memory. SPAA (2012)
Yujie Liu, Michael F. Spear
Mounds: Array-Based Concurrent Priority Queues. ICPP (2012)
Yujie Liu, Michael F. Spear
A lock-free, array-based priority queue. PPOPP (2012)
Yujie Liu, Michael F. Spear
A nonblocking set optimized for querying the minimum value. PODC (2011)
Luke Dalessandro, François Carouge, Sean White, Yossi Lev, Mark Moir, Michael L. Scott, Michael F. Spear
Hybrid NOrec: a case study in the effectiveness of best effort hardware transactional memory. ASPLOS (2011)
François Carouge, Michael F. Spear
A Scalable Lock-Free Universal Construction with Best Effort Transactional Hardware. DISC (2010)
Michael F. Spear
Lightweight, robust adaptivity for software transactional memory. SPAA (2010)
Luke Dalessandro, David Dice, Michael L. Scott, Nir Shavit, Michael F. Spear
Transactional Mutex Locks. Euro-Par (2) (2010)
Luke Dalessandro, Michael F. Spear, Michael L. Scott
NOrec: streamlining STM by abolishing ownership records. PPOPP (2010)
Luke Dalessandro, Michael L. Scott, Michael F. Spear
Transactions as the Foundation of a Memory Consistency Model. DISC (2010)
Michael F. Spear, Kirk Kelsey, Tongxin Bai, Luke Dalessandro, Michael L. Scott, Chen Ding, Peng Wu
Fastpath Speculative Parallelization. LCPC (2009)
Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott
A comprehensive strategy for contention management in software transactional memory. PPOPP (2009)
Michael F. Spear, Maged M. Michael, Michael L. Scott, Peng Wu
Reducing Memory Ordering Overheads in Software Transactional Memory. CGO (2009)
Peng Wu, Maged M. Michael, Christoph von Praun, Takuya Nakaike, Rajesh Bordawekar, Harold W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie Chiras, Rui Hou, Mark F. Mergen, Xiaowei Shen, Michael F. Spear, Huayong Wang, Kun Wang
Compiler and runtime techniques for software transactional memory optimization. Concurr. Comput. Pract. Exp. 21 (1) (2009)
Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, Michael L. Scott
Ordering-Based Semantics for Software Transactional Memory. OPODIS (2008)
Michael F. Spear, Andrew Sveikauskas, Michael L. Scott
Transactional memory retry mechanisms. PODC (2008)
Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M. Michael, Michael L. Scott
Implementing and Exploiting Inevitability in Software Transactional Memory. ICPP (2008)
Virendra J. Marathe, Michael F. Spear, Michael L. Scott
Scalable Techniques for Transparent Privatization in Software Transactional Memory. ICPP (2008)
Michael F. Spear, Maged M. Michael, Christoph von Praun
RingSTM: scalable transactions with a single atomic instruction. SPAA (2008)
Michael L. Scott, Michael F. Spear, Luke Dalessandro, Virendra J. Marathe
Delaunay Triangulation with Transactions and Barriers. IISWC (2007)
Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, Michael L. Scott
Privatization techniques for software transactional memory. PODC (2007)
Michael L. Scott, Michael F. Spear, Luke Dalessandro, Virendra J. Marathe
Transactions and privatization in Delaunay triangulation. PODC (2007)
Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, Michael L. Scott
Nonblocking transactions without indirection using alert-on-update. SPAA (2007)
Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra J. Marathe, Sandhya Dwarkadas, Michael L. Scott
An integrated hardware-software approach to flexible transactional memory. ISCA (2007)
Michael F. Spear, Arrvindh Shriraman, Hemayet Hossain, Sandhya Dwarkadas, Michael L. Scott
Alert-on-update: a communication aid for shared memory multiprocessors. PPOPP (2007)
Virendra J. Marathe, Michael F. Spear, Michael L. Scott
Transaction Safe Nonblocking Data Structures. DISC (2007)
Michael F. Spear, Virendra J. Marathe, William N. Scherer III, Michael L. Scott
Conflict Detection and Validation Strategies for Software Transactional Memory. DISC (2006)
Michael F. Spear, Tom Roeder, Orion Hodson, Galen C. Hunt, Steven Levi
Solving the starting problem: device drivers as self-describing artifacts. EuroSys (2006)