Maurice Herlihy

Maurice Herlihy
Nascimento 4 de janeiro de 1954 (71 anos)
Nacionalidade estadunidense
Prêmios Prêmio Dijkstra (2003, 2012), Prêmio Gödel (2004)
Orientador(es)(as) Barbara Liskov
Campo(s) ciência da computação

Maurice Peter Herlihy (4 de janeiro de 1954) é um cientista da computação ativo no campo da sincronização de multiprocessadores.[1][2][3] Herlihy contribuiu com o projeto de algoritmos concorrentes, e em particular para a exposição e quantificação das propriedades e usos de operações de sincronização de hardware. É professor da cátedra An Wang de Ciência da Computação da Universidade Brown.[4]

  1. «Linearizability: a correctness condition for concurrent objects». ACM Transactions on Programming Languages and Systems. Consultado em 18 de agosto de 2016 
  2. «Transactional memory: architectural support for lock-free data structures». ACM SIGARCH Computer Architecture News - Special Issue: Proceedings of the 20th annual international symposium on Computer architecture (ISCA '93). Consultado em 18 de agosto de 2016 
  3. «Wait-free synchronization». ACM Transactions on Programming Languages and Systems. Consultado em 18 de agosto de 2016 
  4. «Maurice Herlihy - Brown Research Directory». Consultado em 27 de junho de 2013 

From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne