| 2026 | SIROCCO | Byzantine Approximate Agreement Cross-chain Task. | Maurice Herlihy, Bo Pan, Maria Potop-Butucaru, Liuba Shrira |
| 2025 | SIROCCO | Asynchronous Byzantine Consensus with Trusted Monotonic Counters. | Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru |
| 2025 | SSS | Brief Announcement: Cross-Chain Consensus. | Sucharita Jayanti, Maurice Herlihy |
| 2024 | SSS | Byzantine Reliable Broadcast with One Trusted Monotonic Counter. | Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru |
| 2024 | SSS | Invited Paper: The Smart Contract Model. | Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru, Sergio Rajsbaum |
| 2023 | ICDCN | Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps. | Yingjie Xue, Di Jin, Maurice Herlihy |
| 2022 | ICDCS | Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols. | Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy |
| 2022 | SPAA | HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures. | Jiwon Choe, Andrew Crotty, Tali Moreshet, Maurice Herlihy, R. Iris Bahar |
| 2022 | SSS | Flexible Scheduling of Transactional Memory on Trees. | Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma |
| 2022 | SSS | Invited Paper: Cross-Chain State Machine Replication. | Yingjie Xue, Maurice Herlihy |
| 2021 | AFT | Composing networks of automated market makers. | Daniel Engel, Maurice Herlihy |
| 2021 | PODC | Brief Announcement: Linearizability: A Typo. | Gal Sela, Maurice Herlihy, Erez Petrank |
| 2021 | PODC | Hedging Against Sore Loser Attacks in Cross-Chain Transactions. | Yingjie Xue, Maurice Herlihy |
| 2021 | SPAA | VBR: Version Based Reclamation. | Gali Sheffi, Maurice Herlihy, Erez Petrank |
| 2021 | SSS | Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance. | Daniel Engel, Maurice Herlihy, Yingjie Xue |
| 2020 | FC | Privacy-Preserving Cross-Chain Atomic Swaps. | Apoorvaa Deshpande, Maurice Herlihy |
| 2020 | HPDC | FFT-based Gradient Sparsification for the Distributed Training of Deep Neural Networks. | Linnan Wang, Wei Wu, Junyu Zhang, Hang Liu, George Bosilca, Maurice Herlihy, Rodrigo Fonseca |
| 2019 | APLAS | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects. | Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy |
| 2019 | SPAA | Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation. | Jiwon Choe, Amy Huang, Tali Moreshet, Maurice Herlihy, R. Iris Bahar |
| 2018 | FC | Proof-Carrying Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen |
| 2018 | ICFP | Authenticated modular maps in Haskell. | Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy |
| 2018 | PODC | Atomic Cross-Chain Swaps. | Maurice Herlihy |
| 2018 | PPoPP | A persistent lock-free queue for non-volatile memory. | Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank |
| 2018 | SSS | Clairvoyant State Machine Replications. | Rida A. Bazzi, Maurice Herlihy |
| 2018 | SSS | Load Balanced Distributed Directories. | Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy |
| 2017 | OPODIS | The Teleportation Design Pattern for Hardware Transactional Memory. | Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald |
| 2017 | PODC | Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2017 | PODC | Adding Concurrency to Smart Contracts. | Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen |
| 2017 | PODC | Blockchains and the Future of Distributed Computing. | Maurice Herlihy |
| 2017 | PPoPP | POSTER: State Teleportation via Hardware Transactional Memory. | Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald |
| 2017 | SPAA | Fast Scheduling in Distributed Transactional Memory. | Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma |
| 2017 | SPAA | Concurrent Data Structures for Near-Memory Computing. | Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu |
| 2016 | CASES | Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems. | Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar |
| 2016 | LICS | Blockchains and the Logic of Accountability: Keynote Address. | Maurice Herlihy, Mark Moir |
| 2016 | SPAA | Fast and Robust Memory Reclamation for Concurrent Data Structures. | Oana Balmau, Rachid Guerraoui, Maurice Herlihy, Igor Zablotchi |
| 2015 | EuroPar | A Practical Transactional Memory Interface. | Shahar Timnat, Maurice Herlihy, Erez Petrank |
| 2015 | OPODIS | The Relative Power of Composite Loop Agreement Tasks. | Vikram Saraph, Maurice Herlihy |
| 2015 | PODC | Impossibility Results for Distributed Transactional Memory. | Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma |
| 2014 | ESOP | Composable Transactional Objects: A Position Paper. | Maurice Herlihy, Eric Koskinen |
| 2014 | EuroSys | StackTrack: an automated transactional approach to concurrent memory reclamation. | Dan Alistarh, Patrick Eugster, Maurice Herlihy, Alexander Matveev, Nir Shavit |
| 2014 | ICALP | Sporadic Solutions to Zero-One Exclusion Tasks. | Eli Gafni, Maurice Herlihy |
| 2014 | LATIN | Computing in the Presence of Concurrent Solo Executions. | Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer |
| 2014 | PODC | The future(s) of shared data structures. | Alex Kogan, Maurice Herlihy |
| 2014 | PPoPP | Well-structured futures and cache locality. | Maurice Herlihy, Zhiyu Liu |
| 2014 | SIGMOD | Fun with hardware transactional memory. | Maurice Herlihy |
| 2014 | STOC | Distributed computability in Byzantine asynchronous systems. | Hammurabi Mendes, Christine Tasson, Maurice Herlihy |
| 2013 | ISCA | Transparent and energy-efficient speculation on NUMA architectures for embedded MPSoCs. | Dimitra Papagiannopoulou, R. Iris Bahar, Tali Moreshet, Maurice Herlihy, Andrea Marongiu, Luca Benini |
| 2013 | OPODIS | Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores. | Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir |
| 2013 | PODC | Upper bound on the complexity of solving hard renaming. | Hagit Attiya, Armando Castaeda, Maurice Herlihy, Ami Paz |
| 2013 | STOC | Multidimensional approximate agreement in Byzantine asynchronous systems. | Hammurabi Mendes, Maurice Herlihy |
| 2012 | LATIN | An Equivariance Theorem with Applications to Renaming. | Armando Castaeda, Maurice Herlihy, Sergio Rajsbaum |
| 2012 | PODC | Simulations and reductions for colorless tasks. | Maurice Herlihy, Sergio Rajsbaum |
| 2011 | OPODIS | On the Nature of Progress. | Maurice Herlihy, Nir Shavit |
| 2011 | PODC | On the power of hardware transactional memory to simplify memory management. | Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir |
| 2011 | PODC | Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. | Maurice Herlihy, Yoram Moses, Mark R. Tuttle |
| 2010 | CONCUR | Applications of Shellable Complexes to Distributed Computing - (Invited Talk). | Maurice Herlihy |
| 2010 | ICDCIT | Transactional Memory Today. | Maurice Herlihy |
| 2010 | PODC | The topology of shared-memory adversaries. | Maurice Herlihy, Sergio Rajsbaum |
| 2010 | POPL | Coarse-grained transactions. | Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy |
| 2009 | ICDCN | Distributed Computing and the Multicore Revolution. | Maurice Herlihy |
| 2009 | OPODIS | Enhanced Fault-Tolerance through Byzantine Failure Detection. | Rida A. Bazzi, Maurice Herlihy |
| 2009 | OPODIS | Transactional Memory Today: A Status Report. | Maurice Herlihy |
| 2009 | PODC | Brief announcement: concurrent non-commutative boosted transactions. | Eric Koskinen, Maurice Herlihy |
| 2009 | PPoPP | Committing conflicting transactions in an STM. | Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, Emmett Witchel |
| 2008 | PODC | The future of distributed computing: renaissance or reformation? | Maurice Herlihy |
| 2008 | PPoPP | Transactional boosting: a methodology for highly-concurrent transactional objects. | Maurice Herlihy, Eric Koskinen |
| 2008 | SPAA | Checkpoints and continuations instead of nested transactions. | Eric Koskinen, Maurice Herlihy |
| 2008 | SPAA | Dreadlocks: efficient deadlock detection. | Eric Koskinen, Maurice Herlihy |
| 2007 | ICDCIT | Language Support and Compiler Optimizations for STM and Transactional Boosting. | Guy Eddon, Maurice Herlihy |
| 2007 | PODC | On the weakest failure detector ever. | Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport |
| 2007 | PPoPP | Potential show-stoppers for transactional synchronization. | Ali-Reza Adl-Tabatabai, David Dice, Maurice Herlihy, Nir Shavit, Christos Kozyrakis, Christoph von Praun, Michael L. Scott |
| 2007 | SIROCCO | A Simple Optimistic Skiplist Algorithm. | Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit |
| 2006 | OOPSLA | A flexible framework for implementing software transactional memory. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2006 | OPODIS | A Topological Treatment of Early-Deciding Set-Agreement. | Rachid Guerraoui, Maurice Herlihy, Bastian Pochon |
| 2006 | PODC | Towards a theory of transactional contention managers. | Rachid Guerraoui, Maurice Herlihy, Bastian Pochon |
| 2006 | PODC | The art of multiprocessor programming. | Maurice Herlihy |
| 2006 | PPoPP | Proving correctness of highly-concurrent linearisable objects. | Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro |
| 2006 | SPAA | Energy implications of multiprocessor synchronization. | Tali Moreshet, R. Iris Bahar, Maurice Herlihy |
| 2005 | ICDCS | Virtual Leashing: Internet-Based Software Piracy Protection. | Ori Dvir, Maurice Herlihy, Nir Shavit |
| 2005 | ISCA | Virtualizing Transactional Memory. | Ravi Rajwar, Maurice Herlihy, Konrad K. Lai |
| 2005 | ISLPED | Energy reduction in multiprocessor systems using transactional memory. | Tali Moreshet, R. Iris Bahar, Maurice Herlihy |
| 2005 | OPODIS | Optimal Randomized Fair Exchange with Secret Shared Coins. | Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso |
| 2005 | OPODIS | A Lazy Concurrent List-Based Set Algorithm. | Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit |
| 2005 | PLDI | The transactional manifesto: software engineering and non-blocking synchronization. | Maurice Herlihy |
| 2005 | PODC | Toward a theory of transactional contention managers. | Rachid Guerraoui, Maurice Herlihy, Bastian Pochon |
| 2005 | PPoPP | Composable memory transactions. | Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy |
| 2004 | PODC | Bringing practical lock-free synchronization to 64-bit applications. | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2003 | ICDCS | Obstruction-Free Synchronization: Double-Ended Queues as an Example. | Maurice Herlihy, Victor Luchangco, Mark Moir |
| 2003 | ICDCS | Self-Stabilizing Smoothing and Counting Maurice Herlihy, Srikanta Tirthapura. | Maurice Herlihy, Srikanta Tirthapura |
| 2003 | PODC | Software transactional memory for dynamic-sized data structures. | Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III |
| 2003 | PODC | tight bounds for k-set agreement with limited-scope failure detectors. | Maurice Herlihy, Lucia Draque Penso |
| 2002 | PODC | Dynamic-sized lock-free data structures. | Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir |
| 2001 | PODC | Adding networks. | Panagiota Fatourou, Maurice Herlihy |
| 2001 | PODC | On beyond registers: wait-free readable objects. | Maurice Herlihy |
| 2001 | PODC | Competitive concurrent distributed queuing. | Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer |
| 2001 | SPAA | Routing without flow control. | Costas Busch, Maurice Herlihy, Roger Wattenhofer |
| 2000 | EuroPar | A Combinatorial Characterization of Properties Preserved by Antitokens. | Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas |
| 2000 | FOCS | On the Existence of Booster Types. | Maurice Herlihy, Eric Ruppert |
| 2000 | SODA | Randomized greedy hot-potato routing. | Costas Busch, Maurice Herlihy, Roger Wattenhofer |
| 2000 | STOC | Hard-Potato routing. | Costas Busch, Maurice Herlihy, Roger Wattenhofer |
| 1999 | MFCS | New Perspectives in Distributed Computing. | Maurice Herlihy, Sergio Rajsbaum |
| 1999 | STACS | Supporting Increment and Decrement Operations in Balancing Networks. | William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou |
| 1999 | SPAA | Sorting and Counting Networks of Small Depth and Arbitrary Width. | Costas Busch, Maurice Herlihy |
| 1999 | SIROCCO | Threshold Counters with Increments and Decrements. | Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas |
| 1998 | PODC | Unifying Synchronous and Asynchronous Message-Passing Models. | Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle |
| 1997 | STOC | The Decidability of Distributed Decision Tasks (Extended Abstract). | Maurice Herlihy, Sergio Rajsbaum |
| 1996 | PODC | On the Decidability of Distributed Decision Tasks (Brief Announcement). | Maurice Herlihy, Sergio Rajsbaum |
| 1995 | PODC | Algebraic Spans (Preliminary Version). | Maurice Herlihy, Sergio Rajsbaum |
| 1994 | PODC | Set Consensus Using Arbitrary Objects (Preliminary Version). | Maurice Herlihy, Sergio Rajsbaum |
| 1994 | STOC | A simple constructive computability theorem for wait-free computation. | Maurice Herlihy, Nir Shavit |
| 1993 | FOCS | A Tight Lower Bound for k-Set Agreement | Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle |
| 1993 | ISCA | Transactional Memory: Architectural Support for Lock-Free Data Structures. | Maurice Herlihy, J. Eliot B. Moss |
| 1993 | PODC | Bounded Round Numbers. | Cynthia Dwork, Maurice Herlihy, Orli Waarts |
| 1993 | PODC | On the Space Complexity of Randomized Synchronization. | Faith E. Fich, Maurice Herlihy, Nir Shavit |
| 1993 | STOC | Contention in shared memory algorithms. | Cynthia Dwork, Maurice Herlihy, Orli Waarts |
| 1993 | STOC | The asynchronous computability theorem for t-resilient tasks. | Maurice Herlihy, Nir Shavit |
| 1992 | SPAA | Low Contention Load Balancing on Large-Scale Multiprocessors. | Maurice Herlihy, Beng-Hong Lim, Nir Shavit |
| 1991 | FOCS | Low Contention Linearizable Counting | Maurice Herlihy, Nir Shavit, Orli Waarts |
| 1991 | PODC | Randomized Wait-Free Concurrent Objects (Extended Abstract). | Maurice Herlihy |
| 1991 | STOC | Counting Networks and Multi-Processor Coordination | James Aspnes, Maurice Herlihy, Nir Shavit |
| 1991 | SPAA | Impossibility Results for Asynchronous PRAM (Extended Abstract). | Maurice Herlihy |
| 1991 | SPAA | Lock-Free garbage Collection for Multiprocessors. | Maurice Herlihy, J. Eliot B. Moss |
| 1990 | PODC | Lower Bounds for Wait-Free Computation in Message-Passing Systems. | Maurice Herlihy, Mark R. Tuttle |
| 1990 | PPoPP | A Methodology for Implementing Highly Concurrent Data Structures. | Maurice Herlihy |
| 1990 | SPAA | Wait-Free Data Structures in the Asynchronous PRAM Model. | James Aspnes, Maurice Herlihy |
| 1988 | PODC | Impossibility and Universality Results for Wait-Free Synchronization. | Maurice Herlihy |
| 1988 | PODS | Hybrid Concurrency Control for Abstract Data Types. | Maurice Herlihy, William E. Weihl |
| 1987 | CRYPTO | How to Make Replicated Data Secure. | Maurice Herlihy, J. D. Tygar |
| 1987 | PODC | Specifying Graceful Degradation in Distributed Systems. | Maurice Herlihy, Jeannette M. Wing |
| 1987 | POPL | Axioms for Concurrent Objects. | Maurice Herlihy, Jeannette M. Wing |
| 1986 | PODC | Optimistic Concurrency Control for Abstract Data Types. | Maurice Herlihy |
| 1986 | POPL | Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. | Barbara Liskov, Maurice Herlihy, Lucy Gilbert |
| 1986 | SRDS | Time-Driven Orphan Elimination. | Martin S. McKendry, Maurice Herlihy |
| 1985 | PODC | Comparing How Atomicity Mechanisms Support Replication. | Maurice Herlihy |
| 1983 | SRDS | Issues Process and Communication Structure for Distributed Programs. | Barbara Liskov, Maurice Herlihy |