Michael Burrows

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 1

Top Venues

NeurIPS

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Mangpo Mangpo Phothilimthana, Sami Abu-El-Haija, Kaidi Cao, Bahare Fatemi, Michael Burrows, Charith Mendis, Bryan Perozzi
TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs. NeurIPS (2023)
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Michael Burrows, Tushar Chandra, Andrew Fikes, Robert E. Gruber
Bigtable: A Distributed Storage System for Structured Data. ACM Trans. Comput. Syst. 26 (2) (2008)
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Michael Burrows, Tushar Chandra, Andrew Fikes, Robert Gruber
Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!). OSDI (2006)
Michael Burrows
The Chubby Lock Service for Loosely-Coupled Distributed Systems. OSDI (2006)
Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber
Moderately hard, memory-bound functions. ACM Trans. Internet Techn. 5 (2) (2005)
Michael Burrows, K. Rustan M. Leino
Finding stale-value errors in concurrent programs. Concurr. Pract. Exp. 16 (12) (2004)
Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber
Bankable Postage for Network Services. ASIAN (2003)
Martín Abadi, Michael Burrows, Ted Wobber
Moderately Hard, Memory-Bound Functions. NDSS (2003)
Michael Burrows, Stephen N. Freund, Janet L. Wiener
Run-Time Type Checking for Binary Programs. CC (2003)
Marcos Kawazoe Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, David G. Andersen, Michael Burrows, Timothy P. Mann, Chandramohan A. Thekkath
Block-Level Security for Network-Attached Disks. FAST (2003)
Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard
A Cooperative Internet Backup Scheme. USENIX Annual Technical Conference, General Track (2003)
Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl
Efficient and Flexible Value Sampling. ASPLOS (2000)
Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
Secure Network Objects. Secure Internet Programming (1999)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Trans. Comput. Syst. 15 (4) (1997)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. SOSP (1997)
Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
Secure Network Objects. IEEE Symposium on Security and Privacy (1996)
Daniel J. Scales, Michael Burrows, Chandramohan A. Thekkath
Experience with Parallel Computing on the AN2 Network. IPPS (1996)
Matthias Hausner, Michael Burrows, Chandramohan A. Thekkath
Efficient implementation of PVM on the AN2 ATM network. HPCN Europe (1995)
Edward Wobber, Martín Abadi, Michael Burrows
Authentication in the Taos Operating System. ACM Trans. Comput. Syst. 12 (1) (1994)
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
Authentification and Delegation with Smart-Cards. Sci. Comput. Program. 21 (2) (1993)
Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson
Authentication in the Taos Operating System. SOSP (1993)
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
A Calculus for Access Control in Distributed Systems. ACM Trans. Program. Lang. Syst. 15 (4) (1993)
Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
Authentication in Distributed Systems: Theory and Practice. ACM Trans. Comput. Syst. 10 (4) (1992)
Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann
On-Line Data Compression in a Log-Structured File System. ASPLOS (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)
Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
Authentication in Distributed Systems: Theory and Practice. SOSP (1991)
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
Authentication and Delegation with Smart-cards. TACS (1991)
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
A Calculus for Access Control in Distributed Systems. CRYPTO (1991)
Michael D. Schroeder, Michael Burrows
Performance of Firefly RPC. ACM Trans. Comput. Syst. 8 (1) (1990)
Michael Burrows, Martín Abadi, Roger M. Needham
A Logic of Authentication. ACM Trans. Comput. Syst. 8 (1) (1990)
Michael Burrows, Martín Abadi, Roger M. Needham
Rejoinder to Nessett. ACM SIGOPS Oper. Syst. Rev. 24 (2) (1990)
Michael D. Schroeder, Michael Burrows
Performance of Firefly RPC. SOSP (1989)
Michael Burrows, Martín Abadi, Roger M. Needham
A Logic of Authentication. SOSP (1989)
Michael Burrows, Martín Abadi, Roger M. Needham
The Scope of a Logic of Authentication. Distributed Computing And Cryptography (1989)
Michael Burrows, Martín Abadi, Roger M. Needham
Authentication: A Practical Study in Belief and Action. TARK (1988)
Roger M. Needham, Michael Burrows
Locks in Distributed Systems - Observations. ACM SIGOPS Oper. Syst. Rev. 22 (3) (1988)

Michael Burrows.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Burrows