Andrew Birrell

Publication Activity (10 Years)

Years Active: 1977-2014
Publications (10 Years): 0

Top Venues

NDSS

HotOS

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Antoine Delignat-Lavaud, Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
Web PKI: Closing the Gap between Guidelines and Practices. NDSS (2014)
Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie
Global Authentication in an Untrustworthy World. HotOS (2013)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. 33 (1) (2011)
Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard
Implementation and Use of Transactional Memory with Dynamic Separation. CC (2009)
Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard
Semantics of transactional memory and automatic mutual exclusion. POPL (2008)
Roxana Geambasu, Andrew Birrell, John MacCormick
Experiences with formal specification of fault-tolerant file systems. DSN (2008)
Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon
Authorizing applications in singularity. EuroSys (2007)
Andrew Birrell, Michael Isard, Chuck Thacker, Ted Wobber
A design for high-performance flash disks. ACM SIGOPS Oper. Syst. Rev. 41 (2) (2007)
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys (2007)
Michael Isard, Andrew Birrell
Automatic Mutual Exclusion. HotOS (2007)
Martín Abadi, Andrew Birrell, Ted Wobber
Access Control in a World of Software Diversity. HotOS (2005)
Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber
Bankable Postage for Network Services. ASIAN (2003)
Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard
A Cooperative Internet Backup Scheme. USENIX Annual Technical Conference, General Track (2003)
Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber
Secure Web Tunneling. Comput. Networks 30 (1-7) (1998)
Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects Softw. Pract. Exp. 25 (S4) (1995)
Timothy P. Mann, Andrew Birrell, Andy Hisgen, Charles Jerian, Garret Swart
A Coherent Distributed File Cache with Directory Write-Behind. ACM Trans. Comput. Syst. 12 (2) (1994)
Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber
Network Objects. SOSP (1993)
Andrew Birrell
An assessment of the remote procedure call mechanism. ACM SIGOPS European Workshop (1992)
Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy P. Mann, Garret Swart
Some Consequences of Excess Laod on the Echo Replicated File System. Workshop on the Management of Replicated Data (1992)
Michael D. Schroeder, Andrew Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, Edwin H. Satterthwaite, Charles P. Thacker
Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links. IEEE J. Sel. Areas Commun. 9 (8) (1991)
Andrew Birrell
Position Paper for Sigops Workshop on Fault Tolerance Support in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 25 (1) (1991)
Andrew Birrell
Fault tolerance support in distributed systems. ACM SIGOPS European Workshop (1990)
Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy P. Mann, Michael D. Schroeder, Garret Swart
Granularity and Semantic Level of Replication in the Echo Distributed File System. Workshop on the Management of Replicated Data (1990)
Andy Hisgen, Andrew Birrell, Timothy P. Mann, Michael D. Schroeder, Garret Swart
Availability and Consistency Tradeoffs in the Echo Distributed File System. WWOS (1989)
Andrew Birrell
Position paper for the ACM SIGOPS workshop 1988. ACM SIGOPS European Workshop (1988)
Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin
Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP (1987)
Andrew Birrell, Michael B. Jones, Edward Wobber
A Simple and Efficient Implementation for Small Databases. SOSP (1987)
Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
A Global Authentication Service without Global Trust. IEEE Symposium on Security and Privacy (1986)
Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder
Current work on authentication. ACM SIGOPS European Workshop (1986)
David R. Cheriton, Andrew Birrell
Report of the Program Committee for the 10th SOSP. ACM SIGOPS Oper. Syst. Rev. 19 (4) (1985)
Andrew Birrell
Secure Communication Using Remote Procedure Calls ACM Trans. Comput. Syst. 3 (1) (1985)
Andrew Birrell, Bruce Jay Nelson
Implementing Remote Procedure Calls ACM Trans. Comput. Syst. 2 (1) (1984)
Michael D. Schroeder, Andrew Birrell, Roger M. Needham
Experience with Grapevine: The Growth of a Distributed System ACM Trans. Comput. Syst. 2 (1) (1984)
Andrew Birrell, Bruce Jay Nelson
Implementing Remote Procedure Calls (Abstract). SOSP (1983)
Michael D. Schroeder, Andrew Birrell, Roger M. Needham
Experience with Grapevine: The Growth of a Distributed System (Summary). SOSP (1983)
Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder
Grapevine: An Exercise in Distributed Computing. Commun. ACM 25 (4) (1982)
Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder
Gravevine: An Exercise in Distributed Computing (summary). SOSP (1981)
Andrew Birrell, Roger M. Needham
A Universal File Server. IEEE Trans. Software Eng. 6 (5) (1980)
Andrew Birrell, Roger M. Needham
Character Streams. ACM SIGOPS Oper. Syst. Rev. 12 (3) (1978)
Andrew Birrell, Roger M. Needham
An Asynchronous Garbage Collector for the CAP Filing System. ACM SIGOPS Oper. Syst. Rev. 12 (2) (1978)
Roger M. Needham, Andrew Birrell
The Cap Filing System. SOSP (1977)
Andrew Birrell
Storage management for ALGOL68. Strathclyde ALGOL 68 Conference (1977)

Andrew Birrell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrew Birrell