Andrew Birrell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
1977–2014
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | NDSS | Web PKI: Closing the Gap between Guidelines and Practices. | Antoine Delignat-Lavaud, Martn Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2013 | HotOS | Global Authentication in an Untrustworthy World. | Martn Abadi, Andrew Birrell, Ilya Mironov, Ted Wobber, Yinglian Xie |
| 2009 | CC | Implementation and Use of Transactional Memory with Dynamic Separation. | Martn Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard |
| 2008 | DSN | Experiences with formal specification of fault-tolerant file systems. | Roxana Geambasu, Andrew Birrell, John MacCormick |
| 2008 | POPL | Semantics of transactional memory and automatic mutual exclusion. | Martn Abadi, Andrew Birrell, Tim Harris, Michael Isard |
| 2007 | EuroSys | Dryad: distributed data-parallel programs from sequential building blocks. | Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly |
| 2007 | EuroSys | Authorizing applications in singularity. | Ted Wobber, Aydan R. Yumerefendi, Martn Abadi, Andrew Birrell, Daniel R. Simon |
| 2007 | HotOS | Automatic Mutual Exclusion. | Michael Isard, Andrew Birrell |
| 2005 | HotOS | Access Control in a World of Software Diversity. | Martn Abadi, Andrew Birrell, Ted Wobber |
| 2003 | USENIX | A Cooperative Internet Backup Scheme. | Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard |
| 1993 | SOSP | Network Objects. | Andrew Birrell, Greg Nelson, Susan S. Owicki, Edward Wobber |
| 1989 | HotOS | Availability and Consistency Tradeoffs in the Echo Distributed File System. | Andy Hisgen, Andrew Birrell, Timothy P. Mann, Michael D. Schroeder, Garret Swart |
| 1987 | SOSP | Synchronization Primitives for a Multiprocessor: A Formal Specification. | Andrew Birrell, John V. Guttag, James J. Horning, Roy Levin |
| 1987 | SOSP | A Simple and Efficient Implementation for Small Databases. | Andrew Birrell, Michael B. Jones, Edward Wobber |
| 1986 | SP | A Global Authentication Service without Global Trust. | Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder |
| 1983 | SOSP | Implementing Remote Procedure Calls (Abstract). | Andrew Birrell, Bruce Jay Nelson |
| 1983 | SOSP | Experience with Grapevine: The Growth of a Distributed System (Summary). | Michael D. Schroeder, Andrew Birrell, Roger M. Needham |
| 1981 | SOSP | Gravevine: An Exercise in Distributed Computing (summary). | Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder |
| 1977 | SOSP | The Cap Filing System. | Roger M. Needham, Andrew Birrell |