Andrew Birrell

45 papers A* 10A 6B 1Journal 15Unranked 11

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