Maurice Herlihy

Maurice Herlihy
Born (1954-01-01) January 1, 1954 (age 70)
Scientific career
FieldsComputer science
InstitutionsBrown University

Maurice Peter Herlihy (born 4 January 1954) is an American computer scientist active in the field of multiprocessor synchronization.[1][2][3] Herlihy has contributed to areas including theoretical foundations of wait-free synchronization, linearizable data structures, applications of combinatorial topology to distributed computing, as well as hardware and software transactional memory. He is the An Wang Professor of Computer Science at Brown University, where he has been a member of the faculty since 1994.[4]

Herlihy was elected a member of the National Academy of Engineering in 2013 for concurrent computing techniques for linearizability, non-blocking data structures, and transactional memory.

  1. ^ Transactional memory: architectural support for lock-free data structures. Isca '93. ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93). May 1993. pp. 289–300. doi:10.1145/165123.165164. ISBN 9780818638107. S2CID 917122. Retrieved 27 June 2013.
  2. ^ Herlihy, Maurice (1991). "Wait-free synchronization". ACM Transactions on Programming Languages and Systems. 13: 124–149. doi:10.1145/114005.102808. S2CID 2181446.
  3. ^ Herlihy, Maurice P.; Wing, Jeannette M. (1990). "Linearizability: a correctness condition for concurrent objects". ACM Transactions on Programming Languages and Systems. 12 (3): 463–492. doi:10.1145/78969.78972. S2CID 228785.
  4. ^ "Maurice Herlihy - Brown Research Directory". Retrieved 27 June 2013.