Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   FAST, 2003, pp:- [Conf]
   
2. Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata
   Extended Static Checking for Java. [Citation Graph (0, 0)][DBLP]
   PLDI, 2002, pp:234-245 [Conf]
   
3. Robert Harper, Mark Lillibridge
   Explicit Polymorphism and CPS Conversion. [Citation Graph (0, 0)][DBLP]
   POPL, 1993, pp:206-219 [Conf]
   
4. Robert Harper, Mark Lillibridge
   A Type-Theoretic Approach to Higher-Order Modules with Sharing. [Citation Graph (0, 0)][DBLP]
   POPL, 1994, pp:123-137 [Conf]
   
5. Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard
   A Cooperative Internet Backup Scheme. [Citation Graph (0, 0)][DBLP]
   USENIX Annual Technical Conference, General Track, 2003, pp:29-41 [Conf]
   
6. Philippe Golle, Kevin Leyton-Brown, Ilya Mironov, Mark Lillibridge
   Incentives for Sharing in Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
   WELCOM, 2001, pp:75-87 [Conf]
   
7. Robert Harper, Mark Lillibridge
   Operational Interpretations of an Extension of F_omega with Control Operators. [Citation Graph (0, 0)][DBLP]
   J. Funct. Program., 1996, v:6, n:3, pp:393-417 [Journal]
   
8. Robert Harper, Mark Lillibridge
   Polymorphic Type Assignment and CPS Conversion. [Citation Graph (0, 0)][DBLP]
   Lisp and Symbolic Computation, 1993, v:6, n:3-4, pp:361-380 [Journal]
   
9. Mark Lillibridge
   Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. [Citation Graph (0, 0)][DBLP]
   Higher-Order and Symbolic Computation, 1999, v:12, n:1, pp:75-104 [Journal]
   
10. 
    Sparse Indexing: Large Scale, Inline Deduplication Using Sampling and Locality. [Citation Graph (, )][DBLP]
    
    
11. 
    Jumbo Store: Providing Efficient Incremental Upload and Versioning for a Utility Rendering Service. [Citation Graph (, )][DBLP]
    
    
12. 
    Extreme Binning: Scalable, parallel deduplication for chunk-based file backup. [Citation Graph (, )][DBLP]
    
    
13. 
    Transaction Rate Limiters for Peer-to-Peer Systems. [Citation Graph (, )][DBLP]