| The art of multiprocessor programming M Herlihy, N Shavit, V Luchangco, M Spear Newnes, 2020 | 2551 | 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 | 1415 | 2003 |
| Obstruction-free synchronization: Double-ended queues as an example M Herlihy, V Luchangco, M Moir 23rd International Conference on Distributed Computing Systems, 2003 …, 2003 | 716 | 2003 |
| Hybrid transactional memory P Damron, A Fedorova, Y Lev, V Luchangco, M Moir, D Nussbaum Proceedings of the 12th international conference on Architectural support …, 2006 | 624 | 2006 |
| A flexible framework for implementing software transactional memory M Herlihy, V Luchangco, M Moir ACM Sigplan Notices 41 (10), 253-262, 2006 | 364 | 2006 |
| 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 | 320 | 2006 |
| The Fortress language specification E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... Sun Microsystems 139 (140), 116, 2005 | 319 | 2005 |
| The repeat offender problem: A mechanism for supporting dynamic-sized, lock-free data structures M Herlihy, V Luchangco, M Moir International Symposium on Distributed Computing, 339-353, 2002 | 195 | 2002 |
| Software transactional memory for dynamically sizable shared data structures MS Moir, VM Luchangco, M Herlihy US Patent 7,328,316, 2008 | 159 | 2008 |
| Nonblocking memory management support for dynamic-sized data structures M Herlihy, V Luchangco, P Martin, M Moir ACM Transactions on Computer Systems (TOCS) 23 (2), 146-196, 2005 | 149 | 2005 |
| Formal verification of a practical lock-free queue algorithm S Doherty, L Groves, V Luchangco, M Moir Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 148 | 2004 |
| Eventually-serializable data services A Fekete, D Gupta, V Luchangco, N Lynch, A Shvartsman Proceedings of the Fifteenth Annual ACM Symposium on Principles of …, 1996 | 142 | 1996 |
| A simple optimistic skiplist algorithm M Herlihy, Y Lev, V Luchangco, N Shavit International Colloquium on Structural Information and Communication …, 2007 | 139 | 2007 |
| SNZI: Scalable nonzero indicators F Ellen, Y Lev, V Luchangco, M Moir Proceedings of the twenty-sixth annual ACM symposium on Principles of …, 2007 | 136 | 2007 |
| NUMA-aware reader-writer locks I Calciu, D Dice, Y Lev, V Luchangco, VJ Marathe, N Shavit Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013 | 128 | 2013 |
| Anatomy of a scalable software transactional memory Y Lev, V Luchangco, V Marathe, M Moir, D Nussbaum, M Olszewski Proc. 4th ACM SIGPLAN Workshop on Transactional Computing, 2009 | 113 | 2009 |
| Towards formally specifying and verifying transactional memory S Doherty, L Groves, V Luchangco, M Moir Formal Aspects of Computing 25 (5), 769-799, 2013 | 109 | 2013 |
| DCAS is not a silver bullet for nonblocking algorithm design S Doherty, DL Detlefs, L Groves, CH Flood, V Luchangco, PA Martin, ... Proceedings of the sixteenth annual ACM symposium on Parallelism in …, 2004 | 107 | 2004 |
| The Fortress language specification version 1.0 E Allen, D Chase, J Hallett, V Luchangco, JW Maessen, S Ryu, ... March, 2008 | 104 | 2008 |
| Formal verification of a lazy concurrent list-based set algorithm R Colvin, L Groves, V Luchangco, M Moir Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 103 | 2006 |
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityPotvrđena adresa e-pošte na cs.brown.edu
