| Linearizability: A correctness condition for concurrent objects MP Herlihy, JM Wing ACM Transactions on Programming Languages and Systems (TOPLAS) 12 (3), 463-492, 1990 | 4270 | 1990 |
| Transactional memory: Architectural support for lock-free data structures M Herlihy, JEB Moss Proceedings of the 20th annual international symposium on Computer …, 1993 | 3484 | 1993 |
| Wait-free synchronization M Herlihy ACM Transactions on Programming Languages and Systems (TOPLAS) 13 (1), 124-149, 1991 | 2543 | 1991 |
| The art of multiprocessor programming M Herlihy, N Shavit, V Luchangco, M Spear Newnes, 2020 | 2532 | 2020 |
| Software transactional memory for dynamic-sized data structures M Herlihy, V Luchangco, M Moir, WN Scherer III Proceedings of the twenty-second annual symposium on Principles of …, 2003 | 1405 | 2003 |
| Composable memory transactions T Harris, S Marlow, S Peyton-Jones, M Herlihy Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of …, 2005 | 1151 | 2005 |
| A methodology for implementing highly concurrent data objects M Herlihy ACM Transactions on Programming Languages and Systems (TOPLAS) 15 (5), 745-770, 1993 | 774 | 1993 |
| Obstruction-free synchronization: Double-ended queues as an example M Herlihy, V Luchangco, M Moir 23rd International Conference on Distributed Computing Systems, 2003 …, 2003 | 711 | 2003 |
| The topological structure of asynchronous computability M Herlihy, N Shavit Journal of the ACM (JACM) 46 (6), 858-923, 1999 | 603 | 1999 |
| Virtualizing transactional memory R Rajwar, M Herlihy, K Lai 32nd International Symposium on Computer Architecture (ISCA'05), 494-505, 2005 | 597 | 2005 |
| Atomic cross-chain swaps M Herlihy Proceedings of the 2018 ACM symposium on principles of distributed computing …, 2018 | 573 | 2018 |
| Transactional memory execution utilizing virtual memory R Rajwar, MP Herlihy US Patent 7,685,365, 2010 | 448 | 2010 |
| Transactional boosting: a methodology for highly-concurrent transactional objects M Herlihy, E Koskinen Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of …, 2008 | 376 | 2008 |
| A flexible framework for implementing software transactional memory M Herlihy, V Luchangco, M Moir ACM Sigplan Notices 41 (10), 253-262, 2006 | 362 | 2006 |
| A quorum-consensus replication method for abstract data types M Herlihy ACM Transactions on Computer Systems (TOCS) 4 (1), 32-53, 1986 | 348 | 1986 |
| Fast randomized consensus using shared memory J Aspnes, M Herlihy Journal of algorithms 11 (3), 441-461, 1990 | 332 | 1990 |
| A lazy concurrent list-based set algorithm S Heller, M Herlihy, V Luchangco, M Moir, WN Scherer, N Shavit Principles of Distributed Systems: 9th International Conference, OPODIS 2005 …, 2006 | 311 | 2006 |
| Impossibility and universality results for wait-free synchronization MP Herlihy Proceedings of the seventh annual ACM Symposium on Principles of distributed …, 1988 | 303 | 1988 |
| Toward a theory of transactional contention managers R Guerraoui, M Herlihy, B Pochon Proceedings of the twenty-fourth annual ACM symposium on Principles of …, 2005 | 298 | 2005 |
| A methodology for implementing highly concurrent data structures M Herlihy Proceedings of the second ACM SIGPLAN symposium on Principles & practice of …, 1990 | 296 | 1990 |
Costas BuschProfessor and Chair, Department of Computer Science, Augusta University確認したメール アドレス: augusta.edu
