Michael Burrows

According to our database, Michael Burrows authored at least 38 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs.

Mangpo Mangpo Phothilimthana, Sami Abu-El-Haija, Kaidi Cao, Bahare Fatemi, Michael Burrows, Charith Mendis, Bryan Perozzi

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

A Learned Performance Model for Tensor Processing Units.

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Charith Mendis, Sudip Roy, Amit Sabne, Mike Burrows

Proceedings of Machine Learning and Systems 2021, 2021

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, Ketan Mandke, Rezsa Farahani, Yu Emma Wang, Berkin Ilbeyi, Blake A. Hechtman, Bjarke Roune, Shen Wang, Yuanzhong Xu, Samuel J. Kaufman

Proceedings of the 30th International Conference on Parallel Architectures and Compilation Techniques, 2021

2020

A Learned Performance Model for the Tensor Processing Unit.

Samuel J. Kaufman, Phitchaya Mangpo Phothilimthana, Yanqi Zhou, Mike Burrows

CoRR, 2020

2019

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, Christopher D. Richards, Mengzhi Wang

Proceedings of the 2019 USENIX Annual Technical Conference, 2019

2018

Dynamic control flow in large-scale machine learning.

Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Gordon Murray, Xiaoqiang Zheng

Proceedings of the Thirteenth EuroSys Conference, 2018

2015

Distributed Authorization with Distributed Grammars.

Martín Abadi, Mike Burrows, Himabindu Pucha, Adam Sadovsky, Asim Shankar, Ankur Taly

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2008

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

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

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

The Chubby Lock Service for Loosely-Coupled Distributed Systems.

Michael Burrows

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2005

Moderately hard, memory-bound functions.

Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber

ACM Trans. Internet Techn., 2005

2004

Finding stale-value errors in concurrent programs.

Michael Burrows, K. Rustan M. Leino

Concurr. Pract. Exp., 2004

2003

A Cooperative Internet Backup Scheme.

Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

Moderately Hard, Memory-Bound Functions.

Martín Abadi, Michael Burrows, Ted Wobber

Proceedings of the Network and Distributed System Security Symposium, 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

Proceedings of the FAST '03 Conference on File and Storage Technologies, March 31, 2003

Run-Time Type Checking for Binary Programs.

Michael Burrows, Stephen N. Freund, Janet L. Wiener

Proceedings of the Compiler Construction, 12th International Conference, 2003

Bankable Postage for Network Services.

Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber

Proceedings of the Advances in Computing Science, 2003

2000

Efficient and Flexible Value Sampling.

Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999

Secure Network Objects.

Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber

Proceedings of the Secure Internet Programming, 1999

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

Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.

Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

1996

Experience with Parallel Computing on the AN2 Network.

Daniel J. Scales, Michael Burrows, Chandramohan A. Thekkath

Proceedings of IPPS '96, 1996

1995

Efficient implementation of PVM on the AN2 ATM network.

Matthias Hausner, Michael Burrows, Chandramohan A. Thekkath

Proceedings of the High-Performance Computing and Networking, 1995

1994

Authentication in the Taos Operating System.

Edward Wobber, Martín Abadi, Michael Burrows

ACM Trans. Comput. Syst., 1994

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

Authentification and Delegation with Smart-Cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Sci. Comput. Program., 1993

Authentication in the Taos Operating System.

Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson

Proceedings of the Fourteenth ACM Symposium on Operating System Principles, 1993

1992

Authentication in Distributed Systems: Theory and Practice.

Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber

ACM Trans. Comput. Syst., 1992

On-Line Data Compression in a Log-Structured File System.

Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann

Proceedings of the ASPLOS-V Proceedings, 1992

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

Authentication and Delegation with Smart-cards.

Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson

Proceedings of the Theoretical Aspects of Computer Software, 1991

1990

Performance of Firefly RPC.

Michael D. Schroeder, Michael Burrows

ACM Trans. Comput. Syst., 1990

A Logic of Authentication.

Michael Burrows, Martín Abadi, Roger M. Needham

ACM Trans. Comput. Syst., 1990

Rejoinder to Nessett.

Michael Burrows, Martín Abadi, Roger M. Needham

ACM SIGOPS Oper. Syst. Rev., 1990

1989

The Scope of a Logic of Authentication.

Michael Burrows, Martín Abadi, Roger M. Needham

Proceedings of the Distributed Computing And Cryptography, 1989

1988

Efficient data sharing.

Michael Burrows

PhD thesis, 1988

Locks in Distributed Systems - Observations.

Roger M. Needham, Michael Burrows

ACM SIGOPS Oper. Syst. Rev., 1988

Authentication: A Practical Study in Belief and Action.

Michael Burrows, Martín Abadi, Roger M. Needham

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988