Andrew Birrell

According to our database, Andrew Birrell authored at least 41 papers between 1977 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2014

Web PKI: Closing the Gap between Guidelines and Practices.

Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

Global Authentication in an Untrustworthy World.

Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie

Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2011

Semantics of transactional memory and automatic mutual exclusion.

Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard

ACM Trans. Program. Lang. Syst., 2011

2009

Implementation and Use of Transactional Memory with Dynamic Separation.

Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

Experiences with formal specification of fault-tolerant file systems.

Roxana Geambasu, Andrew Birrell, John MacCormick

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

A design for high-performance flash disks.

Andrew Birrell, Michael Isard, Chuck Thacker, Ted Wobber

ACM SIGOPS Oper. Syst. Rev., 2007

Automatic Mutual Exclusion.

Michael Isard, Andrew Birrell

Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, 2007

Authorizing applications in singularity.

Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Dryad: distributed data-parallel programs from sequential building blocks.

Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005

Access Control in a World of Software Diversity.

Martín Abadi, Andrew Birrell, Ted Wobber

Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2003

A Cooperative Internet Backup Scheme.

Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Bankable Postage for Network Services.

Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber

Proceedings of the Advances in Computing Science, 2003

1998

Secure Web Tunneling.

Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber

Comput. Networks, 1998

1995

Network Objects

Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber

Softw. Pract. Exp., 1995

1994

A Coherent Distributed File Cache with Directory Write-Behind.

Timothy P. Mann, Andrew Birrell, Andy Hisgen, Charles Jerian, Garret Swart

ACM Trans. Comput. Syst., 1994

1992

Some Consequences of Excess Laod on the Echo Replicated File System.

Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy P. Mann, Garret Swart

Proceedings of the Second Workshop on the Management of Replicated Data, 1992

An assessment of the remote procedure call mechanism.

Andrew Birrell

Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992

1991

Position Paper for Sigops Workshop on Fault Tolerance Support in Distributed Systems.

Andrew Birrell

ACM SIGOPS Oper. Syst. Rev., 1991

Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links.

Michael D. Schroeder, Andrew Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, Edwin H. Satterthwaite, Charles P. Thacker

IEEE J. Sel. Areas Commun., 1991

1990

Granularity and Semantic Level of Replication in the Echo Distributed File System.

Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy P. Mann, Michael D. Schroeder, Garret Swart

Proceedings of the First Workshop on the Management of Replicated Data, 1990

Fault tolerance support in distributed systems.

Andrew Birrell

Proceedings of the 4th ACM SIGOPS European Workshop, Bologna, Italy, September 3-5, 1990, 1990

1989

Availability and Consistency Tradeoffs in the Echo Distributed File System.

Andy Hisgen, Andrew Birrell, Timothy P. Mann, Michael D. Schroeder, Garret Swart

Proceedings of the Second Workshop On Workstation Operating Systems, 1989

1988

Position paper for the ACM SIGOPS workshop 1988.

Andrew Birrell

Proceedings of the 3rd ACM SIGOPS European Workshop: Autonomy or Interdependence in Distributed Systems? Cambridge, 1988

1987

A Simple and Efficient Implementation for Small Databases.

Andrew Birrell, Michael B. Jones, Edward Wobber

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Synchronization Primitives for a Multiprocessor: A Formal Specification.

Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin

Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986

A Global Authentication Service without Global Trust.

Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder

Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Current work on authentication.

Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder

Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985

Secure Communication Using Remote Procedure Calls

Andrew Birrell

ACM Trans. Comput. Syst., 1985

Report of the Program Committee for the 10th SOSP.

David R. Cheriton, Andrew Birrell

ACM SIGOPS Oper. Syst. Rev., 1985

1984

Experience with Grapevine: The Growth of a Distributed System

Michael D. Schroeder, Andrew Birrell, Roger M. Needham

ACM Trans. Comput. Syst., 1984

Implementing Remote Procedure Calls

Andrew Birrell, Bruce Jay Nelson

ACM Trans. Comput. Syst., 1984

1983

Experience with Grapevine: The Growth of a Distributed System (Summary).

Michael D. Schroeder, Andrew Birrell, Roger M. Needham

Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

Implementing Remote Procedure Calls (Abstract).

Andrew Birrell, Bruce Jay Nelson

Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

1982

Grapevine: An Exercise in Distributed Computing.

Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder

Commun. ACM, 1982

1981

Gravevine: An Exercise in Distributed Computing (summary).

Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder

Proceedings of the Eighth Symposium on Operating System Principles, 1981

1980

A Universal File Server.

Andrew Birrell, Roger M. Needham

IEEE Trans. Software Eng., 1980

1978

Character Streams.

Andrew Birrell, Roger M. Needham

ACM SIGOPS Oper. Syst. Rev., 1978

An Asynchronous Garbage Collector for the CAP Filing System.

Andrew Birrell, Roger M. Needham

ACM SIGOPS Oper. Syst. Rev., 1978

1977

System programming in a high level language.

Andrew Birrell

PhD thesis, 1977

The Cap Filing System.

Roger M. Needham, Andrew Birrell

Proceedings of the Sixth Symposium on Operating System Principles, 1977

Storage management for ALGOL68.

Andrew Birrell

Proceedings of the Strathclyde ALGOL 68 Conference, Glasgow, 1977