Content deleted Content added
m Open access bot: doi updated in citation with #oabot. |
m links |
||
Line 54:
| footnotes =
}}
'''Maurice Peter Herlihy''' (born 4 January 1954) is a [[computer scientist]] active in the field of [[multiprocessor]] [[Synchronization (computer science)|synchronization]].<ref>{{cite book|url=https://dl.acm.org/citation.cfm?id=165164|title=Transactional memory: architectural support for lock-free data structures|series=Isca '93 |date=May 1993 |pages=289–300 |publisher=ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93)|doi=10.1145/165123.165164 |isbn=9780818638107 |s2cid=917122 |accessdate=27 June 2013}}</ref><ref>{{cite journal|url=https://dl.acm.org/citation.cfm?id=102808|title=Wait-free synchronization|year=1991 |journal=ACM Transactions on Programming Languages and Systems|doi=10.1145/114005.102808 |accessdate=27 June 2013|last1=Herlihy |first1=Maurice |volume=13 |pages=124–149 |s2cid=2181446 |doi-access=free }}</ref><ref>{{cite journal|url=https://dl.acm.org/citation.cfm?id=78972|title=Linearizability: a correctness condition for concurrent objects|year=1990 |journal=ACM Transactions on Programming Languages and Systems|doi=10.1145/78969.78972 |accessdate=27 June 2013|last1=Herlihy |first1=Maurice P. |last2=Wing |first2=Jeannette M. |volume=12 |issue=3 |pages=463–492 |s2cid=228785 |doi-access=free }}</ref> Herlihy has contributed to areas including theoretical foundations of [[Non-blocking algorithm#Wait-freedom|wait-free]] synchronization, [[Linearizability|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.<ref>{{cite web|url=https://research.brown.edu/research/profile.php?alias=Maurice_Herlihy|title=Maurice Herlihy - Brown Research Directory|accessdate=27 June 2013}}</ref>
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.
| |||