| 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) |
