Publications

This is a mostly-complete list of my published papers. I’ve included a small number of talks or web pages, to cover projects where we chose not to publish a paper. This version is derived from a BibTeX file.

Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, and Yinglian Xie. Web PKI: Closing the Gap between Guidelines and Practices. In Proceedings of the 21st Annual Network and Distributed System Security Symposium. February 2014.
Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, and Yinglian Xie. Global Authentication in an Untrustworthy World . In Proceedings of the 14th Workshop on Hot Topics in Operating Systems. May 2013.
Andrew Birrell (editor). SOSP Collected Papers 1967-2011. Distributed to participants at the 23rd ACM Symposium on Operating System Principles; see also a talk about assembling the papers. October 2011.
Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of Transactional Memory and Automatic Mutual Exclusion. ACM Transactions on Programming Languages and Systems, 33(1), pages 2:1–2:50. January 2011.
Andrew Birrell, Tom Redeheffer, and Chuck Thacker. Beehive, a Multi-core Platform for Low-level Systems Research. Slides for a talk. January 2010.
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, and Michael Isard. Implementation and Use of Transactional Memory with Dynamic Separation. In Proceedings of International Conference on Compiler Construction. March 2009.
Roxana Geambasu, Andrew Birrell, and John MacCormick. Experiences with Formal Specification of Fault-tolerant Storage Systems. In Proceedings of the 38th Annual International Conference on Dependable Systems and Networks. June 2008.
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, and Michael Isard. Dynamic Separation for Transactional Memory. Microsoft Research Technical Report TR-2008-043. March 2008.
Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of Transactional Memory and Automatic Mutual Exclusion. In Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. January 2008.
Michael Isard and Andrew Birrell. Automatic Mutual Exclusion. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems. May 2007.
Andrew Birrell, Michael Isard, Chuck Thacker, and Ted Wobber. A Design for High-performance Flash Disks. ACM SIGOPS Operating Systems Review, 41(2), pages 88–93. April 2007. Also appeared as Microsoft Research Technical Report TR-2005-176.
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, Martín Abadi, Andrew Birrell, and Daniel 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.
Martín 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 Birrell. An Introduction to Programming with C# Threads. Microsoft Research Technical Report TR-2005-68. May 2005.
Andrew Birrell. Implementing Condition Variables with Semaphores. In Computer systems theory, technology, and applications, pages 29–37. Springer Verlag, 2004.
Martín Abadi, Andrew Birrell, Mike Burrows, Frank Dabek, and Ted Wobber. Bankable Postage for Network Services. In Proceedings of the 8th Asian Computing Science Conference, pages 72–90. December 2003. Mumbai.
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, et al. Personal Jukebox (PJB). Cached copy of the Compaq SRC PJB web site. 2000.
Andrew Birrell. Building Web Applications that Work. Slides for a talk. July 1998.
Martín Abadi, Andrew Birrell, Raymie Stata, and Ted Wobber. Secure Web Tunneling. In Proceedings of the 7th International World Wide Web Conference, pages 531–539. April 1998. Also published in Computer Networks 30(1-7), pages 531-539.
Andrew Birrell, Mike Schroeder, Raymie Stata, and Ted Wobber. A Vision of Computing in the Year 2000. In a cached copy of the DEC SRC Pachyderm web site. 1997.
Andrew Birrell, Mike Schroeder, Raymie Stata, and 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), pages 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), pages 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. SRC Research Report 116. 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. SRC Research Report 112. September 1993.
Andrew Birrell, Andy Hisgen, Chuck Jerian, Tim Mann, and Garret Swart. The Echo Distributed File System. SRC Research Report 111. September 1993.
Andy Hisgen, Andrew Birrell, Chuck Jerian, Tim Mann, and Garret Swart. New-value Logging in the Echo Replicated File System. SRC Research Report 104. 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. 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. September 1992. Le mont Saint Michel.
Michael Schroeder, Andrew Birrell, Mike Burrows, Hal Murray, Roger 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. September 1990. Bologna.
Butler Lampson, Michael 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 the 2nd IEEE Workshop on Workstation Operating Systems, pages 49–54. September 1989.
Andrew Birrell. An Introduction to Programming with Threads. SRC Research Report 35. January 1989. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991.
Andrew Birrell. Stashing. In Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems?. September 1988. Cambridge.
Andrew Birrell, Michael 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 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. A preliminary version appeared as SRC Research Report 20. A revised version appeared in Systems Programming with Modula-3, Prentice Hall, 1991.
Andrew Birrell, Butler Lampson, Roger Needham, and Michael Schroeder. A Global Authentication Service Without Global Trust. In Proccedings of the IEEE Symposium on Security and Privacy. 1986.
Andrew Birrell, Butler Lampson, Roger Needham, and Michael Schroeder. Current Work on Authentication. In Proceedings of the 2nd ACM SIGOPS European Workshop. 1986. Amsterdam.
Andrew Birrell. Secure Communication Using Remote Procedure Calls. ACM Transactions on Computer Systems, 3(1), pages 1–14. February 1985.
Andrew Birrell and Bruce Nelson. Implementing Remote Procedure Calls. ACM Transactions on Computer Systems, 2(1), pages 39–59. February 1984.
Michael Schroeder, Andrew Birrell, and Roger Needham. Experience with Grapevine: the Growth of a Distributed System. ACM Transactions on Computer Systems, 2(1), pages 3–23. February 1984.
Andrew Birrell, Roy Levin, Michael Schroeder, and Roger Needham. Grapevine: an Exercise in Distributed Computing. Communications of the ACM, 25(4), pages 260–274. April 1982.
Andrew Birrell and Roger Needham. A Universal File Server. IEEE Transactions on Software Engineering, 6(5), pages 450–453. September 1980.
Andrew Birrell and Roger Needham. An Asynchronous Garbage Collector for the Cap Filing System. ACM SIGOPS Operating Systems Review, 12(2), pages 31–33. April 1978.
Andrew Birrell and Roger Needham. Character Streams. ACM SIGOPS Operating Systems Review, 12(3), pages 29–31. March 1978.
Andrew Birrell. System Programming in a High Level Language. Ph.D. Thesis, University of Cambridge. December 1977.
Roger Needham and Andrew Birrell. The Cap Filing System. In Proceedings of the 6th ACM Symposium on Operating System Principles. November 1977.
Andrew Birrell. Storage Management for Algol68. ACM SIGPLAN Notices, 12(6). June 1977.

The publications have a wide variety of copyright restrictions, which I’m not going to enumerate. You may use the copies here subject to those restrictions, or within the rules for “fair use” under U.S. copyright law. I take no responsibility for your actions.