default search action
Andrew Birrell
Person information
- affiliation: Microsoft Research
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [c27]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 - 2013
- [c26]Martín Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie:
Global Authentication in an Untrustworthy World. HotOS 2013 - [e2]Andrew Birrell, Emin Gün Sirer:
Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013, San Jose, CA, USA, June 26-28, 2013. USENIX Association 2013, ISBN 978-1-931971-01-0 [contents] - 2011
- [j15]Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard:
Semantics of transactional memory and automatic mutual exclusion. ACM Trans. Program. Lang. Syst. 33(1): 2:1-2:50 (2011)
2000 – 2009
- 2009
- [c25]Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard:
Implementation and Use of Transactional Memory with Dynamic Separation. CC 2009: 63-77 - 2008
- [c24]Roxana Geambasu, Andrew Birrell, John MacCormick:
Experiences with formal specification of fault-tolerant file systems. DSN 2008: 96-101 - [c23]Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard:
Semantics of transactional memory and automatic mutual exclusion. POPL 2008: 63-74 - 2007
- [j14]Andrew Birrell, Michael Isard, Chuck Thacker, Ted Wobber:
A design for high-performance flash disks. ACM SIGOPS Oper. Syst. Rev. 41(2): 88-93 (2007) - [c22]Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly:
Dryad: distributed data-parallel programs from sequential building blocks. EuroSys 2007: 59-72 - [c21]Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon:
Authorizing applications in singularity. EuroSys 2007: 355-368 - [c20]Michael Isard, Andrew Birrell:
Automatic Mutual Exclusion. HotOS 2007 - 2005
- [c19]Martín Abadi, Andrew Birrell, Ted Wobber:
Access Control in a World of Software Diversity. HotOS 2005 - 2003
- [c18]Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber:
Bankable Postage for Network Services. ASIAN 2003: 72-90 - [c17]Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard:
A Cooperative Internet Backup Scheme. USENIX ATC, General Track 2003: 29-41
1990 – 1999
- 1998
- [j13]Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber:
Secure Web Tunneling. Comput. Networks 30(1-7): 531-539 (1998) - 1995
- [j12]Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber:
Network Objects. Softw. Pract. Exp. 25(S4): S4 (1995) - 1994
- [j11]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): 123-164 (1994) - 1993
- [c16]Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber:
Network Objects. SOSP 1993: 217-230 - 1992
- [c15]Andrew Birrell:
An assessment of the remote procedure call mechanism. ACM SIGOPS European Workshop 1992 - [c14]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: 92-95 - 1991
- [j10]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): 1318-1335 (1991) - [j9]Andrew Birrell:
Position Paper for Sigops Workshop on Fault Tolerance Support in Distributed Systems. ACM SIGOPS Oper. Syst. Rev. 25(1): 83-84 (1991) - 1990
- [c13]Andrew Birrell:
Fault tolerance support in distributed systems. ACM SIGOPS European Workshop 1990 - [c12]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: 2-4
1980 – 1989
- 1989
- [c11]Andy Hisgen, Andrew Birrell, Timothy P. Mann, Michael D. Schroeder, Garret Swart:
Availability and Consistency Tradeoffs in the Echo Distributed File System. WWOS 1989: 49-54 - 1988
- [c10]Andrew Birrell:
Position paper for the ACM SIGOPS workshop 1988. ACM SIGOPS European Workshop 1988 - 1987
- [c9]Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin:
Synchronization Primitives for a Multiprocessor: A Formal Specification. SOSP 1987: 94-102 - [c8]Andrew Birrell, Michael B. Jones, Edward Wobber:
A Simple and Efficient Implementation for Small Databases. SOSP 1987: 149-154 - 1986
- [c7]Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder:
Current work on authentication. ACM SIGOPS European Workshop 1986 - [c6]Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder:
A Global Authentication Service without Global Trust. S&P 1986: 223-230 - 1985
- [j8]David R. Cheriton, Andrew Birrell:
Report of the Program Committee for the 10th SOSP. ACM SIGOPS Oper. Syst. Rev. 19(4): 2-4 (1985) - [j7]Andrew Birrell:
Secure Communication Using Remote Procedure Calls. ACM Trans. Comput. Syst. 3(1): 1-14 (1985) - [e1]Forest Baskett, Andrew Birrell, David R. Cheriton:
Proceedings of the Tenth ACM Symposium on Operating System Principles, SOSP 1985, Orcas Island, Washington, USA, December 1-4, 1985. ACM 1985, ISBN 0-89791-174-1 [contents] - 1984
- [j6]Michael D. Schroeder, Andrew Birrell, Roger M. Needham:
Experience with Grapevine: The Growth of a Distributed System. ACM Trans. Comput. Syst. 2(1): 3-23 (1984) - [j5]Andrew Birrell, Bruce Jay Nelson:
Implementing Remote Procedure Calls. ACM Trans. Comput. Syst. 2(1): 39-59 (1984) - 1983
- [c5]Andrew Birrell, Bruce Jay Nelson:
Implementing Remote Procedure Calls (Abstract). SOSP 1983: 3 - [c4]Michael D. Schroeder, Andrew Birrell, Roger M. Needham:
Experience with Grapevine: The Growth of a Distributed System (Summary). SOSP 1983: 141-142 - 1982
- [j4]Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder:
Grapevine: An Exercise in Distributed Computing. Commun. ACM 25(4): 260-274 (1982) - 1981
- [c3]Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder:
Gravevine: An Exercise in Distributed Computing (summary). SOSP 1981: 178-179 - 1980
- [j3]Andrew Birrell, Roger M. Needham:
A Universal File Server. IEEE Trans. Software Eng. 6(5): 450-453 (1980)
1970 – 1979
- 1978
- [j2]Andrew Birrell, Roger M. Needham:
An Asynchronous Garbage Collector for the CAP Filing System. ACM SIGOPS Oper. Syst. Rev. 12(2): 31-33 (1978) - [j1]Andrew Birrell, Roger M. Needham:
Character Streams. ACM SIGOPS Oper. Syst. Rev. 12(3): 29-31 (1978) - 1977
- [b1]Andrew Birrell:
System programming in a high level language. University of Cambridge, UK, 1977 - [c2]Andrew Birrell:
Storage management for ALGOL68. Strathclyde ALGOL 68 Conference 1977: 82-94 - [c1]Roger M. Needham, Andrew Birrell:
The Cap Filing System. SOSP 1977: 11-16
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint