default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMaurice 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
- 2024
[j93]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed runtime verification of metric temporal properties. J. Parallel Distributed Comput. 185: 104801 (2024)- [i32]Kenan Wood, Maurice Herlihy, Hammurabi Mendes, Jonad Pulaj:
Expiring Assets in Automated Market Makers. CoRR abs/2401.04289 (2024) - [i31]Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru:
Byzantine Reliable Broadcast with One Trusted Monotonic Counter. IACR Cryptol. ePrint Arch. 2024: 774 (2024) - 2023
- [j92]Bertrand Cambou
, Christopher Robert Philabaum, Jeffrey Hoffstein, Maurice Herlihy:
Methods to Encrypt and Authenticate Digital Files in Distributed Networks and Zero-Trust Environments. Axioms 12(6): 531 (2023) - [j91]Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma:
Flexible scheduling of transactional memory on trees. Theor. Comput. Sci. 978: 114184 (2023) - [c186]Yingjie Xue, Di Jin, Maurice Herlihy:
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. ICDCN 2023: 28-37 - 2022
- [j90]Maria Potop-Butucaru, Ariel Orda, Maurice Herlihy, Stefano Secci:
Special issue on blockchain networks and distributed protocols. Ann. des Télécommunications 77(1-2): 1-2 (2022) - [j89]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Dynamic scheduling in distributed transactional memory. Distributed Comput. 35(1): 19-36 (2022) - [j88]Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy:
Load balanced distributed directories. Inf. Comput. 285(Part): 104700 (2022) - [j87]Rida A. Bazzi, Maurice Herlihy:
Clairvoyant state machine replication. Inf. Comput. 285(Part): 104701 (2022) - [j86]Maurice Herlihy, Barbara Liskov, Liuba Shrira:
Cross-chain deals and adversarial commerce. VLDB J. 31(6): 1291-1309 (2022) - [c185]Samuel Thomas, Jiwon Choe, Ofir Gordon, Erez Petrank, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
Towards Hardware Accelerated Garbage Collection with Near-Memory Processing. HPEC 2022: 1-6 - [c184]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. ICDCS 2022: 23-33 - [c183]Jiwon Choe, Andrew Crotty, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures. SPAA 2022: 321-332 - [c182]Yingjie Xue, Maurice Herlihy:
Invited Paper: Cross-Chain State Machine Replication. SSS 2022: 51-65 - [c181]Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma:
Flexible Scheduling of Transactional Memory on Trees. SSS 2022: 146-163 - [e10]Maurice Herlihy, Neha Narula:
Proceedings of the 4th ACM Conference on Advances in Financial Technologies, AFT 2022, Cambridge, MA, USA, September 19-21, 2022. ACM 2022, ISBN 978-1-4503-9861-9 [contents] - [i30]Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy:
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. CoRR abs/2204.09796 (2022) - [i29]Yingjie Xue, Maurice Herlihy:
Cross-Chain State Machine Replication. CoRR abs/2206.07042 (2022) - [i28]Yingjie Xue, Di Jin, Maurice Herlihy:
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. CoRR abs/2211.00208 (2022) - 2021
- [b3]Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru:
Principles of Blockchain Systems. Synthesis Lectures on Computer Science, Morgan & Claypool Publishers 2021, ISBN 978-3-031-00679-1, pp. 1-213 - [j85]Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter:
Cryptocurrency Competition and Market Concentration in the Presence of Network Effects. Ledger 6 (2021) - [j84]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Fast Scheduling in Distributed Transactional Memory. Theory Comput. Syst. 65(2): 296-322 (2021) - [c180]Daniel Engel, Maurice Herlihy:
Composing networks of automated market makers. AFT 2021: 15-28 - [c179]Yingjie Xue, Maurice Herlihy:
Hedging Against Sore Loser Attacks in Cross-Chain Transactions. PODC 2021: 155-164 - [c178]Gal Sela, Maurice Herlihy, Erez Petrank:
Brief Announcement: Linearizability: A Typo. PODC 2021: 561-564 - [c177]Gali Sheffi, Maurice Herlihy, Erez Petrank:
VBR: Version Based Reclamation. SPAA 2021: 443-445 - [c176]Daniel Engel, Maurice Herlihy, Yingjie Xue:
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. SSS 2021: 66-77 - [c175]Daniel Engel, Maurice Herlihy:
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. Tokenomics 2021: 13:1-13:23 - [c174]Gali Sheffi, Maurice Herlihy, Erez Petrank:
VBR: Version Based Reclamation. DISC 2021: 35:1-35:18 - [i27]Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter:
Cryptoasset Competition and Market Concentration in the Presence of Network Effects. CoRR abs/2101.06210 (2021) - [i26]Yingjie Xue, Maurice Herlihy:
Hedging Against Sore Loser Attacks in Cross-Chain Transactions. CoRR abs/2105.06322 (2021) - [i25]Gal Sela, Maurice Herlihy, Erez Petrank:
Linearizability: a Typo. CoRR abs/2105.06737 (2021) - [i24]Daniel Engel, Maurice Herlihy:
Composing Networks of Automated Market Makers. CoRR abs/2106.00083 (2021) - [i23]Gali Sheffi, Maurice Herlihy, Erez Petrank:
VBR: Version Based Reclamation. CoRR abs/2107.13843 (2021) - [i22]Daniel Engel, Maurice Herlihy, Yingjie Xue:
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. CoRR abs/2109.12167 (2021) - [i21]Daniel Engel, Maurice Herlihy:
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. CoRR abs/2110.09872 (2021) - 2020
- [j83]Karthik Nandakumar, Nalini K. Ratha, Sharath Pankanti, Alex Pentland, Maurice Herlihy:
Blockchain: From Technology to Marketplaces. Computer 53(7): 14-18 (2020) - [j82]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding concurrency to smart contracts. Distributed Comput. 33(3-4): 209-225 (2020) - [c173]Apoorvaa Deshpande, Maurice Herlihy:
Privacy-Preserving Cross-Chain Atomic Swaps. Financial Cryptography Workshops 2020: 540-549 - [c172]Linnan Wang, Wei Wu, Junyu Zhang, Hang Liu, George Bosilca, Maurice Herlihy, Rodrigo Fonseca:
FFT-based Gradient Sparsification for the Distributed Training of Deep Neural Networks. HPDC 2020: 113-124 - [c171]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Dynamic Scheduling in Distributed Transactional Memory. IPDPS 2020: 874-883 - [e9]Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni:
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, May 6-7, 2019, Paris, France. OASIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-108-5 [contents]
2010 – 2019
- 2019
- [j81]Maurice Herlihy:
Blockchains from a distributed computing perspective. Commun. ACM 62(2): 78-85 (2019) - [j80]Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz:
Encrypted Databases for Differential Privacy. Proc. Priv. Enhancing Technol. 2019(3): 170-190 (2019) - [j79]Maurice Herlihy, Liuba Shrira, Barbara Liskov:
Cross-chain Deals and Adversarial Commerce. Proc. VLDB Endow. 13(2): 100-113 (2019) - [j78]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) - [c170]Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy:
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. APLAS 2019: 313-331 - [c169]Jiwon Choe, Tali Moreshet, R. Iris Bahar, Maurice Herlihy:
Attacking memory-hard scrypt with near-data-processing. MEMSYS 2019: 33-37 - [c168]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 - [c167]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 - [c166]Vikram Saraph, Maurice Herlihy:
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. Tokenomics 2019: 4:1-4:15 - [e8]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
- [j77]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Time-communication impossibility results for distributed transactional memory. Distributed Comput. 31(6): 471-487 (2018) - [j76]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. Bull. EATCS 124 (2018) - [j75]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) - [j74]Vikram Saraph, Maurice Herlihy, Eli Gafni:
An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. 1(3-4): 451-474 (2018) - [j73]Dave Dice, Maurice Herlihy, Alex Kogan:
Improving Parallelism in Hardware Transactional Memory. ACM Trans. Archit. Code Optim. 15(1): 9:1-9:24 (2018) - [c165]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen:
Proof-Carrying Smart Contracts. Financial Cryptography Workshops 2018: 325-338 - [c164]Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy:
Authenticated modular maps in Haskell. TyDe@ICFP 2018: 1-13 - [c163]Maurice Herlihy:
Atomic Cross-Chain Swaps. PODC 2018: 245-254 - [c162]Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank:
A persistent lock-free queue for non-volatile memory. PPoPP 2018: 28-40 - [c161]Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy:
Load Balanced Distributed Directories. SSS 2018: 221-238 - [c160]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
- [j72]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) - [j71]Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Maurice Herlihy, R. Iris Bahar:
Edge-TM: Exploiting Transactional Memory for Error Tolerance and Energy Efficiency. ACM Trans. Embed. Comput. Syst. 16(5s): 153:1-153:18 (2017) - [c159]Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald:
The Teleportation Design Pattern for Hardware Transactional Memory. OPODIS 2017: 10:1-10:16 - [c158]Maurice Herlihy:
Blockchains and the Future of Distributed Computing. PODC 2017: 155 - [c157]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 - [c156]Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen:
Adding Concurrency to Smart Contracts. PODC 2017: 303-312 - [c155]Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald:
POSTER: State Teleportation via Hardware Transactional Memory. PPoPP 2017: 437-438 - [c154]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Fast Scheduling in Distributed Transactional Memory. SPAA 2017: 173-182 - [c153]Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu:
Concurrent Data Structures for Near-Memory Computing. SPAA 2017: 235-245 - [c152]Hammurabi Mendes, Maurice Herlihy:
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. DISC 2017: 35:1-35:16 - [c151]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
- [j70]Maurice Herlihy, Zhiyu Liu:
Well-Structured Futures and Cache Locality. ACM Trans. Parallel Comput. 2(4): 22:1-22:20 (2016) - [c150]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 - [c149]Dave Dice, Maurice Herlihy, Alex Kogan:
Fast non-intrusive memory reclamation for highly-concurrent data structures. ISMM 2016: 36-45 - [c148]Maurice Herlihy, Mark Moir:
Blockchains and the Logic of Accountability: Keynote Address. LICS 2016: 27-30 - [c147]Oana Balmau, Rachid Guerraoui, Maurice Herlihy, Igor Zablotchi:
Fast and Robust Memory Reclamation for Concurrent Data Structures. SPAA 2016: 349-359 - [c146]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
- [j69]Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg:
Multidimensional agreement in Byzantine systems. Distributed Comput. 28(6): 423-441 (2015) - [j68]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. Embed. Comput. Syst. 14(3): 51:1-51:27 (2015) - [j67]Maurice Herlihy:
Guest Editor Introduction. ACM Trans. Parallel Comput. 2(1): 1:1 (2015) - [c145]Shahar Timnat, Maurice Herlihy, Erez Petrank:
A Practical Transactional Memory Interface. Euro-Par 2015: 387-401 - [c144]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 - [c143]Vikram Saraph, Maurice Herlihy:
The Relative Power of Composite Loop Agreement Tasks. OPODIS 2015: 13:1-13:16 - [c142]Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma:
Impossibility Results for Distributed Transactional Memory. PODC 2015: 207-215 - [e7]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
- [j66]Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum:
An Equivariance Theorem with Applications to Renaming. Algorithmica 70(2): 171-194 (2014) - [j65]Maurice Herlihy:
The Future of Synchronization on Multicores: The multicore transformation (Ubiquity symposium). Ubiquity 2014(September): 1:1-1:9 (2014) - [c141]James A. Jablin, Thomas B. Jablin, Onur Mutlu, Maurice Herlihy:
Warp-aware trace scheduling for GPUs. PACT 2014: 163-174 - [c140]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 - [c139]Maurice Herlihy, Eric Koskinen:
Composable Transactional Objects: A Position Paper. ESOP 2014: 1-7 - [c138]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 - [c137]Eli Gafni, Maurice Herlihy:
Sporadic Solutions to Zero-One Exclusion Tasks. ICALP (1) 2014: 1-10 - [c136]Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer:
Computing in the Presence of Concurrent Solo Executions. LATIN 2014: 214-225 - [c135]Alex Kogan, Maurice Herlihy:
The future(s) of shared data structures. PODC 2014: 30-39 - [c134]Maurice Herlihy, Zhiyu Liu:
Well-structured futures and cache locality. PPoPP 2014: 155-166 - [c133]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 - [c132]Maurice Herlihy:
Fun with hardware transactional memory. SIGMOD Conference 2014: 575 - [c131]