io-port.net

io-port 05456702 Chang, Fay; Dean, Jeffrey; Ghemawat, Sanjay; Hsieh, Wilson C.; Wallach, Deborah A.; Burrows, Michael; Chandra, Tushar; Fikes, Andrew; Gruber, Robert E.

Bigtable: A distributed storage system for structured data. (English)

ACM Trans. Comput. Syst. 26, No. 2 (2008).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70167331 Chang, Fay; Dean, Jeffrey; Ghemawat, Sanjay; Hsieh, Wilson C.; Wallach, Deborah A.; Burrows, Michael; Chandra, Tushar; Fikes, Andrew; Gruber, Robert

Bigtable: A distributed storage system for structured data (Awarded best paper!) (English)

OSDI, 205-218 (2006).

2

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70167443 Burrows, Michael

The chubby lock service for loosely-coupled distributed systems (English)

OSDI, 335-350 (2006).

3

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05458069 Abadi, Martín; Burrows, Michael; Manasse, Mark S.; Wobber, Ted

Moderately hard, memory-bound functions. (English)

ACM Trans. Internet Technol. 5, No. 2, 299-327 (2005).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 02191767 Burrows, Michael; Leino, K.Rustan M.

Finding stale-value errors in concurrent programs. (English)

Concurrency Comput. Pract. Exp. 16, No. 12, 1161-1172 (2004).

5

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50046207 Burrows, Michael; Leino, K. Rustan M.

Finding stale-value errors in concurrent programs (English)

Concurrency - Practice and Experience 16, No. 12, 1161-1172 (2004).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05593722 Abadi, Martín; Birrell, Andrew; Burrows, Mike; Dabek, Frank; Wobber, Ted

Bankable postage for network services. (English)

Saraswat, Vijay A. (ed.), Advances in computing science ‒ ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10‒12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20632-9/pbk). Lect. Notes Comput. Sci. 2896, 72-90 (2003).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 01956458 Burrows, Michael; Freund, Stephen N.; Wiener, Janet L.

Run-time type checking for binary programs. (English)

Hedin, Görel (ed.), Compiler construction. 12th international conference, CC 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2622, 90-105 (2003).

Classification: D.3.4

8

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70199303 Lillibridge, Mark; Elnikety, Sameh; Birrell, Andrew; Burrows, Michael; Isard, Michael

A cooperative internet backup scheme (English)

USENIX Annual Technical Conference, General Track, 29-41 (2003).

9

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70383012 Abadi, Martín; Birrell, Andrew; Burrows, Michael; Dabek, Frank; Wobber, Ted

Bankable postage for network services (English)

ASIAN, 72-90 (2003).

10

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70648279 Burrows, Michael; Freund, Stephen N.; Wiener, Janet L.

Run-time type checking for binary programs (English)

CC, 90-105 (2003).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70705136 Aguilera, Marcos Kawazoe; Ji, Minwen; Lillibridge, Mark; Maccormick, John; Oertli, Erwin; Andersen, David G.; Burrows, Michael; Mann, Timothy; Thekkath, Chandramohan A.

Block-level security for network-attached disks (English)

FAST (2003).

12

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 71043306 Abadi, Martín; Burrows, Michael; Wobber, Ted

Moderately hard, memory-bound functions (English)

NDSS (2003).

13

PDF XML AMS-TeX TEXT BIBTeX URL

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

Efficient and flexible value sampling (English)

ASPLOS, 160-167 (2000).

14

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70157069 Van Doorn, Leendert; Abadi, Martín; Burrows, Michael; Wobber, Edward

Secure network objects (English)

Secure Internet Programming, 395-412 (1999).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70226449 Savage, Stefan; Burrows, Michael; Nelson, Greg; Sobalvarro, Patrick; Anderson, Thomas E.

Eraser: A dynamic data race detector for multi-threaded programs (English)

SOSP, 27-37 (1997).

16

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70019504 Van Doorn, Leendert; Abadi, Martín; Burrows, Michael; Wobber, Edward

Secure network objects (English)

IEEE Symposium on Security and Privacy, 211-221 (1996).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70274289 Scales, Daniel J.; Burrows, Michael; Thekkath, Chandramohan A.

Experience with parallel computing on the AN2 network (English)

IPPS, 94-103 (1996).

18

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70700769 Hausner, Matthias; Burrows, Michael; Thekkath, Chandramohan A.

Efficient implementation of PVM on the AN2 ATM network (English)

HPCN Europe, 562-569 (1995).

19

PDF XML AMS-TeX TEXT BIBTeX

io-port 05479922 Berrisford, G.; Burrows, M.

Reconciling OO with Turing machines. (English)

Comput. J. 37, No. 10, 888-906 (1994).

Classification: F.1.1

20

PDF XML AMS-TeX TEXT BIBTeX DOI