Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarMaurice Herlihy
Person information
- affiliation: Brown University, Providence, USA
- award (2013): W. Wallace McDowell Award
- award (2012): Dijkstra Prize
- award (2004): Gödel Prize
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j87]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding concurrency to smart contracts. Distributed Comput. 33(3): 209-225 (2020)
2010 – 2019
- 2019
- [j86]Maurice Herlihy:
Blockchains from a distributed computing perspective. Commun. ACM 62(2): 78-85 (2019) - [j85]Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz:
Encrypted Databases for Differential Privacy. PoPETs 2019(3): 170-190 (2019) - [j84]Maurice Herlihy, Liuba Shrira, Barbara Liskov:
Cross-chain Deals and Adversarial Commerce. Proc. VLDB Endow. 13(2): 100-113 (2019) - [j83]Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz:
Bounds on the Step and Namespace Complexity of Renaming. SIAM J. Comput. 48(1): 1-32 (2019) - [c164]Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy:
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. APLAS 2019: 313-331 - [c163]Jiwon Choe, Tali Moreshet, R. Iris Bahar
, Maurice Herlihy:
Attacking memory-hard scrypt with near-data-processing. MEMSYS 2019: 33-37 - [c162]Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael:
CUDA-DTM: Distributed Transactional Memory for GPU Clusters. NETYS 2019: 183-199 - [c161]Jiwon Choe, Amy Huang, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation. SPAA 2019: 297-308 - [e5]Iris Bahar, Maurice Herlihy, Emmett Witchel, Alvin R. Lebeck:
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019. ACM 2019, ISBN 978-1-4503-6240-5 [contents] - [i20]Vikram Saraph, Maurice Herlihy:
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. CoRR abs/1901.01376 (2019) - [i19]Maurice Herlihy, Barbara Liskov, Liuba Shrira:
Cross-chain Deals and Adversarial Commerce. CoRR abs/1905.09743 (2019) - [i18]Rida A. Bazzi, Maurice Herlihy:
Clairvoyant State Machine Replication. CoRR abs/1905.11607 (2019) - 2018
- [j82]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Time-communication impossibility results for distributed transactional memory. Distributed Comput. 31(6): 471-487 (2018) - [j81]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. Bulletin of the EATCS 124 (2018) - [j80]Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Luca Benini, Maurice Herlihy, R. Iris Bahar:
Hardware Transactional Memory Exploration in Coherence-Free Many-Core Architectures. Int. J. Parallel Program. 46(6): 1304-1328 (2018) - [j79]Vikram Saraph, Maurice Herlihy, Eli Gafni:
An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. 1(3-4): 451-474 (2018) - [j78]Dave Dice, Maurice Herlihy, Alex Kogan:
Improving Parallelism in Hardware Transactional Memory. TACO 15(1): 9:1-9:24 (2018) - [c160]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen:
Proof-Carrying Smart Contracts. Financial Cryptography Workshops 2018: 325-338 - [c159]Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy:
Authenticated modular maps in Haskell. TyDe@ICFP 2018: 1-13 - [c158]Maurice Herlihy:
Atomic Cross-Chain Swaps. PODC 2018: 245-254 - [c157]Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank:
A persistent lock-free queue for non-volatile memory. PPOPP 2018: 28-40 - [c156]Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy:
Load Balanced Distributed Directories. SSS 2018: 221-238 - [c155]Rida A. Bazzi, Maurice Herlihy:
Clairvoyant State Machine Replications. SSS 2018: 254-268 - [i17]Maurice Herlihy:
Atomic Cross-Chain Swaps. CoRR abs/1801.09515 (2018) - [i16]Linnan Wang, Wei Wu, Yiyang Zhao, Junyu Zhang, Hang Liu, George Bosilca, Jack J. Dongarra, Maurice Herlihy, Rodrigo Fonseca:
SuperNeurons: FFT-based Gradient Sparsification in the Distributed Training of Deep Neural Networks. CoRR abs/1811.08596 (2018) - [i15]Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz:
Encrypted Databases for Differential Privacy. IACR Cryptol. ePrint Arch. 2018: 860 (2018) - 2017
- [j77]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. 683: 1-21 (2017) - [j76]Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
Edge-TM: Exploiting Transactional Memory for Error Tolerance and Energy Efficiency. ACM Trans. Embedded Comput. Syst. 16(5s): 153:1-153:18 (2017) - [c154]Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald:
The Teleportation Design Pattern for Hardware Transactional Memory. OPODIS 2017: 10:1-10:16 - [c153]Maurice Herlihy:
Blockchains and the Future of Distributed Computing. PODC 2017: 155 - [c152]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. PODC 2017: 251-253 - [c151]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. PODC 2017: 303-312 - [c150]Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald:
POSTER: State Teleportation via Hardware Transactional Memory. PPOPP 2017: 437-438 - [c149]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Fast Scheduling in Distributed Transactional Memory. SPAA 2017: 173-182 - [c148]Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu:
Concurrent Data Structures for Near-Memory Computing. SPAA 2017: 235-245 - [c147]Hammurabi Mendes, Maurice Herlihy:
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. DISC 2017: 35:1-35:16 - [c146]Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank:
Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory. DISC 2017: 50:1-50:4 - [i14]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. CoRR abs/1702.04467 (2017) - [i13]Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy:
Proust: A Design Space for Highly-Concurrent Transactional Data Structures. CoRR abs/1702.04866 (2017) - [i12]Vikram Saraph, Maurice Herlihy, Eli Gafni:
An Algorithmic Approach to the Asynchronous Computability Theorem. CoRR abs/1703.08525 (2017) - [i11]Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank:
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7(11): 1-27 (2017) - 2016
- [j75]Maurice Herlihy, Zhiyu Liu:
Well-Structured Futures and Cache Locality. ACM Trans. Parallel Comput. 2(4): 22:1-22:20 (2016) - [c145]Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar:
Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems. CASES 2016: 20:1-20:10 - [c144]Dave Dice, Maurice Herlihy, Alex Kogan:
Fast non-intrusive memory reclamation for highly-concurrent data structures. ISMM 2016: 36-45 - [c143]Maurice Herlihy, Mark Moir:
Blockchains and the Logic of Accountability: Keynote Address. LICS 2016: 27-30 - [c142]Oana Balmau, Rachid Guerraoui, Maurice Herlihy, Igor Zablotchi:
Fast and Robust Memory Reclamation for Concurrent Data Structures. SPAA 2016: 349-359 - [c141]Vikram Saraph, Maurice Herlihy, Eli Gafni:
Asynchronous Computability Theorems for t-Resilient Systems. DISC 2016: 428-441 - [r9]Maurice Herlihy:
Asynchronous Consensus Impossibility. Encyclopedia of Algorithms 2016: 152-155 - [r8]Maurice Herlihy:
Linearizability. Encyclopedia of Algorithms 2016: 1111-1114 - [r7]Maurice Herlihy:
Renaming. Encyclopedia of Algorithms 2016: 1820-1823 - [r6]Maurice Herlihy:
Topology Approach in Distributed Computing. Encyclopedia of Algorithms 2016: 2239-2242 - [i10]Maurice Herlihy, Mark Moir:
Enhancing Accountability and Trust in Distributed Ledgers. CoRR abs/1606.07490 (2016) - 2015
- [j74]Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg:
Multidimensional agreement in Byzantine systems. Distributed Comput. 28(6): 423-441 (2015) - [j73]Dimitra Papagiannopoulou, Giuseppe Capodanno, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems. ACM Trans. Embedded Comput. Syst. 14(3): 51:1-51:27 (2015) - [j72]Maurice Herlihy:
Guest Editor Introduction. ACM Trans. Parallel Comput. 2(1): 1:1 (2015) - [c140]Shahar Timnat, Maurice Herlihy, Erez Petrank:
A Practical Transactional Memory Interface. Euro-Par 2015: 387-401 - [c139]Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Luca Benini, Maurice Herlihy, R. Iris Bahar:
Playing with Fire: Transactional Memory Revisited for Error-Resilient and Energy-Efficient MPSoC Execution. ACM Great Lakes Symposium on VLSI 2015: 9-14 - [c138]Vikram Saraph, Maurice Herlihy:
The Relative Power of Composite Loop Agreement Tasks. OPODIS 2015: 13:1-13:16 - [c137]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Impossibility Results for Distributed Transactional Memory. PODC 2015: 207-215 - [e4]Laurent Réveillère, Tim Harris, Maurice Herlihy:
Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, Bordeaux, France, April 21-24, 2015. ACM 2015, ISBN 978-1-4503-3238-5 [contents] - [i9]Hammurabi Mendes, Maurice Herlihy:
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. CoRR abs/1505.04224 (2015) - [i8]Maurice Herlihy, Vikram Saraph:
The Relative Power of Composite Loop Agreement Tasks. CoRR abs/1506.03506 (2015) - 2014
- [j71]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming. Algorithmica 70(2): 171-194 (2014) - [j70]Maurice Herlihy:
The Future of Synchronization on Multicores: The multicore transformation (Ubiquity symposium). Ubiquity 2014(September): 1:1-1:9 (2014) - [c136]James A. Jablin, Thomas B. Jablin, Onur Mutlu, Maurice Herlihy:
Warp-aware trace scheduling for GPUs. PACT 2014: 163-174 - [c135]Irina Calciu, Justin Gottschlich, Tatiana Shpeisman, Gilles Pokam, Maurice Herlihy:
Invyswell: a hybrid transactional memory for haswell's restricted transactional memory. PACT 2014: 187-200 - [c134]Maurice Herlihy, Eric Koskinen:
Composable Transactional Objects: A Position Paper. ESOP 2014: 1-7 - [c133]Dan Alistarh, Patrick Eugster, Maurice Herlihy, Alexander Matveev, Nir Shavit:
StackTrack: an automated transactional approach to concurrent memory reclamation. EuroSys 2014: 25:1-25:14 - [c132]Eli Gafni, Maurice Herlihy:
Sporadic Solutions to Zero-One Exclusion Tasks. ICALP (1) 2014: 1-10 - [c131]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Computing in the Presence of Concurrent Solo Executions. LATIN 2014: 214-225 - [c130]Alex Kogan, Maurice Herlihy:
The future(s) of shared data structures. PODC 2014: 30-39 - [c129]Maurice Herlihy, Zhiyu Liu:
Well-structured futures and cache locality. PPOPP 2014: 155-166 - [c128]Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Luca Benini, Maurice Herlihy, R. Iris Bahar:
Speculative synchronization for coherence-free embedded NUMA architectures. ICSAMOS 2014: 99-106 - [c127]Maurice Herlihy:
Fun with hardware transactional memory. SIGMOD Conference 2014: 575 - [c126]Hammurabi Mendes, Christine Tasson, Maurice Herlihy:
Distributed computability in Byzantine asynchronous systems. STOC 2014: 704-713 - [c125]Zhiyu Liu, Maurice Herlihy:
Approximate Local Sums and Their Applications in Radio Networks. DISC 2014: 243-257 - [c124]Irina Calciu, Hammurabi Mendes, Maurice Herlihy:
The Adaptive Priority Queue with Elimination and Combining. DISC 2014: 406-420 - [c123]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Scheduling Multiple Objects in Distributed Transactional Memory. DISC 2014: 538-539 - [c122]Shahar Timnat, Maurice Herlihy, Erez Petrank:
A Practical Transactional Memory Interface. DISC 2014: 542-543 - [i7]Irina Calciu, Hammurabi Mendes, Maurice Herlihy:
The Adaptive Priority Queue with Elimination and Combining. CoRR abs/1408.1021 (2014) - 2013
- [b2]Maurice Herlihy, Dmitry N. Kozlov, Sergio Rajsbaum:
Distributed Computing Through Combinatorial Topology. Morgan Kaufmann 2013, ISBN 978-0-12-404578-1 - [j69]Maurice Herlihy, Sergio Rajsbaum:
The topology of distributed adversaries. Distributed Comput. 26(3): 173-192 (2013) - [j68]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Power and limits of distributed computing shared memory models. Theor. Comput. Sci. 509: 3-24 (2013) - [c121]Irina Calciu, Justin Emile Gottschlich, Maurice Herlihy:
Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack. HotPar 2013 - [c120]Dimitra Papagiannopoulou, R. Iris Bahar, Tali Moreshet, Maurice Herlihy, Andrea Marongiu, Luca Benini:
Transparent and energy-efficient speculation on NUMA architectures for embedded MPSoCs. MES 2013: 58-61 - [c119]Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir:
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. OPODIS 2013: 83-97 - [c118]Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz:
Upper bound on the complexity of solving hard renaming. PODC 2013: 190-199 - [c117]Hammurabi Mendes, Maurice Herlihy:
Multidimensional approximate agreement in Byzantine asynchronous systems. STOC 2013: 391-400 - [i6]Hammurabi Mendes, Christine Tasson, Maurice Herlihy:
The Topology of Asynchronous Byzantine Colorless Tasks. CoRR abs/1302.6224 (2013) - [i5]Maurice Herlihy, Zhiyu Liu:
Well-Structured Futures and Cache Locality. CoRR abs/1309.5301 (2013) - 2012
- [j67]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal:
Computability in distributed computing: a Tutorial. SIGACT News 43(3): 88-110 (2012) - [j66]Maurice Herlihy, Nir Shavit:
Transactional memory: beyond the first two decades. SIGACT News 43(4): 101-103 (2012) - [c116]Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek:
Visualizing transactional memory. PACT 2012: 159-170 - [c115]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming. LATIN 2012: 133-144 - [c114]Maurice Herlihy, Sergio Rajsbaum:
Simulations and reductions for colorless tasks. PODC 2012: 253-260 - [e3]Guy E. Blelloch, Maurice Herlihy:
24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '12, Pittsburgh, PA, USA, June 25-27, 2012. ACM 2012, ISBN 978-1-4503-1213-4 [contents] - [i4]Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy:
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121). Dagstuhl Reports 2(3): 50-66 (2012) - 2011
- [c113]Cesare Ferri, Andrea Marongiu, Benjamin Lipton, R. Iris Bahar, Tali Moreshet, Luca Benini, Maurice Herlihy:
SoC-TM: integrated HW/SW support for transactional memory programming on embedded MPSoCs. CODES+ISSS 2011: 39-48 - [c112]James A. Jablin, Patrick McCormick, Maurice Herlihy:
Scout: High-Performance Heterogeneous Computing Made Simple. IPDPS Workshops 2011: 2093-2096 - [c111]Maurice Herlihy, Nir Shavit:
On the Nature of Progress. OPODIS 2011: 313-328 - [c110]Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir:
On the power of hardware transactional memory to simplify memory management. PODC 2011: 99-108 - [c109]Maurice Herlihy, Yoram Moses, Mark R. Tuttle:
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC 2011: 231-238 - [r5]Maurice Herlihy:
Transactional Memories. Encyclopedia of Parallel Computing 2011: 2079-2086 - [i3]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming (Preliminary Version). CoRR abs/1102.4946 (2011) - 2010
- [j65]John M. Mellor-Crummey, William Gropp, Maurice Herlihy:
Teaching parallel programming: a roundtable discussion. ACM Crossroads 17(1): 28-30 (2010) - [j64]Flavio Paiva Junqueira, Keith Marzullo, Maurice Herlihy, Lucia Draque Penso:
Threshold protocols in survivor set systems. Distributed Comput. 23(2): 135-149 (2010) - [j63]Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iris Bahar, Maurice Herlihy:
Embedded-TM: Energy and complexity-effective hardware transactional memory for embedded multicore systems. J. Parallel Distributed Comput. 70(10): 1042-1052 (2010) - [c108]Maurice Herlihy:
Applications of Shellable Complexes to Distributed Computing - (Invited Talk). CONCUR 2010: 19-20 - [c107]Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iris Bahar, Maurice Herlihy:
Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems. HiPEAC 2010: 50-65 - [c106]Maurice Herlihy:
Transactional Memory Today. ICDCIT 2010: 1-12 - [c105]Maurice Herlihy, Sergio Rajsbaum:
The topology of shared-memory adversaries. PODC 2010: 105-113 - [c104]Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy:
Coarse-grained transactions. POPL 2010: 19-30 - [c103]Maurice Herlihy, Sergio Rajsbaum:
Concurrent Computing and Shellable Complexes. DISC 2010: 109-123
2000 – 2009
- 2009
- [j62]Maurice Herlihy:
Technical perspective - Highly concurrent data structures. Commun. ACM 52(5): 99 (2009) - [j61]Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport:
On the weakest failure detector ever. Distributed Comput. 21(5): 353-366 (2009) - [j60]Maurice Herlihy:
Transactional Memory: A Primer for Theorists. Bulletin of the EATCS 98: 123-138 (2009) - [j59]Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. Electron. Notes Theor. Comput. Sci. 230: 79-102 (2009) - [j58]Rachid Guerraoui, Maurice Herlihy, Bastian Pochon:
A topological treatment of early-deciding set-agreement. Theor. Comput. Sci. 410(6-7): 570-580 (2009) - [c102]Maurice Herlihy, Yossi Lev:
tm_db: A Generic Debugging Library for Transactional Programs. PACT 2009: 136-145 - [c101]Maurice Herlihy:
Distributed Computing and the Multicore Revolution. ICDCN 2009: 8 - [c100]Maurice Herlihy:
Transactional Memory Today: A Status Report. OPODIS 2009: 1 - [c99]Rida A. Bazzi, Maurice Herlihy:
Enhanced Fault-Tolerance through Byzantine Failure Detection. OPODIS 2009: 129-143 - [c98]Eric Koskinen, Maurice Herlihy:
Brief announcement: concurrent non-commutative boosted transactions. PODC 2009: 272-273 - [c97]Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, Emmett Witchel:
Committing conflicting transactions in an STM. PPOPP 2009: 163-172 - 2008
- [b1]Maurice Herlihy, Nir Shavit:
The art of multiprocessor programming. Morgan Kaufmann 2008, ISBN 978-0-12-370591-4, pp. I-XX, 1-508 - [j57]Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy:
Composable memory transactions. Commun. ACM 51(8): 91-100 (