Mark Lillibridge

Extended static checking for Java

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge et al. · 2002 · 1.3K citations

Computing, Computer Science, Formal Methods +16

Sparse indexing: large scale, inline deduplication using sampling and locality

Mark Lillibridge, Kave Eshghi, Deepavali Bhagwat et al. · 2009 · 384 citations

Computing, Computer Science, Computer Systems +15

Extreme Binning: Scalable, parallel deduplication for chunk-based file backup

Deepavali Bhagwat, Kave Eshghi, Darrell D. E. Long et al. · 2009 · 327 citations

Computing, Computer Engineering, Computer Science +16

A type-theoretic approach to higher-order modules with sharing

Robert Harper, Mark Lillibridge · 1994 · 291 citations · Full text

Computing, Computer Science, Compilers +16

A cooperative internet backup scheme

Mark Lillibridge, Sameh Elnikety, Andrew Birrell et al. · 2003 · 196 citations

Computing, Computer Science, Computer Systems +17