Michael F. Spear

73 papers A* 9A 17B 30Journal 8Unranked 8

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