Mark Lillibridge
Mark Lillibridge
Facebook
Verified email at cs.cmu.edu
Title
Cited by
Cited by
Year
Extended static checking for Java
RS Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James ...
ACM SIGPLAN 2002 Conference on Programming Language Design and …, 2002
1764*2002
Incentives for sharing in peer-to-peer networks
P Golle, K Leyton-Brown, I Mironov, M Lillibridge
Proceedings of the Second International Workshop on Electronic Commerce 2232 …, 2001
7922001
Sparse Indexing: Large Scale, Inline Deduplication Using Sampling and Locality.
M Lillibridge, K Eshghi, D Bhagwat, V Deolalikar, G Trezis, P Camble
Fast 9, 111-123, 2009
5472009
Extreme binning: Scalable, parallel deduplication for chunk-based file backup
D Bhagwat, K Eshghi, DDE Long, M Lillibridge
2009 IEEE International Symposium on Modeling, Analysis & Simulation of …, 2009
4632009
A type-theoretic approach to higher-order modules with sharing
R Harper, M Lillibridge
Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994
3841994
Method for selectively restricting access to computer systems
MD Lillibridge, M Abadi, K Bharat, AZ Broder
US Patent 6,195,698, 2001
3492001
A cooperative internet backup scheme
M Lillibridge, S Elnikety, A Birrell, M Burrows, M Isard
Proceedings of the annual conference on USENIX Annual Technical Conference, 3-3, 2003
2902003
Improving restore speed for backup systems that use inline chunk-based deduplication
M Lillibridge, K Eshghi, D Bhagwat
Presented as part of the 11th USENIX Conference on File and Storage …, 2013
1432013
Method and system for targeted data delivery using weight-based scoring
N Jouppi, M Lillibridge
US Patent App. 11/249,991, 2005
1342005
Translucent sums: A foundation for higher-order module systems
M Lillibridge
Carnegie Mellon University Pittsburgh, PA, 1997
981997
Understanding the robustness of SSDs under power fault
M Zheng, J Tucek, F Qin, M Lillibridge
Presented as part of the 11th USENIX Conference on File and Storage …, 2013
952013
Block-level security for network-attached disks
MK Aguilera, M Ji, M Lillibridge, J MacCormick, E Oertli, DG Andersen, ...
Proceedings of the 2nd USENIX Conference on File and Storage Technologies …, 2003
932003
Polymorphic type assignment and CPS conversion
R Harper, M Lillibridge
LISP and Symbolic Computation 6 (3-4), 361-379, 1993
861993
Explicit polymorphism and CPS conversion
R Harper, M Lillibridge
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
861993
Distributed differential store with non-distributed objects and compression-enhancing data-object routing
SA Fineberg, K Eshghi, P Mehra, M Lillibridge
US Patent 8,190,742, 2012
842012
Jumbo Store: Providing Efficient Incremental Upload and Versioning for a Utility Rendering Service.
K Eshghi, M Lillibridge, L Wilcock, G Belrose, R Hawkes
FAST 7, 123-138, 2007
812007
Content-based, compression-enhancing routing in distributed, differential electronic-data storage systems
SA Fineberg, K Eshghi, P Mehra, MD Lillibridge
US Patent 8,543,782, 2013
712013
Providing an index for a data store
ER Kirshenbaum, HJ Suermondt, MD Lillibridge
US Patent 7,725,437, 2010
712010
System and method for lexing and parsing program annotations
RP Stata, C Flanagan, KRM Leino, MD Lillibridge, JB Saxe
US Patent 6,353,925, 2002
712002
Torturing databases for fun and profit
M Zheng, J Tucek, D Huang, F Qin, M Lillibridge, ES Yang, BW Zhao, ...
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014
652014
The system can't perform the operation now. Try again later.
Articles 1–20