| 2011 |
|---|
| 19 | Semantics of transactional memory and automatic mutual exclusion. Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard. ACM Trans. Program. Lang. Syst. (33): 2 (2011). Web SearchBibTeXDownload |
| 2009 |
|---|
| 18 | Implementation and Use of Transactional Memory with Dynamic Separation. Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, Michael Isard. CC 2009, 63-77. Web SearchBibTeXDownload |
| 2008 |
|---|
| 17 | Experiences with formal specification of fault-tolerant file systems. Roxana Geambasu, Andrew Birrell, John MacCormick. DSN 2008, 96-101. Web SearchBibTeXDownload |
| 16 | Semantics of transactional memory and automatic mutual exclusion. Martín Abadi, Andrew Birrell, Tim Harris, Michael Isard. POPL 2008, 63-74. Web SearchBibTeXDownload |
| 2007 |
|---|
| 15 | Dryad: distributed data-parallel programs from sequential building blocks. Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, Dennis Fetterly. EuroSys 2007, 59-72. Web SearchBibTeXDownload |
| 14 | Authorizing applications in singularity. Ted Wobber, Aydan R. Yumerefendi, Martín Abadi, Andrew Birrell, Daniel R. Simon. EuroSys 2007, 355-368. Web SearchBibTeXDownload |
| 13 | Automatic Mutual Exclusion. Michael Isard, Andrew Birrell. HotOS 2007. Web SearchBibTeXDownload |
| 12 | A design for high-performance flash disks. Andrew Birrell, Michael Isard, Chuck Thacker, Ted Wobber. Operating Systems Review (41): 88-93 (2007). Web SearchBibTeXDownload |
| 2005 |
|---|
| 11 | Access Control in a World of Software Diversity. Martín Abadi, Andrew Birrell, Ted Wobber. HotOS 2005. Web SearchBibTeXDownload |
| 2003 |
|---|
| 10 | Bankable Postage for Network Services. Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber. ASIAN 2003, 72-90. Web SearchBibTeXDownload |
| 9 | A Cooperative Internet Backup Scheme. Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard. USENIX Annual Technical Conference, General Track 2003, 29-41. Web SearchBibTeXDownload |
| 1998 |
|---|
| 8 | Secure Web Tunneling. Martín Abadi, Andrew Birrell, Raymie Stata, Edward Wobber. Computer Networks (30): 531-539 (1998). Web SearchBibTeXDownload |
| 1994 |
|---|
| 7 | A Coherent Distributed File Cache with Directory Write-Behind. Timothy Mann, Andrew Birrell, Andy Hisgen, Charles Jerian, Garret Swart. ACM Trans. Comput. Syst. (12): 123-164 (1994). Web SearchBibTeXDownload |
| 1992 |
|---|
| 6 | Some Consequences of Excess Laod on the Echo Replicated File System. Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy Mann, Garret Swart. Workshop on the Management of Replicated Data 1992, 92-95. Web SearchBibTeX |
| 1990 |
|---|
| 5 | Granularity and Semantic Level of Replication in the Echo Distributed File System. Andy Hisgen, Andrew Birrell, Charles Jerian, Timothy Mann, Michael D. Schroeder, Garret Swart. Workshop on the Management of Replicated Data 1990, 2-4. Web SearchBibTeX |
| 1989 |
|---|
| 4 | Availability and Consistency Tradeoffs in the Echo Distributed File System. Andy Hisgen, Andrew Birrell, Timothy Mann, Michael D. Schroeder, Garret Swart. Workshop on Workstation Operating Systems 1989, 49-54. Web SearchBibTeX |
| 1986 |
|---|
| 3 | Current work on authentication. Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder. ACM SIGOPS European Workshop 1986. Web SearchBibTeXDownload |
| 2 | A Global Authentication Service without Global Trust. Andrew Birrell, Butler W. Lampson, Roger M. Needham, Michael D. Schroeder. IEEE Symposium on Security and Privacy 1986, 223-230. Web SearchBibTeX |
| 1985 |
|---|
| 1 | Report of the Program Committee for the 10th SOSP. David R. Cheriton, Andrew Birrell. Operating Systems Review (19): 2-4 (1985). Web SearchBibTeX |
