 |
Maurice Herlihy
Professor of Computer ScienceContact Information
Box 1910Brown University
Providence, RI 02912
Email: mph at cs.brown.edu
Personal home page: http://www.cs.brown.edu/~mph/
Research Areas
| Operating Systems and Distributed Systems |
| Parallel Computing |
| Theory of Computation |
Research Topics or Projects
| Distributed Computing |
| Aleph Toolkit |
| Transactional Memory |
Courses Taught
| CSCI0310 | Introduction to Computer Systems | |
| CSCI1760 | Introduction to Multiprocessor Synchronization | |
| CSCI2750 | Topics in Parallel & Distributed Computing |
Research Interests
In the past several years, a number of researchers have successfully applied techniques from algebraic and combinatorial topology to solve a number of long-standing open problems in the theory of distributed and concurrent computing. Maurice Herlihy's research interests include basic problems in distributed computing and how to solve them using notions from elementary topology. Professor Herlihy's research centers on practical and theoretical aspects of multiprocessor synchronization, with a focus on wait-free and lock-free synchronization.
Selected Publications
Rajwar, R., Herlihy, M., and Lai, K. Virtualizing Transactional Memory. In Proceedings of the 32nd Annual International Symposium on Computer Architecture (2005), pp. 494-505. [ pdf ]
Herlihy, M., Luchangco, V., Moir, M., and Scherer, W. Software Transactional Memory for Dynamic-sized Data Structures. In Proceedings of the 22nd Annual ACM Special Interest Group on Operating Systems (SIGOPS) - Special Interest Group on Algorithms and Computation Theory (SIGACT) Symposium on Principles of Distributed Computing (Jul 2003). [ pdf ]
Herlihy, M., and Shavit, N. The Topological Structure of Asynchronous Computability. Journal of the Association for Computing Machinery (ACM) 46, 6 (1999), 858-923. [ pdf ]
Aspnes, J., Herlihy, M., and Shavit, N. Counting Networks. Journal of the ACM 41, 5 (1994), 1020-1048. [ pdf ]
Herlihy, M., and Moss, J. E. B. Transactional Memory: Architectural Support For Lock-Free Data Structures. In Proceedings of the Twentieth Annual International Symposium on Computer Architecture (1993), pp. 289-300. [ pdf ]
Herlihy, M. Wait-free Synchronization. ACM Transactions on Programming Languages and Systems 13, 1 (1991), 124-149. [ pdf ]
Herlihy, M. P., and Wing, J. M. Linearizability: a Correctness Condition for Concurrent Objects. ACM Transactions on Programming Languages and Systems 12, 3 (1990), 463-492. [ pdf ]
All publications by Maurice Herlihy
| Page Owner: Maurice Herlihy | Last Modified: Mon Aug 20 14:30:39 2007 |