Maurice Herlihy

350 papers A* 60A 35B 48C 9Misc 6Journal 131Unranked 41
YearRankTypeTitle / Venue / Authors
2026 J jnl
Byzantine reliable broadcast and tendermint consensus with trusted components.
Theor. Comput. Sci.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2026 J jnl
Defensive Rebalancing for Automated Market Makers.
CoRR
Sam Devorsetz, Maurice Herlihy
2025 B conf
Asynchronous Byzantine Consensus with Trusted Monotonic Counters.
SIROCCO
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru
2025 C conf
Brief Announcement: Cross-Chain Consensus.
SSS
Sucharita Jayanti, Maurice Herlihy
2025 J jnl
Byzantine Reliable Broadcast and Tendermint Consensus with trusted components.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2025 — conf
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.
BRAINS
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 J jnl
Conthereum: Concurrent Ethereum Optimized Transaction Scheduling for Multi-Core Execution.
CoRR
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 J jnl
Self-Stabilizing Replicated State Machine Coping with Byzantine and Recurring Transient Faults.
CoRR
Shlomi Dolev, Amit Hendin, Maurice Herlihy, Maria Potop-Butucaru, Elad Michael Schiller
2025 J jnl
SoK: Concurrency in Blockchain - A Systematic Literature Review and the Unveiling of a Misconception.
CoRR
Atefeh Zareh Chahoki, Maurice Herlihy, Marco Roveri
2025 J jnl
The Smart Contract Model.
CoRR
Yackolley Amoussou-Guenou, Maurice Herlihy, Sucharita Jayanti, Maria Potop-Butucaru, Sergio Rajsbaum
2024 J jnl
Asynchronous Byzantine Consensus with Trusted Monotonic Counters.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru
2024 C conf
Byzantine Reliable Broadcast with One Trusted Monotonic Counter.
SSS
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2024 J jnl
Byzantine Reliable Broadcast with One Trusted Monotonic Counter.
IACR Cryptol. ePrint Arch.
Yackolley Amoussou-Guenou, Lionel Beltrando, Maurice Herlihy, Maria Potop-Butucaru
2024 J jnl
Distributed runtime verification of metric temporal properties.
J. Parallel Distributed Comput.
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2024 J jnl
Expiring Assets in Automated Market Makers.
CoRR
Kenan Wood, Maurice Herlihy, Hammurabi Mendes, Jonad Pulaj
2024 — conf
Invited Paper: Further Decentralizing Decentralized Finance: Loss vs Rebalancing Without a Shared Reference Market.
BRAINS
Maurice Herlihy, Sergio Rajsbaum
2024 C conf
Invited Paper: The Smart Contract Model.
SSS
Yackolley Amoussou-Guenou, Maurice Herlihy, Maria Potop-Butucaru, Sergio Rajsbaum
2023 J jnl
Flexible scheduling of transactional memory on trees.
Theor. Comput. Sci.
Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2023 Misc conf
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps.
ICDCN
Yingjie Xue, Di Jin, Maurice Herlihy
2023 J jnl
Methods to Encrypt and Authenticate Digital Files in Distributed Networks and Zero-Trust Environments.
Axioms
Bertrand Cambou, Christopher Robert Philabaum, Jeffrey Hoffstein, Maurice Herlihy
2022 J jnl
Clairvoyant state machine replication.
Inf. Comput.
Rida A. Bazzi, Maurice Herlihy
2022 J jnl
Cross-Chain State Machine Replication.
CoRR
Yingjie Xue, Maurice Herlihy
2022 J jnl
Cross-chain deals and adversarial commerce.
VLDB J.
Maurice Herlihy, Barbara Liskov, Liuba Shrira
2022 A conf
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.
ICDCS
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2022 J jnl
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.
CoRR
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy
2022 J jnl
Dynamic scheduling in distributed transactional memory.
Distributed Comput.
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2022 C conf
Flexible Scheduling of Transactional Memory on Trees.
SSS
Costas Busch, Bogdan S. Chlebus, Maurice Herlihy, Miroslav Popovic, Pavan Poudel, Gokarna Sharma
2022 B conf
HybriDS: Cache-Conscious Concurrent Data Structures for Near-Memory Processing Architectures.
SPAA
Jiwon Choe, Andrew Crotty, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
2022 C conf
Invited Paper: Cross-Chain State Machine Replication.
SSS
Yingjie Xue, Maurice Herlihy
2022 J jnl
Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps.
CoRR
Yingjie Xue, Di Jin, Maurice Herlihy
2022 J jnl
Load balanced distributed directories.
Inf. Comput.
Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy
2022 B ed.
Proceedings of the 4th ACM Conference on Advances in Financial Technologies, AFT 2022, Cambridge, MA, USA, September 19-21, 2022
AFT
Maurice Herlihy, Neha Narula
2022 J jnl
Special issue on blockchain networks and distributed protocols.
Ann. des Télécommunications
Maria Potop-Butucaru, Ariel Orda, Maurice Herlihy, Stefano Secci
2022 — conf
Towards Hardware Accelerated Garbage Collection with Near-Memory Processing.
HPEC
Samuel Thomas, Jiwon Choe, Ofir Gordon, Erez Petrank, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
2021 A* conf
Brief Announcement: Linearizability: A Typo.
PODC
Gal Sela, Maurice Herlihy, Erez Petrank
2021 J jnl
Composing Networks of Automated Market Makers.
CoRR
Daniel Engel, Maurice Herlihy
2021 B conf
Composing networks of automated market makers.
AFT
Daniel Engel, Maurice Herlihy
2021 J jnl
Cryptoasset Competition and Market Concentration in the Presence of Network Effects.
CoRR
Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter
2021 J jnl
Cryptocurrency Competition and Market Concentration in the Presence of Network Effects.
Ledger
Konstantinos Stylianou, Leonhard Spiegelberg, Maurice Herlihy, Nic Carter
2021 C conf
Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance.
SSS
Daniel Engel, Maurice Herlihy, Yingjie Xue
2021 J jnl
Fast Scheduling in Distributed Transactional Memory.
Theory Comput. Syst.
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2021 A* conf
Hedging Against Sore Loser Attacks in Cross-Chain Transactions.
PODC
Yingjie Xue, Maurice Herlihy
2021 J jnl
Hedging Against Sore Loser Attacks in Cross-Chain Transactions.
CoRR
Yingjie Xue, Maurice Herlihy
2021 J jnl
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance.
CoRR
Daniel Engel, Maurice Herlihy, Yingjie Xue
2021 J jnl
Linearizability: a Typo.
CoRR
Gal Sela, Maurice Herlihy, Erez Petrank
2021 — conf
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers.
Tokenomics
Daniel Engel, Maurice Herlihy
2021 J jnl
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers.
CoRR
Daniel Engel, Maurice Herlihy
2021 — book
Principles of Blockchain Systems
Antonio Fernández Anta, Chryssis Georgiou, Maurice Herlihy, Maria Potop-Butucaru
2021 B conf
VBR: Version Based Reclamation.
SPAA
Gali Sheffi, Maurice Herlihy, Erez Petrank
2021 A conf
VBR: Version Based Reclamation.
DISC
Gali Sheffi, Maurice Herlihy, Erez Petrank
2021 J jnl
VBR: Version Based Reclamation.
CoRR
Gali Sheffi, Maurice Herlihy, Erez Petrank
2020 J jnl
Adding concurrency to smart contracts.
Distributed Comput.
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2020 J jnl
Blockchain: From Technology to Marketplaces.
Computer
Karthik Nandakumar, Nalini K. Ratha, Sharath Pankanti, Alex Pentland, Maurice Herlihy
2020 A conf
Dynamic Scheduling in Distributed Transactional Memory.
IPDPS
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2020 A conf
FFT-based Gradient Sparsification for the Distributed Training of Deep Neural Networks.
HPDC
Linnan Wang, Wei Wu, Junyu Zhang, Hang Liu, George Bosilca, Maurice Herlihy, Rodrigo Fonseca
2020 — ed.
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, Paris, France, May 6-7, 2019
Tokenomics
Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni
2020 — conf
Privacy-Preserving Cross-Chain Atomic Swaps.
Financial Cryptography Workshops
Apoorvaa Deshpande, Maurice Herlihy
2019 — conf
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts.
Tokenomics
Vikram Saraph, Maurice Herlihy
2019 J jnl
An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts.
CoRR
Vikram Saraph, Maurice Herlihy
2019 — conf
Attacking memory-hard scrypt with near-data-processing.
MEMSYS
Jiwon Choe, Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2019 J jnl
Blockchains from a distributed computing perspective.
Commun. ACM
Maurice Herlihy
2019 J jnl
Bounds on the Step and Namespace Complexity of Renaming.
SIAM J. Comput.
Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz
2019 — conf
CUDA-DTM: Distributed Transactional Memory for GPU Clusters.
NETYS
Samuel Irving, Sui Chen, Lu Peng, Costas Busch, Maurice Herlihy, Christopher J. Michael
2019 J jnl
Clairvoyant State Machine Replication.
CoRR
Rida A. Bazzi, Maurice Herlihy
2019 B conf
Concurrent Data Structures with Near-Data-Processing: an Architecture-Aware Implementation.
SPAA
Jiwon Choe, Amy Huang, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
2019 B conf
Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects.
APLAS
Thomas D. Dickerson, Eric Koskinen, Paul Gazzillo, Maurice Herlihy
2019 J jnl
Cross-chain Deals and Adversarial Commerce.
CoRR
Maurice Herlihy, Barbara Liskov, Liuba Shrira
2019 J jnl
Cross-chain Deals and Adversarial Commerce.
Proc. VLDB Endow.
Maurice Herlihy, Liuba Shrira, Barbara Liskov
2019 J jnl
Encrypted Databases for Differential Privacy.
Proc. Priv. Enhancing Technol.
Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz
2019 A* ed.
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
ASPLOS
Iris Bahar, Maurice Herlihy, Emmett Witchel, Alvin R. Lebeck
2018 B conf
A persistent lock-free queue for non-volatile memory.
PPoPP
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
2018 J jnl
Adding Concurrency to Smart Contracts.
Bull. EATCS
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2018 J jnl
An algorithmic approach to the asynchronous computability theorem.
J. Appl. Comput. Topol.
Vikram Saraph, Maurice Herlihy, Eli Gafni
2018 A* conf
Atomic Cross-Chain Swaps.
PODC
Maurice Herlihy
2018 J jnl
Atomic Cross-Chain Swaps.
CoRR
Maurice Herlihy
2018 — conf
Authenticated modular maps in Haskell.
TyDe@ICFP
Victor Cacciari Miraldo, Harold Carr, Alex Kogan, Mark Moir, Maurice Herlihy
2018 C conf
Clairvoyant State Machine Replications.
SSS
Rida A. Bazzi, Maurice Herlihy
2018 J jnl
Encrypted Databases for Differential Privacy.
IACR Cryptol. ePrint Arch.
Archita Agarwal, Maurice Herlihy, Seny Kamara, Tarik Moataz
2018 J jnl
Hardware Transactional Memory Exploration in Coherence-Free Many-Core Architectures.
Int. J. Parallel Program.
Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Luca Benini, Maurice Herlihy, R. Iris Bahar
2018 J jnl
Improving Parallelism in Hardware Transactional Memory.
ACM Trans. Archit. Code Optim.
Dave Dice, Maurice Herlihy, Alex Kogan
2018 C conf
Load Balanced Distributed Directories.
SSS
Shishir Rai, Gokarna Sharma, Costas Busch, Maurice Herlihy
2018 — conf
Proof-Carrying Smart Contracts.
Financial Cryptography Workshops
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Vikram Saraph, Eric Koskinen
2018 J jnl
SuperNeurons: FFT-based Gradient Sparsification in the Distributed Training of Deep Neural Networks.
CoRR
Linnan Wang, Wei Wu, Yiyang Zhao, Junyu Zhang, Hang Liu, George Bosilca, Jack J. Dongarra, Maurice Herlihy, Rodrigo Fonseca
2018 J jnl
Time-communication impossibility results for distributed transactional memory.
Distributed Comput.
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2017 A* conf
Adding Concurrency to Smart Contracts.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 J jnl
Adding Concurrency to Smart Contracts.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 J jnl
An Algorithmic Approach to the Asynchronous Computability Theorem.
CoRR
Vikram Saraph, Maurice Herlihy, Eli Gafni
2017 A* conf
Blockchains and the Future of Distributed Computing.
PODC
Maurice Herlihy
2017 A conf
Brief Announcement: A Persistent Lock-Free Queue for Non-Volatile Memory.
DISC
Michal Friedman, Maurice Herlihy, Virendra J. Marathe, Erez Petrank
2017 A* conf
Brief Announcement: Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
PODC
Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 B conf
Concurrent Data Structures for Near-Memory Computing.
SPAA
Zhiyu Liu, Irina Calciu, Maurice Herlihy, Onur Mutlu
2017 J jnl
Edge-TM: Exploiting Transactional Memory for Error Tolerance and Energy Efficiency.
ACM Trans. Embed. Comput. Syst.
Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
2017 B conf
Fast Scheduling in Distributed Transactional Memory.
SPAA
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2017 J jnl
From wait-free to arbitrary concurrent solo executions in colorless distributed computing.
Theor. Comput. Sci.
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2017 J jnl
New Challenges in Parallelism (Dagstuhl Seminar 17451).
Dagstuhl Reports
Annette Bieniusa, Hans-Juergen Boehm, Maurice Herlihy, Erez Petrank
2017 B conf
POSTER: State Teleportation via Hardware Transactional Memory.
PPoPP
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
2017 J jnl
Proust: A Design Space for Highly-Concurrent Transactional Data Structures.
CoRR
Thomas D. Dickerson, Paul Gazzillo, Eric Koskinen, Maurice Herlihy
2017 B conf
The Teleportation Design Pattern for Hardware Transactional Memory.
OPODIS
Nachshon Cohen, Maurice Herlihy, Erez Petrank, Elias Wald
2017 A conf
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems.
DISC
Hammurabi Mendes, Maurice Herlihy
2016 A conf
Asynchronous Computability Theorems for t-Resilient Systems.
DISC
Vikram Saraph, Maurice Herlihy, Eli Gafni
2016 — ch.
Asynchronous Consensus Impossibility.
Encyclopedia of Algorithms
Maurice Herlihy
2016 A* conf
Blockchains and the Logic of Accountability: Keynote Address.
LICS
Maurice Herlihy, Mark Moir
2016 J jnl
Enhancing Accountability and Trust in Distributed Ledgers.
CoRR
Maurice Herlihy, Mark Moir
2016 B conf
Fast and Robust Memory Reclamation for Concurrent Data Structures.
SPAA
Oana Balmau, Rachid Guerraoui, Maurice Herlihy, Igor Zablotchi
2016 C conf
Fast non-intrusive memory reclamation for highly-concurrent data structures.
ISMM
Dave Dice, Maurice Herlihy, Alex Kogan
2016 — ch.
Linearizability.
Encyclopedia of Algorithms
Maurice Herlihy
2016 — ch.
Renaming.
Encyclopedia of Algorithms
Maurice Herlihy
2016 Misc conf
Thrifty-malloc: A HW/SW codesign for the dynamic management of hardware transactional memory in embedded multicore systems.
CASES
Thomas Carle, Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Maurice Herlihy, R. Iris Bahar
2016 — ch.
Topology Approach in Distributed Computing.
Encyclopedia of Algorithms
Maurice Herlihy
2016 J jnl
Well-Structured Futures and Cache Locality.
ACM Trans. Parallel Comput.
Maurice Herlihy, Zhiyu Liu
2015 — conf
A Practical Transactional Memory Interface.
Euro-Par
Shahar Timnat, Maurice Herlihy, Erez Petrank
2015 J jnl
Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems.
ACM Trans. Embed. Comput. Syst.
Dimitra Papagiannopoulou, Giuseppe Capodanno, Tali Moreshet, Maurice Herlihy, R. Iris Bahar
2015 J jnl
Guest Editor Introduction.
ACM Trans. Parallel Comput.
Maurice Herlihy
2015 A* conf
Impossibility Results for Distributed Transactional Memory.
PODC
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2015 J jnl
Multidimensional agreement in Byzantine systems.
Distributed Comput.
Hammurabi Mendes, Maurice Herlihy, Nitin H. Vaidya, Vijay K. Garg
2015 — conf
Playing with Fire: Transactional Memory Revisited for Error-Resilient and Energy-Efficient MPSoC Execution.
ACM Great Lakes Symposium on VLSI
Dimitra Papagiannopoulou, Andrea Marongiu, Tali Moreshet, Luca Benini, Maurice Herlihy, R. Iris Bahar
2015 A ed.
Proceedings of the Tenth European Conference on Computer Systems, EuroSys 2015, Bordeaux, France, April 21-24, 2015
EuroSys
Laurent Réveillère, Tim Harris, Maurice Herlihy
2015 B conf
The Relative Power of Composite Loop Agreement Tasks.
OPODIS
Vikram Saraph, Maurice Herlihy
2015 J jnl
The Relative Power of Composite Loop Agreement Tasks.
CoRR
Maurice Herlihy, Vikram Saraph
2015 J jnl
Tight Bounds for Connectivity and Set Agreement in Byzantine Synchronous Systems.
CoRR
Hammurabi Mendes, Maurice Herlihy
2014 A conf
A Practical Transactional Memory Interface.
DISC
Shahar Timnat, Maurice Herlihy, Erez Petrank
2014 J jnl
An Equivariance Theorem with Applications to Renaming.
Algorithmica
Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum
2014 A conf
Approximate Local Sums and Their Applications in Radio Networks.
DISC
Zhiyu Liu, Maurice Herlihy
2014 A conf
Composable Transactional Objects: A Position Paper.
ESOP
Maurice Herlihy, Eric Koskinen
2014 B conf
Computing in the Presence of Concurrent Solo Executions.
LATIN
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal, Julien Stainer
2014 A* conf
Distributed computability in Byzantine asynchronous systems.
STOC
Hammurabi Mendes, Christine Tasson, Maurice Herlihy
2014 — conf
Fun with hardware transactional memory.
SIGMOD Conference
Maurice Herlihy
2014 B conf
Invyswell: a hybrid transactional memory for haswell's restricted transactional memory.
PACT
Irina Calciu, Justin Gottschlich, Tatiana Shpeisman, Gilles Pokam, Maurice Herlihy
2014 A conf
Scheduling Multiple Objects in Distributed Transactional Memory.
DISC
Costas Busch, Maurice Herlihy, Miroslav Popovic, Gokarna Sharma
2014 — conf
Speculative synchronization for coherence-free embedded NUMA architectures.
ICSAMOS
Dimitra Papagiannopoulou, Tali Moreshet, Andrea Marongiu, Luca Benini, Maurice Herlihy, R. Iris Bahar
2014 — conf
Sporadic Solutions to Zero-One Exclusion Tasks.
ICALP (1)
Eli Gafni, Maurice Herlihy
2014 A conf
StackTrack: an automated transactional approach to concurrent memory reclamation.
EuroSys
Dan Alistarh, Patrick Eugster, Maurice Herlihy, Alexander Matveev, Nir Shavit
2014 A conf
The Adaptive Priority Queue with Elimination and Combining.
DISC
Irina Calciu, Hammurabi Mendes, Maurice Herlihy
2014 J jnl
The Adaptive Priority Queue with Elimination and Combining.
CoRR
Irina Calciu, Hammurabi Mendes, Maurice Herlihy
2014 J jnl
The Future of Synchronization on Multicores: The multicore transformation (Ubiquity symposium).
Ubiquity
Maurice Herlihy
2014 A* conf
The future(s) of shared data structures.
PODC
Alex Kogan, Maurice Herlihy
2014 B conf
Warp-aware trace scheduling for GPUs.
PACT
James A. Jablin, Thomas B. Jablin, Onur Mutlu, Maurice Herlihy
2014 B conf
Well-structured futures and cache locality.
PPoPP
Maurice Herlihy, Zhiyu Liu
2013 — book
Distributed Computing Through Combinatorial Topology
Maurice Herlihy, Dmitry N. Kozlov, Sergio Rajsbaum
2013 B conf
Message Passing or Shared Memory: Evaluating the Delegation Abstraction for Multicores.
OPODIS
Irina Calciu, Dave Dice, Tim Harris, Maurice Herlihy, Alex Kogan, Virendra J. Marathe, Mark Moir
2013 A* conf
Multidimensional approximate agreement in Byzantine asynchronous systems.
STOC
Hammurabi Mendes, Maurice Herlihy
2013 J jnl
Power and limits of distributed computing shared memory models.
Theor. Comput. Sci.
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal
2013 J jnl
The Topology of Asynchronous Byzantine Colorless Tasks
CoRR
Hammurabi Mendes, Christine Tasson, Maurice Herlihy
2013 J jnl
The topology of distributed adversaries.
Distributed Comput.
Maurice Herlihy, Sergio Rajsbaum
2013 — conf
Transparent and energy-efficient speculation on NUMA architectures for embedded MPSoCs.
MES
Dimitra Papagiannopoulou, R. Iris Bahar, Tali Moreshet, Maurice Herlihy, Andrea Marongiu, Luca Benini
2013 A* conf
Upper bound on the complexity of solving hard renaming.
PODC
Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz
2013 — conf
Using Elimination and Delegation to Implement a Scalable NUMA-Friendly Stack.
HotPar
Irina Calciu, Justin Emile Gottschlich, Maurice Herlihy
2013 J jnl
Well-Structured Futures and Cache Locality.
CoRR
Maurice Herlihy, Zhiyu Liu
2012 B ed.
24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '12, Pittsburgh, PA, USA, June 25-27, 2012
SPAA
Guy E. Blelloch, Maurice Herlihy
2012 B conf
An Equivariance Theorem with Applications to Renaming.
LATIN
Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum
2012 J jnl
Applications of Combinatorial Topology to Computer Science (Dagstuhl Seminar 12121).
Dagstuhl Reports
Lisbeth Fajstrup, Dmitry Feichtner-Kozlov, Maurice Herlihy
2012 J jnl
Computability in distributed computing: a Tutorial.
SIGACT News
Maurice Herlihy, Sergio Rajsbaum, Michel Raynal
2012 A* conf
Simulations and reductions for colorless tasks.
PODC
Maurice Herlihy, Sergio Rajsbaum
2012 J jnl
Transactional memory: beyond the first two decades.
SIGACT News
Maurice Herlihy, Nir Shavit
2012 B conf
Visualizing transactional memory.
PACT
Justin Emile Gottschlich, Maurice Herlihy, Gilles Pokam, Jeremy G. Siek
2011 J jnl
An Equivariance Theorem with Applications to Renaming (Preliminary Version)
CoRR
Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum
2011 B conf
On the Nature of Progress.
OPODIS
Maurice Herlihy, Nir Shavit
2011 A* conf
On the power of hardware transactional memory to simplify memory management.
PODC
Aleksandar Dragojevic, Maurice Herlihy, Yossi Lev, Mark Moir
2011 — conf
Scout: High-Performance Heterogeneous Computing Made Simple.
IPDPS Workshops
James A. Jablin, Patrick McCormick, Maurice Herlihy
2011 Misc conf
SoC-TM: integrated HW/SW support for transactional memory programming on embedded MPSoCs.
CODES+ISSS
Cesare Ferri, Andrea Marongiu, Benjamin Lipton, R. Iris Bahar, Tali Moreshet, Luca Benini, Maurice Herlihy
2011 — ch.
Transactional Memories.
Encyclopedia of Parallel Computing
Maurice Herlihy
2011 A* conf
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions.
PODC
Maurice Herlihy, Yoram Moses, Mark R. Tuttle
2010 B conf
Applications of Shellable Complexes to Distributed Computing - (Invited Talk).
CONCUR
Maurice Herlihy
2010 A* conf
Coarse-grained transactions.
POPL
Eric Koskinen, Matthew J. Parkinson, Maurice Herlihy
2010 A conf
Concurrent Computing and Shellable Complexes.
DISC
Maurice Herlihy, Sergio Rajsbaum
2010 J jnl
Embedded-TM: Energy and complexity-effective hardware transactional memory for embedded multicore systems.
J. Parallel Distributed Comput.
Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2010 — conf
Energy and Throughput Efficient Transactional Memory for Embedded Multicore Systems.
HiPEAC
Cesare Ferri, Samantha Wood, Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2010 J jnl
Teaching parallel programming: a roundtable discussion.
XRDS
John M. Mellor-Crummey, William Gropp, Maurice Herlihy
2010 A* conf
The topology of shared-memory adversaries.
PODC
Maurice Herlihy, Sergio Rajsbaum
2010 J jnl
Threshold protocols in survivor set systems.
Distributed Comput.
Flavio Paiva Junqueira, Keith Marzullo, Maurice Herlihy, Lucia Draque Penso
2010 Misc conf
Transactional Memory Today.
ICDCIT
Maurice Herlihy
2009 J jnl
A topological treatment of early-deciding set-agreement.
Theor. Comput. Sci.
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
2009 A* conf
Brief announcement: concurrent non-commutative boosted transactions.
PODC
Eric Koskinen, Maurice Herlihy
2009 B conf
Committing conflicting transactions in an STM.
PPoPP
Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, Emmett Witchel
2009 Misc conf
Distributed Computing and the Multicore Revolution.
ICDCN
Maurice Herlihy
2009 B conf
Enhanced Fault-Tolerance through Byzantine Failure Detection.
OPODIS
Rida A. Bazzi, Maurice Herlihy
2009 J jnl
On the weakest failure detector ever.
Distributed Comput.
Rachid Guerraoui, Maurice Herlihy, Petr Kuznetsov, Nancy A. Lynch, Calvin C. Newport
2009 J jnl
Technical perspective - Highly concurrent data structures.
Commun. ACM
Maurice Herlihy
2009 B conf
Transactional Memory Today: A Status Report.
OPODIS
Maurice Herlihy
2009 J jnl
Transactional Memory: A Primer for Theorists.
Bull. EATCS
Maurice Herlihy
2009 B conf
tm_db: A Generic Debugging Library for Transactional Programs.
PACT
Maurice Herlihy, Yossi Lev
2008 — conf
08241 Abstracts Collection - Transactional Memory : From Implementation to Application.
Transactional Memory: From Implementation to Application
Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit
2008 — conf
08241 Summary - Transactional Memory : From Implementation to Application.
Transactional Memory: From Implementation to Application
Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit
2008 — ch.
Asynchronous Consensus Impossibility.
Encyclopedia of Algorithms
Maurice Herlihy
2008 B conf
Checkpoints and continuations instead of nested transactions.
SPAA
Eric Koskinen, Maurice Herlihy
2008 J jnl
Composable memory transactions.
Commun. ACM
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
2008 J jnl
Distributed computing and the multicore revolution.
SIGACT News
Maurice Herlihy, Victor Luchangco
2008 B conf
Dreadlocks: efficient deadlock detection.
SPAA
Eric Koskinen, Maurice Herlihy
2008 — conf
Energy efficient synchronization techniques for embedded architectures.
ACM Great Lakes Symposium on VLSI
Cesare Ferri, Amber Viescas, Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2008 A conf
Hopscotch Hashing.
DISC
Maurice Herlihy, Nir Shavit, Moran Tzafrir
2008 — ch.
Linearizability.
Encyclopedia of Algorithms
Maurice Herlihy
2008 A conf
Optimizing Threshold Protocols in Adversarial Structures.
DISC
Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso
2008 — ch.
Renaming.
Encyclopedia of Algorithms
Maurice Herlihy
2008 — book
The art of multiprocessor programming.
Maurice Herlihy, Nir Shavit
2008 A* conf
The future of distributed computing: renaissance or reformation?
PODC
Maurice Herlihy
2008 — ch.
Topology Approach in Distributed Computing.
Encyclopedia of Algorithms
Maurice Herlihy
2008 — ed.
Transactional Memory: From Implementation to Application, 08.06. - 13.06.2008
Transactional Memory: From Implementation to Application
Christof Fetzer, Tim Harris, Maurice Herlihy, Nir Shavit
2008 B conf
Transactional boosting: a methodology for highly-concurrent transactional objects.
PPoPP
Maurice Herlihy, Eric Koskinen
2007 J jnl
A Lazy Concurrent List-Based Set Algorithm.
Parallel Process. Lett.
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
2007 B conf
A Simple Optimistic Skiplist Algorithm.
SIROCCO
Maurice Herlihy, Yossi Lev, Victor Luchangco, Nir Shavit
2007 J jnl
A hardware/software framework for supporting transactional memory in a MPSoC environment.
SIGARCH Comput. Archit. News
Cesare Ferri, Tali Moreshet, R. Iris Bahar, Luca Benini, Maurice Herlihy
2007 J jnl
Distributed transactional memory for metric-space networks.
Distributed Comput.
Maurice Herlihy, Ye Sun
2007 Misc conf
Language Support and Compiler Optimizations for STM and Transactional Boosting.
ICDCIT
Guy Eddon, Maurice Herlihy
2007 A* conf
On the weakest failure detector ever.
PODC
Rachid Guerraoui, Maurice Herlihy, Petr Kouznetsov, Nancy A. Lynch, Calvin C. Newport
2007 B conf
Potential show-stoppers for transactional synchronization.
PPoPP
Ali-Reza Adl-Tabatabai, David Dice, Maurice Herlihy, Nir Shavit, Christos Kozyrakis, Christoph von Praun, Michael L. Scott
2007 — conf
Taking Concurrency Seriously: the Multicore Challenge.
IISWC
Maurice Herlihy
2007 — conf
The Multicore Revolution.
FSTTCS
Maurice Herlihy
2006 B conf
A Topological Treatment of Early-Deciding Set-Agreement.
OPODIS
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
2006 A conf
A flexible framework for implementing software transactional memory.
OOPSLA
Maurice Herlihy, Victor Luchangco, Mark Moir
2006 J jnl
Dynamic Analysis of the Arrow Distributed Protocol.
Theory Comput. Syst.
Maurice Herlihy, Fabian Kuhn, Srikanta Tirthapura, Roger Wattenhofer
2006 B conf
Energy implications of multiprocessor synchronization.
SPAA
Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2006 B conf
Proving correctness of highly-concurrent linearisable objects.
PPoPP
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro
2006 J jnl
Randomized smoothing networks.
J. Parallel Distributed Comput.
Maurice Herlihy, Srikanta Tirthapura
2006 J jnl
Self-Stabilizing Distributed Queuing.
IEEE Trans. Parallel Distributed Syst.
Srikanta Tirthapura, Maurice Herlihy
2006 J jnl
Self-stabilizing smoothing and balancing networks.
Distributed Comput.
Maurice Herlihy, Srikanta Tirthapura
2006 A conf
Subconsensus Tasks: Renaming Is Weaker Than Set Agreement.
DISC
Eli Gafni, Sergio Rajsbaum, Maurice Herlihy
2006 A* conf
The art of multiprocessor programming.
PODC
Maurice Herlihy
2006 A* conf
Towards a theory of transactional contention managers.
PODC
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
2006 J jnl
Virtual Leashing: Creating a computational foundation for software protection.
J. Parallel Distributed Comput.
Ori Dvir, Maurice Herlihy, Nir Shavit
2005 B conf
A Lazy Concurrent List-Based Set Algorithm.
OPODIS
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III, Nir Shavit
2005 B conf
Composable memory transactions.
PPoPP
Tim Harris, Simon Marlow, Simon L. Peyton Jones, Maurice Herlihy
2005 A conf
Distributed Transactional Memory for Metric-Space Networks.
DISC
Maurice Herlihy, Ye Sun
2005 A conf
Energy reduction in multiprocessor systems using transactional memory.
ISLPED
Tali Moreshet, R. Iris Bahar, Maurice Herlihy
2005 J jnl
Nonblocking memory management support for dynamic-sized data structures.
ACM Trans. Comput. Syst.
Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
2005 B conf
Optimal Randomized Fair Exchange with Secret Shared Coins.
OPODIS
Felix C. Freiling, Maurice Herlihy, Lucia Draque Penso
2005 A conf
Polymorphic Contention Management.
DISC
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
2005 J jnl
Snapshots and software transactional memory.
Sci. Comput. Program.
Christopher Cole, Maurice Herlihy
2005 A* conf
The transactional manifesto: software engineering and non-blocking synchronization.
PLDI
Maurice Herlihy
2005 J jnl
Tight bounds for
Distributed Comput.
Maurice Herlihy, Lucia Draque Penso
2005 A* conf
Toward a theory of transactional contention managers.
PODC
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
2005 A conf
Virtual Leashing: Internet-Based Software Piracy Protection.
ICDCS
Ori Dvir, Maurice Herlihy, Nir Shavit
2005 A* conf
Virtualizing Transactional Memory.
ISCA
Ravi Rajwar, Maurice Herlihy, Konrad K. Lai
2004 — conf
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems.
GETCO@DISC
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
2004 A* conf
Bringing practical lock-free synchronization to 64-bit applications.
PODC
Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir
2004 A conf
Randomized Smoothing Networks.
IPDPS
Maurice Herlihy, Srikanta Tirthapura
2004 J jnl
Read-modify-write networks.
Distributed Comput.
Panagiota Fatourou, Maurice Herlihy
2003 — ed.
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2003 J jnl
A classification of wait-free loop agreement tasks.
Theor. Comput. Sci.
Maurice Herlihy, Sergio Rajsbaum
2003 A conf
Obstruction-Free Synchronization: Double-Ended Queues as an Example.
ICDCS
Maurice Herlihy, Victor Luchangco, Mark Moir
2003 A conf
Self-Stabilizing Smoothing and Counting Maurice Herlihy, Srikanta Tirthapura.
ICDCS
Maurice Herlihy, Srikanta Tirthapura
2003 A* conf
Software transactional memory for dynamic-sized data structures.
PODC
Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer III
2003 — conf
Space and Time Adaptive Non-blocking Algorithms.
CATS
Maurice Herlihy, Victor Luchangco, Mark Moir
2003 A conf
Tight Bounds for
DISC
Maurice Herlihy, Lucia Draque Penso
2003 A* conf
tight bounds for k-set agreement with limited-scope failure detectors.
PODC
Maurice Herlihy, Lucia Draque Penso
2002 — ed.
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001
GETCO
Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002 A* conf
Dynamic-sized lock-free data structures.
PODC
Maurice Herlihy, Victor Luchangco, Paul A. Martin, Mark Moir
2002 J jnl
Sorting and Counting Networks of Arbitrary Width and Small Depth.
Theory Comput. Syst.
Costas Busch, Maurice Herlihy
2002 A conf
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures.
DISC
Maurice Herlihy, Victor Luchangco, Mark Moir
2002 J jnl
Threshold counters with increments and decrements.
Theor. Comput. Sci.
Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas
2001 A conf
A New Synchronous Lower Bound for Set Agreement.
DISC
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
2001 A conf
Adding Networks.
DISC
Panagiota Fatourou, Maurice Herlihy
2001 A* conf
Adding networks.
PODC
Panagiota Fatourou, Maurice Herlihy
2001 A* conf
Competitive concurrent distributed queuing.
PODC
Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer
2001 A* conf
On beyond registers: wait-free readable objects.
PODC
Maurice Herlihy
2001 J jnl
Ordered Multicast and Distributed Swap.
ACM SIGOPS Oper. Syst. Rev.
Maurice Herlihy, Srikanta Tirthapura, Roger Wattenhofer
2001 B conf
Routing without flow control.
SPAA
Costas Busch, Maurice Herlihy, Roger Wattenhofer
2001 A conf
Self Stabilizing Distributed Queuing.
DISC
Maurice Herlihy, Srikanta Tirthapura
2000 — ed.
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000
GETCO
Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000 — conf
A Combinatorial Characterization of Properties Preserved by Antitokens.
Euro-Par
Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas
2000 J jnl
A Combinatorial Characterization of Properties Preserved by Antitokens.
Bull. EATCS
Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas
2000 J jnl
A tale of two directories: implementing distributed shared objects in Java.
Concurr. Pract. Exp.
Maurice Herlihy, Michael P. Warres
2000 J jnl
Algebraic spans.
Math. Struct. Comput. Sci.
Maurice Herlihy, Sergio Rajsbaum
2000 — conf
An Overview of Synchronous Message-Passing and Topology.
GETCO
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
2000 A ed.
Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings
DISC
Maurice Herlihy
2000 A* conf
Hard-Potato routing.
STOC
Costas Busch, Maurice Herlihy, Roger Wattenhofer
2000 A* conf
On the Existence of Booster Types.
FOCS
Maurice Herlihy, Eric Ruppert
2000 A* conf
Randomized greedy hot-potato routing.
SODA
Costas Busch, Maurice Herlihy, Roger Wattenhofer
2000 J jnl
Review of Distributed Computing by Attiya and Welch.
SIGACT News
Maurice Herlihy
2000 J jnl
Supporting Increment and Decrement Operations in Balancing Networks.
Chic. J. Theor. Comput. Sci.
William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou
2000 J jnl
Tight bounds for
J. ACM
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
1999 — conf
A Tale of Two Directories: Implementing Distributed Shared Objects in Java.
Java Grande
Maurice Herlihy, Michael P. Warres
1999 B conf
New Perspectives in Distributed Computing.
MFCS
Maurice Herlihy, Sergio Rajsbaum
1999 B conf
Sorting and Counting Networks of Small Depth and Arbitrary Width.
SPAA
Costas Busch, Maurice Herlihy
1999 A conf
Supporting Increment and Decrement Operations in Balancing Networks.
STACS
William Aiello, Costas Busch, Maurice Herlihy, Marios Mavronicolas, Nir Shavit, Dan Touitou
1999 — conf
The Aleph Toolkit: Support for Scalable Distributed Shared Objects.
CANPC
Maurice Herlihy
1999 J jnl
The topological structure of asynchronous computability.
J. ACM
Maurice Herlihy, Nir Shavit
1999 B conf
Threshold Counters with Increments and Decrements.
SIROCCO
Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas
1999 J jnl
Time-Lapse Snapshots.
SIAM J. Comput.
Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin, Orli Waarts
1999 J jnl
Wait-Free Implementations in Message-Passing Systems.
Theor. Comput. Sci.
Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle
1998 — conf
A Survey on Counting Networks.
WDAS
Costas Busch, Maurice Herlihy
1998 A conf
A Wait-Free Classification of Loop Agreement Tasks.
DISC
Maurice Herlihy, Sergio Rajsbaum
1998 J jnl
On the Space Complexity of Randomized Synchronization.
J. ACM
Faith E. Fich, Maurice Herlihy, Nir Shavit
1998 A conf
The Arrow Distributed Directory Protocol.
DISC
Michael J. Demmer, Maurice Herlihy
1998 A* conf
Unifying Synchronous and Asynchronous Message-Passing Models.
PODC
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
1997 J jnl
Contention in shared memory algorithms.
J. ACM
Cynthia Dwork, Maurice Herlihy, Orli Waarts
1997 A* conf
The Decidability of Distributed Decision Tasks (Extended Abstract).
STOC
Maurice Herlihy, Sergio Rajsbaum
1996 — ch.
Applications of Algebraic Topology to Concurrent Computation.
Applications on Advanced Architecture Computers
Maurice Herlihy, Nir Shavit
1996 J jnl
Linearizable Counting Networks.
Distributed Comput.
Maurice Herlihy, Nir Shavit, Orli Waarts
1996 A* conf
On the Decidability of Distributed Decision Tasks (Brief Announcement).
PODC
Maurice Herlihy, Sergio Rajsbaum
1995 — ch.
A Tight Lower Bound for Processor Coordination.
Responsive Computer Systems
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
1995 A* conf
Algebraic Spans (Preliminary Version).
PODC
Maurice Herlihy, Sergio Rajsbaum
1995 — ch.
Algebraic Topology and Distributed Computing: A Primer.
Computer Science Today
Maurice Herlihy, Sergio Rajsbaum
1995 J jnl
Atomic Snapshots Using Lattice Agreement.
Distributed Comput.
Hagit Attiya, Maurice Herlihy, Ophir Rachman
1995 J jnl
Scalable Concurrent Counting.
ACM Trans. Comput. Syst.
Maurice Herlihy, Beng-Hong Lim, Nir Shavit
1994 A* conf
A simple constructive computability theorem for wait-free computation.
STOC
Maurice Herlihy, Nir Shavit
1994 J jnl
Counting Networks.
J. ACM
James Aspnes, Maurice Herlihy, Nir Shavit
1994 A* conf
Set Consensus Using Arbitrary Objects (Preliminary Version).
PODC
Maurice Herlihy, Sergio Rajsbaum
1993 J jnl
A Methodology for Implementing Highly Concurrent Objects.
ACM Trans. Program. Lang. Syst.
Maurice Herlihy
1993 A* conf
A Tight Lower Bound for k-Set Agreement
FOCS
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
1993 A* conf
Bounded Round Numbers.
PODC
Cynthia Dwork, Maurice Herlihy, Orli Waarts
1993 A* conf
Contention in shared memory algorithms.
STOC
Cynthia Dwork, Maurice Herlihy, Orli Waarts
1993 A* conf
On the Space Complexity of Randomized Synchronization.
PODC
Faith E. Fich, Maurice Herlihy, Nir Shavit
1993 A* conf
The asynchronous computability theorem for t-resilient tasks.
STOC
Maurice Herlihy, Nir Shavit
1993 A* conf
Transactional Memory: Architectural Support for Lock-Free Data Structures.
ISCA
Maurice Herlihy, J. Eliot B. Moss
1992 J jnl
A Methodology for Implementing Highly Concurrent Data Objects (Abstract).
ACM SIGOPS Oper. Syst. Rev.
Maurice Herlihy
1992 — conf
Efficient Atomic Snapshots Using Lattice Agreement (Extended Abstract).
WDAG
Hagit Attiya, Maurice Herlihy, Ophir Rachman
1992 J jnl
Lock-Free Garbage Collection for Multiprocessors.
IEEE Trans. Parallel Distributed Syst.
Maurice Herlihy, J. Eliot B. Moss
1992 B conf
Low Contention Load Balancing on Large-Scale Multiprocessors.
SPAA
Maurice Herlihy, Beng-Hong Lim, Nir Shavit
1992 J jnl
On the Correctness of Orphan Management Algorithms.
J. ACM
Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl
1992 — conf
Time-Lapse Snapshots.
ISTCS
Cynthia Dwork, Maurice Herlihy, Serge A. Plotkin, Orli Waarts
1991 A* conf
Counting Networks and Multi-Processor Coordination
STOC
James Aspnes, Maurice Herlihy, Nir Shavit
1991 J jnl
Hybrid Concurrency Control for Abstract Data Types.
J. Comput. Syst. Sci.
Maurice Herlihy, William E. Weihl
1991 B conf
Impossibility Results for Asynchronous PRAM (Extended Abstract).
SPAA
Maurice Herlihy
1991 B conf
Lock-Free garbage Collection for Multiprocessors.
SPAA
Maurice Herlihy, J. Eliot B. Moss
1991 A* conf
Low Contention Linearizable Counting
FOCS
Maurice Herlihy, Nir Shavit, Orli Waarts
1991 A* conf
Randomized Wait-Free Concurrent Objects (Extended Abstract).
PODC
Maurice Herlihy
1991 J jnl
Specifying Graceful Degradation.
IEEE Trans. Parallel Distributed Syst.
Maurice Herlihy, Jeannette M. Wing
1991 J jnl
Wait-Free Synchronization.
ACM Trans. Program. Lang. Syst.
Maurice Herlihy
1990 B conf
A Methodology for Implementing Highly Concurrent Data Structures.
PPoPP
Maurice Herlihy
1990 J jnl
Apologizing Versus Asking Permission: Optimistic Concurrency Control for Abstract Data Types.
ACM Trans. Database Syst.
Maurice Herlihy
1990 J jnl
Concurrency and Availability as Dual Properties of Replicated Atomic Data
J. ACM
Maurice Herlihy
1990 J jnl
Fast Randomized Consensus Using Shared Memory.
J. Algorithms
James Aspnes, Maurice Herlihy
1990 J jnl
Linearizability: A Correctness Condition for Concurrent Objects.
ACM Trans. Program. Lang. Syst.
Maurice Herlihy, Jeannette M. Wing
1990 A* conf
Lower Bounds for Wait-Free Computation in Message-Passing Systems.
PODC
Maurice Herlihy, Mark R. Tuttle
1990 — conf
Position Statement: Type Specific Replication for Multiprocessors.
Workshop on the Management of Replicated Data
Maurice Herlihy
1990 B conf
Wait-Free Data Structures in the Asynchronous PRAM Model.
SPAA
James Aspnes, Maurice Herlihy
1989 — conf
Specifying Security Constraints with Relaxation Lattices.
CSFW
Maurice Herlihy, Jeannette M. Wing
1989 J jnl
Timestamp-Based Orphan Elimination.
IEEE Trans. Software Eng.
Maurice Herlihy, Martin S. McKendry
1988 A* conf
Hybrid Concurrency Control for Abstract Data Types.
PODS
Maurice Herlihy, William E. Weihl
1988 A* conf
Impossibility and Universality Results for Wait-Free Synchronization.
PODC
Maurice Herlihy
1988 J jnl
Inheritance of Synchronization and Recovery Properties in Avalon/C++.
Computer
David Detlefs, Maurice Herlihy, Jeannette M. Wing
1988 — conf
Linearizable concurrent objects.
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
Maurice Herlihy, Jeannette M. Wing
1988 — conf
Reasoning about Atomic Objects.
FTRTFT
Maurice Herlihy, Jeannette M. Wing
1988 — conf
Taking concurrency seriously (position paper).
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming
Maurice Herlihy
1987 — conf
Avalon/C++.
C++ Workshop
David Detlefs, Maurice Herlihy, K. Kietzke, Jeannette M. Wing
1987 A* conf
Axioms for Concurrent Objects.
POPL
Maurice Herlihy, Jeannette M. Wing
1987 J jnl
Concurrency versus Availability: Atomic Mechanisms for Replicated Data.
ACM Trans. Comput. Syst.
Maurice Herlihy
1987 J jnl
Dynamic Quorum Adjustment for Partitioned Data.
ACM Trans. Database Syst.
Maurice Herlihy
1987 J jnl
Extending Multiversion Time-Stamping Protocols to Exploit Type Information.
IEEE Trans. Computers
Maurice Herlihy
1987 A* conf
How to Make Replicated Data Secure.
CRYPTO
Maurice Herlihy, J. D. Tygar
1987 J jnl
Optimistic Concurrency Control for Abstract Data Types.
ACM SIGOPS Oper. Syst. Rev.
Maurice Herlihy
1987 A* conf
Specifying Graceful Degradation in Distributed Systems.
PODC
Maurice Herlihy, Jeannette M. Wing
1986 J jnl
A Quorum-Consensus Replication Method for Abstract Data Types.
ACM Trans. Comput. Syst.
Maurice Herlihy
1986 J jnl
Comparing How Atomicity Mechanisms Support Replication.
ACM SIGOPS Oper. Syst. Rev.
Maurice Herlihy
1986 A* conf
Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing.
POPL
Barbara Liskov, Maurice Herlihy, Lucy Gilbert
1986 A* conf
Optimistic Concurrency Control for Abstract Data Types.
PODC
Maurice Herlihy
1986 — conf
Time-Driven Orphan Elimination.
Symposium on Reliability in Distributed Software and Database Systems
Martin S. McKendry, Maurice Herlihy
1985 A* conf
Comparing How Atomicity Mechanisms Support Replication.
PODC
Maurice Herlihy
1983 — conf
Issues Process and Communication Structure for Distributed Programs.
Symposium on Reliability in Distributed Software and Database Systems
Barbara Liskov, Maurice Herlihy
1982 J jnl
A Value Transmission Method for Abstract Data Types.
ACM Trans. Program. Lang. Syst.
Maurice Herlihy, Barbara Liskov