Authentication: A Practical Study in Belief and Action. - Michael Burrows; Martín Abadi; Roger M. Needham (TARK, 1988)

Locks in Distributed Systems - Observations. - Roger M. Needham; Michael Burrows (ACM SIGOPS Oper. Syst. Rev., 1988)

Efficient data sharing. - Michael Burrows (1988)

The Scope of a Logic of Authentication. - Michael Burrows; Martín Abadi; Roger M. Needham (Distributed Computing And Cryptography, 1989)

Rejoinder to Nessett. - Michael Burrows; Martín Abadi; Roger M. Needham (ACM SIGOPS Oper. Syst. Rev., 1990)

A Logic of Authentication. - Michael Burrows; Martín Abadi; Roger M. Needham (ACM Trans. Comput. Syst., 1990)

Performance of Firefly RPC. - Michael D. Schroeder; Michael Burrows (ACM Trans. Comput. Syst., 1990)

Authentication and Delegation with Smart-cards. - Martín Abadi; Michael Burrows; C. Kaufman; Butler W. Lampson (TACS, 1991)

Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links. - Michael D. Schroeder; Andrew Birrell; Michael Burrows; Hal Murray; Roger M. Needham; Thomas L. Rodeheffer; Edwin H. Satterthwaite; Charles P. Thacker (IEEE J. Sel. Areas Commun., 1991)

On-Line Data Compression in a Log-Structured File System. - Michael Burrows; Charles Jerian; Butler W. Lampson; Timothy P. Mann (ASPLOS, 1992)

Authentication in Distributed Systems: Theory and Practice. - Butler W. Lampson; Martín Abadi; Michael Burrows; Edward Wobber (ACM Trans. Comput. Syst., 1992)

Authentication in the Taos Operating System. - Edward Wobber; Martín Abadi; Michael Burrows; Butler W. Lampson (SOSP, 1993)

Authentification and Delegation with Smart-Cards. - Martín Abadi; Michael Burrows; C. Kaufman; Butler W. Lampson (Sci. Comput. Program., 1993)

A Calculus for Access Control in Distributed Systems. - Martín Abadi; Michael Burrows; Butler W. Lampson; Gordon D. Plotkin (ACM Trans. Program. Lang. Syst., 1993)

Authentication in the Taos Operating System. - Edward Wobber; Martín Abadi; Michael Burrows (ACM Trans. Comput. Syst., 1994)

Efficient implementation of PVM on the AN2 ATM network. - Matthias Hausner; Michael Burrows; Chandramohan A. Thekkath (HPCN Europe, 1995)

Experience with Parallel Computing on the AN2 Network. - Daniel J. Scales; Michael Burrows; Chandramohan A. Thekkath (IPPS, 1996)

Secure Network Objects. - Leendert van Doorn; Martín Abadi; Michael Burrows; Edward Wobber (S&P, 1996)

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs. - Stefan Savage; Michael Burrows; Greg Nelson; Patrick Sobalvarro; Thomas E. Anderson (SOSP, 1997)

Eraser: A Dynamic Data Race Detector for Multithreaded Programs. - Stefan Savage; Michael Burrows; Greg Nelson; Patrick Sobalvarro; Thomas E. Anderson (ACM Trans. Comput. Syst., 1997)

Efficient and Flexible Value Sampling. - Michael Burrows; Úlfar Erlingsson; Shun-Tak Leung; Mark T. Vandevoorde; Carl A. Waldspurger; Kip Walker; William E. Weihl (ASPLOS, 2000)

Bankable Postage for Network Services. - Martín Abadi; Andrew Birrell; Michael Burrows; Frank Dabek; Ted Wobber (ASIAN, 2003)

Run-Time Type Checking for Binary Programs. - Michael Burrows; Stephen N. Freund; Janet L. Wiener (CC, 2003)

Block-Level Security for Network-Attached Disks. - Marcos Kawazoe Aguilera; Minwen Ji; Mark Lillibridge; John MacCormick; Erwin Oertli; David G. Andersen; Michael Burrows; Timothy P. Mann; Chandramohan A. Thekkath (FAST, 2003)

Moderately Hard, Memory-Bound Functions. - Martín Abadi; Michael Burrows; Ted Wobber (NDSS, 2003)

A Cooperative Internet Backup Scheme. - Mark Lillibridge; Sameh Elnikety; Andrew Birrell; Michael Burrows; Michael Isard (USENIX ATC, General Track, 2003)

Finding stale-value errors in concurrent programs. - Michael Burrows; K. Rustan M. Leino (Concurr. Pract. Exp., 2004)

Moderately hard, memory-bound functions. - Martín Abadi; Michael Burrows; Mark S. Manasse; Ted Wobber (ACM Trans. Internet Techn., 2005)

The Chubby Lock Service for Loosely-Coupled Distributed Systems. - Michael Burrows (OSDI, 2006)

Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!). - Fay Chang; Jeffrey Dean; Sanjay Ghemawat; Wilson C. Hsieh; Deborah A. Wallach; Michael Burrows; Tushar Chandra; Andrew Fikes; Robert Gruber (OSDI, 2006)

Bigtable: A Distributed Storage System for Structured Data. - Fay Chang; Jeffrey Dean; Sanjay Ghemawat; Wilson C. Hsieh; Deborah A. Wallach; Michael Burrows; Tushar Chandra; Andrew Fikes; Robert E. Gruber (ACM Trans. Comput. Syst., 2008)

Distributed Authorization with Distributed Grammars. - Martín Abadi; Mike Burrows; Himabindu Pucha; Adam Sadovsky; Asim Shankar; Ankur Taly (Programming Languages with Applications to Biology and Security, 2015)

Dynamic control flow in large-scale machine learning. - Yuan Yu; Martín Abadi; Paul Barham 001; Eugene Brevdo; Mike Burrows; Andy Davis; Jeff Dean; Sanjay Ghemawat; Tim Harley; Peter Hawkins; Michael Isard; Manjunath Kudlur; et al. (EuroSys, 2018)

Zanzibar: Google's Consistent, Global Authorization System. - Ruoming Pang; Ramón Cáceres; Mike Burrows; Zhifeng Chen; Pratik Dave; Nathan Germer; Alexander Golynski; Kevin Graney; Nina Kang; Lea Kissner; Jeffrey L. Korn; Abhishek Parmar; et al. (USENIX ATC, 2019)

A Learned Performance Model for the Tensor Processing Unit. - Samuel J. Kaufman; Phitchaya Mangpo Phothilimthana; Yanqi Zhou; Mike Burrows (CoRR, 2020)

A Flexible Approach to Autotuning Multi-Pass Machine Learning Compilers. - Phitchaya Mangpo Phothilimthana; Amit Sabne; Nikhil Sarda; Karthik Srinivasa Murthy; Yanqi Zhou; Christof Angermueller; Mike Burrows; Sudip Roy 002; Ketan Mandke; Rezsa Farahani; Yu Emma Wang; Berkin Ilbeyi; et al. (PACT, 2021)

A Learned Performance Model for Tensor Processing Units. - Samuel J. Kaufman; Phitchaya Mangpo Phothilimthana; Yanqi Zhou; Charith Mendis; Sudip Roy 002; Amit Sabne; Mike Burrows (MLSys, 2021)

TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs. - Phitchaya Mangpo Phothilimthana; Sami Abu-El-Haija; Kaidi Cao; Bahare Fatemi; Michael Burrows; Charith Mendis; Bryan Perozzi (NeurIPS, 2023)