Il a fait des contributions sur la synchronisation sans d'attente « Wait-free Synchronization ». Il introduit, avec Jeannette Wing, la notion de linéarisabilité « linearizability » pour des structures de données concurrentes et définit, avec Nir Shavit et James Aspnes, le concept de « Counting Networks ». Avec Shavit, il introduit aussi l'usage de méthodes topologiques pour le traitement d'algorithmes distribués.
2004 Prix Gödel pour The topological structure of asynchronous computation avec Nir Shavit[3], prix attribué cette même année aussi à Michael Saks et Fotios Zaharoglou.
2008 ISCA Influential Paper Prize avec J.E.B. Moss, pour leur article Transactional Memory architectural support for lock-free data structures paru dans le International Symposium on Computer Architecture, en 1993[5],[6].
2012 Prix Dijkstra pour Transactional Memory: architectural support for lock-free data structures avec J. Eliot B. Moss[7].
2013 Prix W. Wallace McDowell (en) pour « des contributions fondamentales à la théorie et la pratique d'ordinateurs à multiprocesseurs »[8].
2013 : Membre de la National Academy of Engineering[9], « pour les techniques de linéarisabilité, structures de données non bloquantes, et mémoire transactionnelle dans le calcul concurrent ».
2014 : Fellow de la National Academy of Inventors (en)[10].
(en) Maurice Herlihy, Dmitriĭ Nikolaevich Kozlov et Sergio Rajsbaum, Distributed Computing Through Combinatorial Topology, Amsterdam, Morgan Kaufmann, , 319 p. (ISBN978-0-12-404578-1).
Maurice Herlihy et Nir Shavit, « Applications of Algebraic Topology to Concurrent Computation », dans Greg Astfalk (éditeur), Applications on Advanced Architecture Computers, SIAM press, , 359 p. (ISBN9780898713688 et 0898713684, DOI10.1137/1.9780898719659.ch23), p. 255-263.
Maurice Herlihy et Sergio Rajsbaum, « Algebraic Topology and Distributed Computing - a Primer », dans Jan van Leeuwen (éditeur), Compuer Science Today - Recent Trends and Developments, Springer, coll. « Lecture Notes in Computer Science vol. 1000 », , 359 p. (ISBN3540601058), p. 203-217
Maurice Herlihy est ou a été éditeur de plusieurs revues scientifiques, dont Journal of the ACM (1998-2010), SIAM Journal of Computing (1994-2000), éditeur associé ACM Transactions on Computer Systems (1993-2010). Il est détenteur de nombreux brevets 27 sont listés dans son CV.
↑Maurice Herlihy, « Wait-Free Synchronization », ACM Transactions on Programming Languages and Systems, vol. 13, no 1, , p. 124-149 (lire en ligne).
↑Maurice Herlihy et Nir Shavit, « The topological structure of asynchronous computation », Journal of the ACM, vol. 46, no 6, , p. 858–923 (DOI10.1145/331524.331529, lire en ligne).
↑Maurice Herlihy et J. Eliot B. Moss, « Transactional memory : architectural support for lock-free data structures », Proceedings of the 20th annual international symposium on Computer architecture - ISCA '93, Association for Computing Machinery (ACM), (ISBN0818638109, DOI10.1145/165123.165164, lire en ligne).