Andrew Birrell

According to our database1, Andrew Birrell authored at least 42 papers between 1977 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
Web PKI: Closing the Gap between Guidelines and Practices.
Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013
Global Authentication in an Untrustworthy World.
Proceedings of the 14th Workshop on Hot Topics in Operating Systems, 2013

2011
Semantics of transactional memory and automatic mutual exclusion.
ACM Trans. Program. Lang. Syst., 2011

2009
Implementation and Use of Transactional Memory with Dynamic Separation.
Proceedings of the Compiler Construction, 18th International Conference, 2009

2008
Semantics of transactional memory and automatic mutual exclusion.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Experiences with formal specification of fault-tolerant file systems.
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007
A design for high-performance flash disks.
Operating Systems Review, 2007

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

Authorizing applications in singularity.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Dryad: distributed data-parallel programs from sequential building blocks.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005
Access Control in a World of Software Diversity.
Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating Systems, 2005

2003
A Cooperative Internet Backup Scheme.
Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Bankable Postage for Network Services.
Proceedings of the Advances in Computing Science, 2003

1998
Secure Web Tunneling.
Computer Networks, 1998

1995
Network Objects
Softw., Pract. Exper., 1995

1994
A Coherent Distributed File Cache with Directory Write-Behind.
ACM Trans. Comput. Syst., 1994

1993
Network Objects.
Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

1992
Some Consequences of Excess Laod on the Echo Replicated File System.
Workshop on the Management of Replicated Data, 1992

An assessment of the remote procedure call mechanism.
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.
Operating Systems Review, 1991

Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links.
IEEE Journal on Selected Areas in Communications, 1991

1990
Granularity and Semantic Level of Replication in the Echo Distributed File System.
Workshop on the Management of Replicated Data, 1990

Fault tolerance support in distributed systems.
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.
Workshop on Workstation Operating Systems, 1989

1988
Position paper for the ACM SIGOPS workshop 1988.
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.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

Synchronization Primitives for a Multiprocessor: A Formal Specification.
Proceedings of the Eleventh ACM Symposium on Operating System Principles, 1987

1986
A Global Authentication Service without Global Trust.
Proceedings of the 1986 IEEE Symposium on Security and Privacy, 1986

Current work on authentication.
Proceedings of the 2nd ACM SIGOPS European Workshop, 1986

1985
Secure Communication Using Remote Procedure Calls
ACM Trans. Comput. Syst., 1985

Report of the Program Committee for the 10th SOSP.
Operating Systems Review, 1985

1984
Experience with Grapevine: The Growth of a Distributed System
ACM Trans. Comput. Syst., 1984

Implementing Remote Procedure Calls
ACM Trans. Comput. Syst., 1984

1983
Experience with Grapevine: The Growth of a Distributed System (Summary).
Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

Implementing Remote Procedure Calls (Abstract).
Proceedings of the Ninth ACM Symposium on Operating System Principles, 1983

1982
Grapevine: An Exercise in Distributed Computing.
Commun. ACM, 1982

1981
Gravevine: An Exercise in Distributed Computing (summary).
Proceedings of the Eighth Symposium on Operating System Principles, 1981

1980
A Universal File Server.
IEEE Trans. Software Eng., 1980

1978
Character Streams.
Operating Systems Review, 1978

An Asynchronous Garbage Collector for the CAP Filing System.
Operating Systems Review, 1978

1977
System programming in a high level language.
PhD thesis, 1977

The Cap Filing System.
Proceedings of the Sixth Symposium on Operating System Principles, 1977


  Loading...