Roy Levin

Emeritus Researcher

Publications

View by:

- Graceful degradation via versions: specifications and implementations
  
  Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
  
  Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
  
  Publication
- A Perspective on Computing Research Management
  
  Roy Levin
  
  Operating Systems Review | April 2007, Vol 41(2): pp. 3-9
  
  Publication Publication
- A Technology Transfer Retrospective
  
  Roy Levin
  
  Computer Systems: Theory, Technology, and Applications | July 2004
  
  Publication Publication
- Synchronization Primitives for a Multiprocessor: a Formal Specification
  
  Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
  
  Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
  
  A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
  
  Publication
- Grapevine: An exercise in distributed computing
  
  Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
  
  Communications of the ACM | April 1982, Vol 25
  
  Publication

- Synchronization Primitives for a Multiprocessor: a Formal Specification
  
  Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
  
  Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
  
  A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
  
  Publication
- Grapevine: An exercise in distributed computing
  
  Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
  
  Communications of the ACM | April 1982, Vol 25
  
  Publication
- Graceful degradation via versions: specifications and implementations
  
  Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
  
  Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
  
  Publication
- A Perspective on Computing Research Management
  
  Roy Levin
  
  Operating Systems Review | April 2007, Vol 41(2): pp. 3-9
  
  Publication Publication
- A Technology Transfer Retrospective
  
  Roy Levin
  
  Computer Systems: Theory, Technology, and Applications | July 2004
  
  Publication Publication

- Synchronization Primitives for a Multiprocessor: a Formal Specification
  
  Andrew Birrell, J. V. Guttag, J. J. Horning, Roy Levin
  
  Proceedings of the 11th ACM Symposium on Operating System Principles | December 1987
  
  A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991
  
  Publication
- Graceful degradation via versions: specifications and implementations
  
  Lidong Zhou, Vijayan Prabhakaran, Rama Ramasubramanian, Roy Levin, Chandu Thekkath
  
  Symposium on Principles of Distributed Computing (PODC 2007) | August 2007
  
  Publication
- A Technology Transfer Retrospective
  
  Roy Levin
  
  Computer Systems: Theory, Technology, and Applications | July 2004
  
  Publication Publication
- Grapevine: An exercise in distributed computing
  
  Andrew Birrell, Roy Levin, Roger M. Needham, Mike Schroeder
  
  Communications of the ACM | April 1982, Vol 25
  
  Publication
- A Perspective on Computing Research Management
  
  Roy Levin
  
  Operating Systems Review | April 2007, Vol 41(2): pp. 3-9
  
  Publication Publication