☰

Maurice Herlihy - Publications

Affiliations: 
Computer Science Brown University, Providence, RI 
Tree Info Similar researchers PubMed Report error

50 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2019 Herlihy M. Blockchains from a distributed computing perspective Communications of the Acm. 62: 78-85. DOI: 10.1145/3209623  0.326
2018 Dice D, Herlihy M, Kogan A. Improving Parallelism in Hardware Transactional Memory Acm Transactions On Architecture and Code Optimization. 15: 9. DOI: 10.1145/3177962  0.369
2018 Papagiannopoulou D, Marongiu A, Moreshet T, Benini L, Herlihy M, Bahar RI. Hardware Transactional Memory Exploration in Coherence-Free Many-Core Architectures International Journal of Parallel Programming. 46: 1304-1328. DOI: 10.1007/S10766-018-0569-7  0.359
2018 Busch C, Herlihy M, Popovic M, Sharma G. Time-communication impossibility results for distributed transactional memory Distributed Computing. 31: 471-487. DOI: 10.1007/S00446-017-0318-Y  0.575
2017 Herlihy M, Rajsbaum S, Raynal M, Stainer J. From wait-free to arbitrary concurrent solo executions in colorless distributed computing☆ Theoretical Computer Science. 683: 1-21. DOI: 10.1016/J.Tcs.2017.04.007  0.305
2015 Busch C, Herlihy M, Popovic M, Sharma G. Impossibility results for distributed transactional memory Proceedings of the Annual Acm Symposium On Principles of Distributed Computing. 2015: 207-215. DOI: 10.1145/2767386.2767433  0.496
2014 Herlihy M. The Future of Synchronization on Multicores: The multicore transformation (Ubiquity symposium) Ubiquity. 2014: 1-9. DOI: 10.1145/2618405  0.343
2013 Herlihy M, Rajsbaum S, Raynal M. Power and limits of distributed computing shared memory models Theoretical Computer Science. 509: 3-24. DOI: 10.1016/J.Tcs.2013.03.002  0.388
2013 Herlihy M, Rajsbaum S. The topology of distributed adversaries Distributed Computing. 26: 173-192. DOI: 10.1007/S00446-013-0189-9  0.381
2012 Herlihy M, Rajsbaum S, Raynal M. Computability in distributed computing: a Tutorial Sigact News. 43: 88-110. DOI: 10.1145/2421096.2421118  0.359
2010 Junqueira FP, Marzullo K, Herlihy M, Penso LD. Threshold protocols in survivor set systems Distributed Computing. 23: 135-149. DOI: 10.1007/S00446-010-0107-3  0.351
2009 Herlihy M, Rajsbaum S, Tuttle M. An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems Electronic Notes in Theoretical Computer Science. 230: 79-102. DOI: 10.1016/J.Entcs.2009.02.018  0.328
2008 Harris T, Marlow S, Jones SP, Herlihy M. Composable memory transactions Communications of the Acm. 51: 91-100. DOI: 10.1145/1378704.1378725  0.314
2007 Herlihy M, Sun Y. Distributed transactional memory for metric-space networks Distributed Computing. 20: 195-208. DOI: 10.1007/S00446-007-0037-X  0.458
2006 Tirthapura S, Herlihy M. Self-stabilizing distributed queuing Ieee Transactions On Parallel and Distributed Systems. 17: 646-655. DOI: 10.1109/Tpds.2006.94  0.699
2006 Dvir O, Herlihy M, Shavit NN. Virtual Leashing: Creating a computational foundation for software protection Journal of Parallel and Distributed Computing. 66: 1233-1240. DOI: 10.1016/J.Jpdc.2006.04.013  0.309
2006 Herlihy M, Tirthapura S. Randomized smoothing networks Journal of Parallel and Distributed Computing. 66: 626-632. DOI: 10.1016/J.Jpdc.2005.06.009  0.689
2006 Herlihy M, Tirthapura S. Self-stabilizing smoothing and balancing networks Distributed Computing. 18: 345-357. DOI: 10.1007/S00446-005-0130-Y  0.686
2006 Herlihy M, Kuhn F, Tirthapura S, Wattenhofer R. Dynamic analysis of the arrow distributed protocol Theory of Computing Systems. 39: 875-901. DOI: 10.1007/S00224-006-1251-9  0.699
2005 Herlihy M, Luchangco V, Martin P, Moir M. Nonblocking memory management support for dynamic-sized data structures Acm Transactions On Computer Systems. 23: 146-196. DOI: 10.1145/1062247.1062249  0.325
2005 Cole C, Herlihy M. Snapshots and software transactional memory Science of Computer Programming. 58: 310-324. DOI: 10.1016/J.Scico.2005.03.006  0.31
2004 Fatourou P, Herlihy M. Read-modify-write networks Distributed Computing. 17: 33-46. DOI: 10.1007/S00446-003-0097-5  0.389
2003 Herlihy M, Luchangco V, Moir M. Space- and time-adaptive nonblocking algorithms Electronic Notes in Theoretical Computer Science. 78: 267-287. DOI: 10.1016/S1571-0661(04)81017-X  0.335
2002 Busch C, Demetriou N, Herlihy M, Mavronicolas M. Threshold counters with increments and decrements Theoretical Computer Science. 270: 811-826. DOI: 10.1016/S0304-3975(01)00113-X  0.533
2002 Busch C, Herlihy M. Sorting and counting networks of arbitrary width and small depth Theory of Computing Systems. 35: 99-128. DOI: 10.1007/S00224-001-1027-1  0.542
2001 Herlihy M, Tirthapura S, Wattenhofer R. Ordered multicast and distributed swap Operating Systems Review (Acm). 35: 85-96. DOI: 10.1145/371455.997810  0.69
2001 Herlihy M, Tirthapura S, Wattenhofer R. Competitive concurrent distributed queuing Proceedings of the Annual Acm Symposium On Principles of Distributed Computing. 127-133.  0.346
2001 Herlihy M, Tirthapura S. Self stabilizing distributed queuing Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2180: 209-223.  0.328
2000 Herlihy M. Review of Distributed Computing by Attiya and Welch Sigact News. 31: 3. DOI: 10.1145/346048.568464  0.308
2000 Herlihy M, Rajsbaum S, Tuttle MR. An Overview of Synchronous Message-Passing and Topology Electronic Notes in Theoretical Computer Science. 39: 1-17. DOI: 10.1016/S1571-0661(05)01148-5  0.392
2000 Herlihy M, Warres MP. Tale of two directories: implementing distributed shared objects in Java Concurrency Practice and Experience. 12: 555-572. DOI: 10.1002/1096-9128(200005)12:7<555::Aid-Cpe499>3.0.Co;2-O  0.394
1999 Herlihy M, Shavit N. The topological structure of asynchronous computability Journal of the Acm. 46: 858-923. DOI: 10.1145/331524.331529  0.314
1999 Dwork C, Herlihy M, Plotkin S, Waarts O. Time-lapse snapshots Siam Journal On Computing. 28: 1848-1874. DOI: 10.1137/S0097539793243685  0.338
1999 Chaudhuri S, Herlihy M, Tuttle MR. Wait-free implementations in message-passing systems Theoretical Computer Science. 220: 211-245. DOI: 10.1016/S0304-3975(98)00242-4  0.338
1999 Herlihy M. The aleph toolkit: Support for scalable distributed shared objects Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1602: 137-149.  0.305
1999 Aiello W, Busch C, Herlihy M, Mavronicolas M, Shavit N, Touitou D. Supporting increment and decrement operations in balancing networks Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1563: 393-403.  0.304
1998 Fich F, Herlihy M, Shavit N. On the Space Complexity of Randomized Synchronization Journal of the Acm. 45: 843-862. DOI: 10.1145/290179.290183  0.301
1997 Dwork C, Herlihy M, Waarts O. Contention in shared memory algorithms Journal of the Acm. 44: 779-805. DOI: 10.1145/268999.269000  0.401
1996 Herlihy M, Shavit N, Waarts O. Linearizable counting networks Distributed Computing. 9: 193-203. DOI: 10.1007/S004460050019  0.398
1995 Herlihy M, Lim B, Shavit N. Scalable concurrent counting Acm Transactions On Computer Systems. 13: 343-364. DOI: 10.1145/210223.210225  0.442
1995 Attiya H, Herlihy M, Rachman O. Atomic snapshots using lattice agreement Distributed Computing. 8: 121-132. DOI: 10.1007/Bf02242714  0.32
1994 Aspnes J, Herlihy M, Shavit N. Counting networks Journal of the Acm (Jacm). 41: 1020-1048. DOI: 10.1145/185675.185815  0.406
1993 Herlihy M. A methodology for implementing highly concurrent data objects Acm Transactions On Programming Languages and Systems. 15: 745-770. DOI: 10.1145/161468.161469  0.342
1992 Herlihy M, Lynch N, Merritt M, Weihl W. On the correctness of orphan management algorithms Journal of the Acm. 39: 881-930. DOI: 10.1145/146585.146616  0.325
1991 Herlihy M. Wait-free synchronization Acm Transactions On Programming Languages and Systems. 13: 124-149. DOI: 10.1145/114005.102808  0.347
1990 Herlihy M. Concurrency and availability as dual properties of replicated atomic data Journal of the Acm. 37: 257-278. DOI: 10.1145/77600.77616  0.312
1990 Aspnes J, Herlihy M. Fast randomized consensus using shared memory Journal of Algorithms. 11: 441-461. DOI: 10.1016/0196-6774(90)90021-6  0.346
1987 Herlihy M. Optimistic concurrency control for abstract data types Operating Systems Review. 21: 33-44. DOI: 10.1145/24601.24604  0.304
1987 Herlihy M. Concurrency versus availability: atomicity mechanisms for replicated data Acm Transactions On Computer Systems. 5: 249-274. DOI: 10.1145/24068.27643  0.336
1987 Herlihy M. Dynamic quorum adjustment for partitioned data Acm Transactions On Database Systems. 12: 170-194. DOI: 10.1145/22952.22953  0.308
Show low-probability matches.