Maurice Herlihy

ORCID

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 88

Top Venues

Publications

Kenan Wood, Maurice Herlihy, Hammurabi Mendes, Jonad Pulaj
Expiring Assets in Automated Market Makers. CoRR (2024)
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
Byzantine Reliable Broadcast with One Trusted Monotonic Counter. IACR Cryptol. ePrint Arch. 2024 (2024)
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 (2024)
Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
Flexible scheduling of transactional memory on trees. Theor. Comput. Sci. 978 (2023)
Yingjie Xue, Di Jin, Maurice Herlihy
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. ICDCN (2023)
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) (2023)
Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy
Load balanced distributed directories. Inf. Comput. 285 (Part) (2022)
Jiwon Choe, Andrew Crotty, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures. SPAA (2022)
Maurice Herlihy, Barbara Liskov, Liuba Shrira
Cross-chain deals and adversarial commerce. VLDB J. 31 (6) (2022)
Maria Potop-Butucaru, Ariel Orda, Maurice Herlihy, Stefano Secci
Special issue on blockchain networks and distributed protocols. Ann. des Télécommunications 77 (1) (2022)
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)
Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
Flexible Scheduling of Transactional Memory on Trees. SSS (2022)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Dynamic scheduling in distributed transactional memory. Distributed Comput. 35 (1) (2022)
Yingjie Xue, Maurice Herlihy
Cross-Chain State Machine Replication. CoRR (2022)
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 (2022)
Yingjie Xue, Di Jin, Maurice Herlihy
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. CoRR (2022)
Yingjie Xue, Maurice Herlihy
Invited Paper: Cross-Chain State Machine Replication. SSS (2022)
Rida A. Bazzi, Maurice Herlihy
Clairvoyant state machine replication. Inf. Comput. 285 (Part) (2022)
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)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. SPAA (2021)
Daniel Engel, Maurice Herlihy
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. CoRR (2021)
Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter
Cryptoasset Competition and Market Concentration in the Presence of Network Effects. CoRR (2021)
Yingjie Xue, Maurice Herlihy
Hedging Against Sore Loser Attacks in Cross-Chain Transactions. CoRR (2021)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. CoRR (2021)
Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter
Cryptocurrency Competition and Market Concentration in the Presence of Network Effects. Ledger 6 (2021)
Daniel Engel, Maurice Herlihy
Composing Networks of Automated Market Makers. CoRR (2021)
Daniel Engel, Maurice Herlihy, Yingjie Xue
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. CoRR (2021)
Daniel Engel, Maurice Herlihy, Yingjie Xue
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. SSS (2021)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Fast Scheduling in Distributed Transactional Memory. Theory Comput. Syst. 65 (2) (2021)
Gal Sela, Maurice Herlihy, Erez Petrank
Brief Announcement: Linearizability: A Typo. PODC (2021)
Daniel Engel, Maurice Herlihy
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers. Tokenomics (2021)
Yingjie Xue, Maurice Herlihy
Hedging Against Sore Loser Attacks in Cross-Chain Transactions. PODC (2021)
Gal Sela, Maurice Herlihy, Erez Petrank
Linearizability: a Typo. CoRR (2021)
Daniel Engel, Maurice Herlihy
Composing networks of automated market makers. AFT (2021)
Gali Sheffi, Maurice Herlihy, Erez Petrank
VBR: Version Based Reclamation. DISC (2021)
Karthik Nandakumar, Nalini K. Ratha, Sharath Pankanti, Alex Pentland, Maurice Herlihy
Blockchain: From Technology to Marketplaces. Computer 53 (7) (2020)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding concurrency to smart contracts. Distributed Comput. 33 (3-4) (2020)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Dynamic Scheduling in Distributed Transactional Memory. IPDPS (2020)
Apoorvaa Deshpande, Maurice Herlihy
Privacy-Preserving Cross-Chain Atomic Swaps. Financial Cryptography Workshops (2020)
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)
Vikram Saraph, Maurice Herlihy
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. Tokenomics (2019)
Jiwon Choe, Amy Huang, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation. SPAA (2019)
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. APLAS (2019)
Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael
CUDA-DTM: Distributed Transactional Memory for GPU Clusters. NETYS (2019)
Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz
Bounds on the Step and Namespace Complexity of Renaming. SIAM J. Comput. 48 (1) (2019)
Rida A. Bazzi, Maurice Herlihy
Clairvoyant State Machine Replication. CoRR (2019)
Maurice Herlihy, Barbara Liskov, Liuba Shrira
Cross-chain Deals and Adversarial Commerce. CoRR (2019)
Maurice Herlihy, Liuba Shrira, Barbara Liskov
Cross-chain Deals and Adversarial Commerce. Proc. VLDB Endow. 13 (2) (2019)
Maurice Herlihy
Blockchains from a distributed computing perspective. Commun. ACM 62 (2) (2019)
Vikram Saraph, Maurice Herlihy
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts. CoRR (2019)
Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz
Encrypted Databases for Differential Privacy. Proc. Priv. Enhancing Technol. 2019 (3) (2019)
Jiwon Choe, Tali Moreshet, R. Iris Bahar, Maurice Herlihy
Attacking memory-hard scrypt with near-data-processing. MEMSYS (2019)
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 (2018)
Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz
Encrypted Databases for Differential Privacy. IACR Cryptol. ePrint Arch. 2018 (2018)
Maurice Herlihy
Atomic Cross-Chain Swaps. PODC (2018)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. Bull. EATCS 124 (2018)
Dave Dice, Maurice Herlihy, Alex Kogan
Improving Parallelism in Hardware Transactional Memory. ACM Trans. Archit. Code Optim. 15 (1) (2018)
Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy
Load Balanced Distributed Directories. SSS (2018)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
Proof-Carrying Smart Contracts. Financial Cryptography Workshops (2018)
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) (2018)
Maurice Herlihy
Atomic Cross-Chain Swaps. CoRR (2018)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An algorithmic approach to the asynchronous computability theorem. J. Appl. Comput. Topol. 1 (3-4) (2018)
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
A persistent lock-free queue for non-volatile memory. PPOPP (2018)
Rida A. Bazzi, Maurice Herlihy
Clairvoyant State Machine Replications. SSS (2018)
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy
Authenticated modular maps in Haskell. TyDe@ICFP (2018)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Time-communication impossibility results for distributed transactional memory. Distributed Comput. 31 (6) (2018)
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
From wait-free to arbitrary concurrent solo executions in colorless distributed computing. Theor. Comput. Sci. 683 (2017)
Vikram Saraph, Maurice Herlihy, Eli Gafni
An Algorithmic Approach to the Asynchronous Computability Theorem. CoRR (2017)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. PODC (2017)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. CoRR (2017)
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory. DISC (2017)
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) (2017)
Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
New Challenges in Parallelism (Dagstuhl Seminar 17451). Dagstuhl Reports 7 (11) (2017)
Hammurabi Mendes, Maurice Herlihy
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. DISC (2017)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Fast Scheduling in Distributed Transactional Memory. SPAA (2017)
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
POSTER: State Teleportation via Hardware Transactional Memory. PPOPP (2017)
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
Adding Concurrency to Smart Contracts. PODC (2017)
Maurice Herlihy
Blockchains and the Future of Distributed Computing. PODC (2017)
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy
Proust: A Design Space for Highly-Concurrent Transactional Data Structures. CoRR (2017)
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
The Teleportation Design Pattern for Hardware Transactional Memory. OPODIS (2017)
Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu
Concurrent Data Structures for Near-Memory Computing. SPAA (2017)
Oana Balmau, Rachid Guerraoui, Maurice Herlihy, Igor Zablotchi
Fast and Robust Memory Reclamation for Concurrent Data Structures. SPAA (2016)
Maurice Herlihy, Mark Moir
Enhancing Accountability and Trust in Distributed Ledgers. CoRR (2016)
Dave Dice, Maurice Herlihy, Alex Kogan
Fast non-intrusive memory reclamation for highly-concurrent data structures. ISMM (2016)
Maurice Herlihy, Mark Moir
Blockchains and the Logic of Accountability: Keynote Address. LICS (2016)
Maurice Herlihy, Zhiyu Liu
Well-Structured Futures and Cache Locality. ACM Trans. Parallel Comput. 2 (4) (2016)
Vikram Saraph, Maurice Herlihy, Eli Gafni
Asynchronous Computability Theorems for t-Resilient Systems. DISC (2016)
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)
Vikram Saraph, Maurice Herlihy
The Relative Power of Composite Loop Agreement Tasks. OPODIS (2015)
Maurice Herlihy
Guest Editor Introduction. ACM Trans. Parallel Comput. 2 (1) (2015)
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
Impossibility Results for Distributed Transactional Memory. PODC (2015)
Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg
Multidimensional agreement in Byzantine systems. Distributed Comput. 28 (6) (2015)
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)
Shahar Timnat, Maurice Herlihy, Erez Petrank
A Practical Transactional Memory Interface. Euro-Par (2015)
Maurice Herlihy, Vikram Saraph
The Relative Power of Composite Loop Agreement Tasks. CoRR (2015)
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) (2015)
Hammurabi Mendes, Maurice Herlihy
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems. CoRR (2015)
Alex Kogan, Maurice Herlihy
The future(s) of shared data structures. PODC (2014)
Irina Calciu, Hammurabi Mendes, Maurice Herlihy
The Adaptive Priority Queue with Elimination and Combining. DISC (2014)
Hammurabi Mendes, Christine Tasson, Maurice Herlihy
Distributed computability in Byzantine asynchronous systems. STOC (2014)

Maurice Herlihy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Maurice Herlihy