Michael Burrows

38 papers A* 12A 1B 2Journal 14Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
Is it Bigger than a Breadbox: Efficient Cardinality Estimation for Real World Workloads.
CoRR
Zixuan Yi, Sami Abu-El-Haija, Yawen Wang, Teja Vemparala, Yannis Chronis, Yu Gan, Michael Burrows, Carsten Binnig, Bryan Perozzi, Ryan Marcus, Fatma Özcan
2023 A* conf
TpuGraphs: A Performance Prediction Dataset on Large Tensor Computational Graphs.
NeurIPS
Phitchaya Mangpo Phothilimthana, Sami Abu-El-Haija, Kaidi Cao, Bahare Fatemi, Michael Burrows, Charith Mendis, Bryan Perozzi
2008 J jnl
Bigtable: A Distributed Storage System for Structured Data.
ACM Trans. Comput. Syst.
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Michael Burrows, Tushar Chandra, Andrew Fikes, Robert E. Gruber
2006 A* conf
Bigtable: A Distributed Storage System for Structured Data (Awarded Best Paper!).
OSDI
Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Michael Burrows, Tushar Chandra, Andrew Fikes, Robert Gruber
2006 A* conf
The Chubby Lock Service for Loosely-Coupled Distributed Systems.
OSDI
Michael Burrows
2005 J jnl
Moderately hard, memory-bound functions.
ACM Trans. Internet Techn.
Martín Abadi, Michael Burrows, Mark S. Manasse, Ted Wobber
2004 J jnl
Finding stale-value errors in concurrent programs.
Concurr. Pract. Exp.
Michael Burrows, K. Rustan M. Leino
2003 — conf
A Cooperative Internet Backup Scheme.
USENIX ATC, General Track
Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard
2003 — conf
Bankable Postage for Network Services.
ASIAN
Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber
2003 A conf
Block-Level Security for Network-Attached Disks.
FAST
Marcos Kawazoe Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin Oertli, David G. Andersen, Michael Burrows, Timothy P. Mann, Chandramohan A. Thekkath
2003 A* conf
Moderately Hard, Memory-Bound Functions.
NDSS
Martín Abadi, Michael Burrows, Ted Wobber
2003 B conf
Run-Time Type Checking for Binary Programs.
CC
Michael Burrows, Stephen N. Freund, Janet L. Wiener
2000 A* conf
Efficient and Flexible Value Sampling.
ASPLOS
Michael Burrows, Úlfar Erlingsson, Shun-Tak Leung, Mark T. Vandevoorde, Carl A. Waldspurger, Kip Walker, William E. Weihl
1999 — conf
Secure Network Objects.
Secure Internet Programming
Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
1997 A* conf
Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs.
SOSP
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
1997 J jnl
Eraser: A Dynamic Data Race Detector for Multithreaded Programs.
ACM Trans. Comput. Syst.
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas E. Anderson
1996 — conf
Experience with Parallel Computing on the AN2 Network.
IPPS
Daniel J. Scales, Michael Burrows, Chandramohan A. Thekkath
1996 — conf
Secure Network Objects.
S&P
Leendert van Doorn, Martín Abadi, Michael Burrows, Edward Wobber
1995 — conf
Efficient implementation of PVM on the AN2 ATM network.
HPCN Europe
Matthias Hausner, Michael Burrows, Chandramohan A. Thekkath
1994 J jnl
Authentication in the Taos Operating System.
ACM Trans. Comput. Syst.
Edward Wobber, Martín Abadi, Michael Burrows
1993 J jnl
A Calculus for Access Control in Distributed Systems.
ACM Trans. Program. Lang. Syst.
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1993 A* conf
Authentication in the Taos Operating System.
SOSP
Edward Wobber, Martín Abadi, Michael Burrows, Butler W. Lampson
1993 J jnl
Authentification and Delegation with Smart-Cards.
Sci. Comput. Program.
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1992 J jnl
Authentication in Distributed Systems: Theory and Practice.
ACM Trans. Comput. Syst.
Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1992 A* conf
On-Line Data Compression in a Log-Structured File System.
ASPLOS
Michael Burrows, Charles Jerian, Butler W. Lampson, Timothy P. Mann
1991 A* conf
A Calculus for Access Control in Distributed Systems.
CRYPTO
Martín Abadi, Michael Burrows, Butler W. Lampson, Gordon D. Plotkin
1991 — conf
Authentication and Delegation with Smart-cards.
TACS
Martín Abadi, Michael Burrows, C. Kaufman, Butler W. Lampson
1991 A* conf
Authentication in Distributed Systems: Theory and Practice.
SOSP
Butler W. Lampson, Martín Abadi, Michael Burrows, Edward Wobber
1991 J jnl
Autonet: A High-Speed, Self-Configuring Local Area Network Using Point-to-Point Links.
IEEE J. Sel. Areas Commun.
Michael D. Schroeder, Andrew Birrell, Michael Burrows, Hal Murray, Roger M. Needham, Thomas L. Rodeheffer, Edwin H. Satterthwaite, Charles P. Thacker
1990 J jnl
A Logic of Authentication.
ACM Trans. Comput. Syst.
Michael Burrows, Martín Abadi, Roger M. Needham
1990 J jnl
Performance of Firefly RPC.
ACM Trans. Comput. Syst.
Michael D. Schroeder, Michael Burrows
1990 J jnl
Rejoinder to Nessett.
ACM SIGOPS Oper. Syst. Rev.
Michael Burrows, Martín Abadi, Roger M. Needham
1989 A* conf
A Logic of Authentication.
SOSP
Michael Burrows, Martín Abadi, Roger M. Needham
1989 A* conf
Performance of Firefly RPC.
SOSP
Michael D. Schroeder, Michael Burrows
1989 — conf
The Scope of a Logic of Authentication.
Distributed Computing And Cryptography
Michael Burrows, Martín Abadi, Roger M. Needham
1988 B conf
Authentication: A Practical Study in Belief and Action.
TARK
Michael Burrows, Martín Abadi, Roger M. Needham
1988 — —
Efficient data sharing.
Michael Burrows
1988 J jnl
Locks in Distributed Systems - Observations.
ACM SIGOPS Oper. Syst. Rev.
Roger M. Needham, Michael Burrows