2009 |
11 | EE | Mark Lillibridge,
Kave Eshghi,
Deepavali Bhagwat,
Vinay Deolalikar,
Greg Trezis,
Peter Camble:
Sparse Indexing: Large Scale, Inline Deduplication Using Sampling and Locality.
FAST 2009: 111-123 |
2008 |
10 | EE | Marcos Kawazoe Aguilera,
Mark Lillibridge,
Xiaozhou Li:
Transaction Rate Limiters for Peer-to-Peer Systems.
Peer-to-Peer Computing 2008: 3-11 |
2003 |
9 | EE | Marcos Kawazoe Aguilera,
Minwen Ji,
Mark Lillibridge,
John MacCormick,
Erwin Oertli,
David G. Andersen,
Michael Burrows,
Timothy Mann,
Chandramohan A. Thekkath:
Block-Level Security for Network-Attached Disks.
FAST 2003 |
8 | EE | Mark Lillibridge,
Sameh Elnikety,
Andrew Birrell,
Michael Burrows,
Michael Isard:
A Cooperative Internet Backup Scheme.
USENIX Annual Technical Conference, General Track 2003: 29-41 |
2002 |
7 | EE | Cormac Flanagan,
K. Rustan M. Leino,
Mark Lillibridge,
Greg Nelson,
James B. Saxe,
Raymie Stata:
Extended Static Checking for Java.
PLDI 2002: 234-245 |
2001 |
6 | EE | Philippe Golle,
Kevin Leyton-Brown,
Ilya Mironov,
Mark Lillibridge:
Incentives for Sharing in Peer-to-Peer Networks.
WELCOM 2001: 75-87 |
1999 |
5 | | Mark Lillibridge:
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC.
Higher-Order and Symbolic Computation 12(1): 75-104 (1999) |
1996 |
4 | | Robert Harper,
Mark Lillibridge:
Operational Interpretations of an Extension of Fomega with Control Operators.
J. Funct. Program. 6(3): 393-417 (1996) |
1994 |
3 | | Robert Harper,
Mark Lillibridge:
A Type-Theoretic Approach to Higher-Order Modules with Sharing.
POPL 1994: 123-137 |
1993 |
2 | | Robert Harper,
Mark Lillibridge:
Explicit Polymorphism and CPS Conversion.
POPL 1993: 206-219 |
1 | | Robert Harper,
Mark Lillibridge:
Polymorphic Type Assignment and CPS Conversion.
Lisp and Symbolic Computation 6(3-4): 361-380 (1993) |