Jump to content

Maurice Herlihy: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
Drdebmath (talk | contribs)
14 edits
→Recognition: added 2022 dijkstra prize
Infobox added
Line 1: Line 1:
{{short description|American computer scientist}}
{{short description|American computer scientist}}
{{Infobox scientist
| honorific_prefix =
| name = Maurice Herlihy
| honorific_suffix =
| native_name =
| native_name_lang =
| image = <!--(filename only, i.e. without "File:" prefix)-->
| image_size =
| image_upright =
| alt =
| caption =
| birth_name = <!-- if different from "name" -->
| birth_date = <!--{{birth date |YYYY|MM|DD}}-->
| birth_place =
| death_date = {{birth date and age|1954|01|1}}
| death_place =
| death_cause = <!-- should only be included when the cause of death has significance for the subject's notability -->
| resting_place =
| resting_place_coordinates = <!--{{coord|LAT|LONG|type:landmark|display=inline,title}}-->
| other_names =
| siglum =
| pronounce =
| citizenship = <!-- use only when necessary per [[WP:INFONAT]] -->
| nationality = <!-- use only when necessary per [[WP:INFONAT]] -->
| fields = Computer science
| workplaces = Brown University
| patrons =
| education =
| alma_mater =
| thesis_title = <!--(or | thesis1_title = and | thesis2_title = )-->
| thesis_url = <!--(or | thesis1_url = and | thesis2_url = )-->
| thesis_year = <!--(or | thesis1_year = and | thesis2_year = )-->
| doctoral_advisor = <!--(or | doctoral_advisors = )-->
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for =
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse = <!--(or | spouses = )-->
| partner = <!--(or | partners = )-->
| children =
| parents =
| father =
| mother =
| relatives =
| signature = <!--(filename only)-->
| signature_alt =
| website = <!--{{URL|www.example.com}}-->
| 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 }}</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 }}</ref> 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.<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>
'''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 }}</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 }}</ref> 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.<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>


Revision as of 08:53, 27 December 2022

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

Maurice Peter Herlihy (born 4 January 1954) is a 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.

Recognition

References

  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. Retrieved 27 June 2013.
  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. Retrieved 27 June 2013.
  4. ^ "Maurice Herlihy - Brown Research Directory". Retrieved 27 June 2013.
  5. ^ a b c "Edsger W. Dijkstra Prize in Distributed Computing". ACM Proceedings on Distributed Computing. Retrieved 27 June 2012.
  6. ^ "Gödel Prize". ACM SIGACT. Archived from the original on 22 April 2018. Retrieved 20 August 2011.
  7. ^ "ACM: Fellows Award / Maurice P Herlihy". Association for Computing Machinery. Retrieved 20 August 2011.
  8. ^ "W. Wallace McDowell Award". IEEE. Archived from the original on 29 May 2013. Retrieved 5 May 2013.
  9. ^ "National Academy of Engineering". NAE. Retrieved 30 April 2014.
  10. ^ "National Academy of Inventors Fellow". Brown University. Retrieved 30 April 2014.
  11. ^ "American Academy of Arts and Sciences Member". Brown University. Retrieved 30 April 2014.


P ≟ NP 

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Maurice_Herlihy&oldid=1129831568"