The following is a nearly-complete list of my published papers. I’ve also included a small number of talks, to cover projects where we chose not to publish a paper.

• Michael Isard and Andrew Birrell. Automatic Mutual Exclusion In Proceedings of the Eleventh Workshop on Hot Topics in Operating Systems. May 2007.
• Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell and Dennis Fetterly. Dryad: distributed data-parallel programs from sequential building blocks In Proceedings of the 2007 Eurosys Conference. March 2007.
• Ted Wobber, Aydan Yumerefendi, Martin Abadi, Andrew Birrell and Daniel R. Simon. Authorizing Applications in Singularity. In Proceedings of the 2007 Eurosys Conference. March 2007.
• Muthukaruppan Annamalai, Andrew Birrell, Dennis Fetterly and Ted Wobber. Implementing portable desktops: a new option and comparisons. Microsoft Research Technical Report TR-2006-151. October 2006.
• Andrew Birrell, Michael Isard, Chuck Thacker and Ted Wobber. A design for high-performance flask disks. Microsoft Research Technical Report TR-2005-176. December 2005.
• Martin Abadi, Andrew Birrell, and Ted Wobber. Access control in a world of software diversity. In Proceedings of the Tenth Workshop on Hot Topics in Operating Systems. June 2005.
• Andrew D. Birrell. Implementing condition variables with semaphores. In Computer systems theory, technology, and appllications, pages 29-37. Springer-verlag, 2004.
• Martin Abadi, Andrew Birrell, Mike Burrows, Frank Dabek and Ted Wobber. Bankable Postage for Network Services. In Proceedings of the 8th Asian Computing Science Conference, Mumbai, India, pages 72-90. December 2003.
• Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Mike Burrows and Michael Isard. A cooperative internet backup scheme. In Proceedings of the 2003 Usenix Annual Technical Conference, pages 29-41, June 2003
• Andrew Birrell, et al. Personal Jukebox (PJB). Slides for a talk. October 2000.
• Andrew Birrell. Building web applications that work. Slides for a talk. July 1998.
• Martin Abadi, Andrew Birrell, Raymie Stata, and Ted Wobber. Secure Web Tunneling. In Proceedings of the 7th International World Wide Web Conference, pages 531-539. Also published as Computer Networks 30(1-7):531-539. April 1998.
• Andrew Birrell, Mike Schroeder, Raymie Stata, Ted Wobber. Pachyderm: a strategy for working on the web. Slides for a talk. October 1997.
• Andrew Birrell, Greg Nelson, Susan Owicki, and Ted Wobber. Network objects. Software Practice and Experience, 25(4):87-130, December 1995. Also appeared as SRC Research Report 115.
• Andrew Birrell and Paul McJones Virtual Paper. Slides for a talk. January, 1995.
• Tim Mann, Andrew Birrell, Andy Hisgen, Chuck Jerian, and Garret Swart. A coherent distributed file cache with directory write-behind. ACM Transactions on Computer Systems, 12(2):123-164, May 1994. A preliminary version appeared as SRC Research Report 103.
• Andrew Birrell, David Evers, Greg Nelson, Sue Owicki, and Ted Wobber. Distributed garbage collection for Network Objects. Research Report 116, Compaq Systems Research Center, Palo Alto, CA, December 1993. Also appeared as SRC Note 66.
• Andrew Birrell, Greg Nelson, Susan Owicki, and Ted Wobber. Network objects. In Proceedings of the 14th ACM Symposium on Operating System Principles, December 1993.
• Garret Swart, Andrew Birrell, Andy Hisgen, and Tim Mann. Availability in the Echo file system. Research Report 112, Compaq Systems Research Center, Palo Alto, CA, September 1993.
• Andrew Birrell, Andy Hisgen, Chuck Jerian, Tim Mann, and Garret Swart. The Echo distributed file system. Research Report 111, Compaq Systems Research Center, Palo Alto, CA, September 1993.
• Andy Hisgen, Andrew Birrell, Chuck Jerian, Tim Mann, and Garret Swart. New-value logging in the Echo replicated file system. Research Report 104, Compaq Systems Research Center, Palo Alto, CA, June 1993.
• Andy Hisgen, Andrew Birrell, Chuck Jerian, Tim Mann, and Garret Swart. Some consequences of excess load on the Echo replicated file system. In Proceedings of the IEEE Workshop on the Management of Replicated Data, pages 92-95. IEEE, November 1992.
• Andrew Birrell. An assessment of the remote procedure call mechanism. In Proceedings of the 5th ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring. Le Mont Saint Michel, September 1992.
• Michael Schroeder, Andrew Birrell, Mike Burrows, Hal Murray, Roger M. Needham, Thomas Rodeheffer, Ed Satterthwaite, and Chuck Thacker. Autonet: a high-speed, self-configuring local area network using point-to-point links. IEEE Journal on Selected Areas in Communications, 9(8), October 1991. Also appeared as SRC Research Report 59.
• Andy Hisgen, Andrew Birrell, Chuck Jerian, Tim Mann, Michael Schroeder, and Garret Swart. Granularity and semantic level of replication in the Echo distributed file system. In Proceedings of the IEEE Workshop on the Management of Replicated Data, November 1990.
• Andrew Birrell. Fault tolerance support in distributed systems In Proceedings of the 4th ACM SIGOPS European Workshop, pages 83-84. Bologna, September 1990.
• Butler W. Lampson, Michael D. Schroeder and Andrew Birrell. A Distributed Systems Architecture for the 1990's. SRC Note, December 1989.
• Andy Hisgen, Andrew Birrell, Tim Mann, Michael Schroeder, and Garret Swart. Availability and consistency tradeoffs in the Echo distributed file system. In Proceedings of 2nd IEEE Workshop on Workstation Operating Systems, pages 49-54. September 1989.
• Andrew Birrell. An introduction to programming with threads. Research Report 35, Compaq Systems Research Center, Palo Alto, CA, January 1989.
• Andrew Birrell. Stashing. In Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems?. Cambridge, September 1988.
• Andrew Birrell, Michael B. Jones, and Ted Wobber. A simple and efficient implementation for small databases. In Proceedings of the 11th ACM Symposium on Operating System Principles, December 1987. Also appeared as SRC Research Report 24.
• Andrew Birrell, John V. Guttag, Jim Horning, and Roy Levin. Synchronization primitives for a multiprocessor: A formal specification. In Proceedings of the 11th ACM Symposium on Operating System Principles, December 1987. Also appeared as SRC Research Report 20. Revised version in "Systems Programming with Modula-3", Prentice Hall, 1991.
• Andrew Birrell, Butler W. Lampson, Roger M. Needham and Michael D. Schroeder. Current Work on Authentication. In Proceedings of the 2nd ACM SIGOPS European Workshop. Amsterdam, 1986.
• Andrew Birrell, Butler Lampson, Roger M. Needham, and Michael Schroeder. A global authentication service without global trust. In IEEE Symposium on Security and Privacy, 1986.
• Andrew Birrell. Secure communication using remote procedure calls. ACM Transactions on Computer Systems, 3(1):1-14, February 1985.
• Andrew Birrell and Bruce J. Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
• Michael Schroeder, Andrew Birrell, and Roger M. Needham. Experience with grapevine: the growth of a distributed system. ACM Transactions on Computer Systems, 2(1):3-23, February 1984.
• Andrew Birrell, Roy Levin, Michael Schroeder, and Roger M. Needham. Grapevine: an exercise in distributed computing. Communications of the ACM, 25(4):260-274, April 1982.
• A. D. Birrell and R. M. Needham. A universal file server. IEEE Transactions on Software Engineering, 6(5):450-453, September, 1980.
• A. D. Birrell and R. M. Needham An Asynchronous Garbage Collector for the Cap Filing System. ACM SIGOPS Operating Systems Review, 12(2):31-33, April 1978.
• Andrew D. Birrell. System programming in a high level language Ph.D. Thesis, University of Cambridge, December, 1977.
• R. M. Needham and A. D. Birrell. The Cap Filing System. In Proceedings of the 6th ACM Symposium on Operating System Principles, November 1977.
• A. D. Birrell and R. M. Needham. Character Streams. ACM SIGOPS Operating Systems Review, 12(3):29-31. March, 1978.
• A. D. Birrell. Storage Management for Algol68. ACM SIGPLAN Notices, 12(6), June 1977.