Maurice Herlihy
Person information
- affiliation: Brown University, Providence, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
- [j82]Maurice Herlihy:
Blockchains from a distributed computing perspective. Commun. ACM 62(2): 78-85 (2019) - [i18]Vikram Saraph, Maurice Herlihy:
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. CoRR abs/1901.01376 (2019) - 2018
- [j81]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Time-communication impossibility results for distributed transactional memory. Distributed Computing 31(6): 471-487 (2018) - [j80]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. Bulletin of the EATCS 124 (2018) - [j79]Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Luca Benini, Maurice Herlihy, R. Iris Bahar:
Hardware Transactional Memory Exploration in Coherence-Free Many-Core Architectures. International Journal of Parallel Programming 46(6): 1304-1328 (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]
- [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]
- [i17]
- [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 Cryptology ePrint Archive 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(5): 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]
- [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]
- [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]
- [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]
- [r8]
- [r7]
- [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 Computing 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]
- [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]
- [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]
- [c131]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Computing in the Presence of Concurrent Solo Executions. LATIN 2014: 214-225 - [c130]
- [c129]
- [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]
- [c126]Hammurabi Mendes, Christine Tasson, Maurice Herlihy:
Distributed computability in Byzantine asynchronous systems. STOC 2014: 704-713 - [c125]
- [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 Computing 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]
- 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]
- [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]
- [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 Computing 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 Distrib. 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]
- [c105]
- [c104]
- [c103]
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 Computing 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. Electr. 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]
- [c101]
- [c100]
- [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 (2008) - [j56]Maurice Herlihy, Victor Luchangco:
Distributed computing and the multicore revolution. SIGACT News 39(1): 62-72 (2008) - [c96]Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy:
Energy efficient synchronization techniques for embedded architectures. ACM Great Lakes Symposium on VLSI 2008: 435-440 - [c95]
- [c94]Maurice Herlihy, Eric Koskinen:
Transactional boosting: a methodology for highly-concurrent transactional objects. PPOPP 2008: 207-216 - [c93]Eric Koskinen, Maurice Herlihy:
Checkpoints and continuations instead of nested transactions. SPAA 2008: 160-168 - [c92]
- [c91]Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso:
Optimizing Threshold Protocols in Adversarial Structures. DISC 2008: 335-349 - [c90]
- [e2]Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit:
Transactional Memory: From Implementation to Application, 08.06. - 13.06.2008. Dagstuhl Seminar Proceedings 08241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [contents] - [r4]
- [r3]
- [r2]
- [r1]
- [i2]Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit:
08241 Abstracts Collection - Transactional Memory : From Implementation to Application. Transactional Memory: From Implementation to Application 2008 - [i1]