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
1706*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
7892001
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
5162009
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
4272009
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
3771994
Method for selectively restricting access to computer systems
MD Lillibridge, M Abadi, K Bharat, AZ Broder
US Patent 6,195,698, 2001
3382001
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
2822003
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
1272013
Method and system for targeted data delivery using weight-based scoring
N Jouppi, M Lillibridge
US Patent App. 11/249,991, 2005
1262005
Translucent sums: A foundation for higher-order module systems
M Lillibridge
Carnegie Mellon University Pittsburgh, PA, 1997
971997
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
902003
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
882013
Explicit polymorphism and CPS conversion
R Harper, M Lillibridge
Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993
871993
Polymorphic type assignment and CPS conversion
R Harper, M Lillibridge
LISP and Symbolic Computation 6 (3-4), 361-379, 1993
841993
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
832012
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
782007
Providing an index for a data store
ER Kirshenbaum, HJ Suermondt, MD Lillibridge
US Patent 7,725,437, 2010
702010
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
702002
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
682013
Bridged network stations location revision
TL Rodeheffer, D Anderson, CA Thekkath, RP Stata, MD Lillibridge
US Patent 6,721,275, 2004
632004
The system can't perform the operation now. Try again later.
Articles 1–20