Maurice Herlihy

Linearizability: a correctness condition for concurrent objects

Maurice Herlihy, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1990 · 3.2K citations · Full text

Computing, Computer Science, Computer Architecture +16

Transactional memory

Maurice Herlihy, J. Eliot B. Moss · 1993 · 2.2K citations

Computing, Computer Engineering, Computer Science +17

Wait-free synchronization

Maurice Herlihy · ACM Transactions on Programming Languages and Systems · 1991 · 1.8K citations · Full text

Computing, Computer Science, Computer Systems +16

Software transactional memory for dynamic-sized data structures

Maurice Herlihy, Victor Luchangco, Mark Moir et al. · 2003 · 999 citations

Computing, Computer Engineering, Computer Science +14

Composable memory transactions

Tim Harris, Simon Marlow, Simon Peyton-Jones et al. · 2005 · 716 citations

Computing, Computer Science, Computer Systems +6