Explicit Polymorphism and CPS Conversion. - Robert Harper 001; Mark Lillibridge (POPL, 1993)

Polymorphic Type Assignment and CPS Conversion. - Robert Harper 001; Mark Lillibridge (LISP Symb. Comput., 1993)

A Type-Theoretic Approach to Higher-Order Modules with Sharing. - Robert Harper 001; Mark Lillibridge (POPL, 1994)

Operational Interpretations of an Extension of Fomega with Control Operators. - Robert Harper 001; Mark Lillibridge (J. Funct. Program., 1996)

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC. - Mark Lillibridge (High. Order Symb. Comput., 1999)

Incentives for Sharing in Peer-to-Peer Networks. - Philippe Golle; Kevin Leyton-Brown; Ilya Mironov; Mark Lillibridge (WELCOM, 2001)

Extended Static Checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (PLDI, 2002)

Block-Level Security for Network-Attached Disks. - Marcos Kawazoe Aguilera; Minwen Ji; Mark Lillibridge; John MacCormick; Erwin Oertli; David G. Andersen; Michael Burrows; Timothy P. Mann; Chandramohan A. Thekkath (FAST, 2003)

A Cooperative Internet Backup Scheme. - Mark Lillibridge; Sameh Elnikety; Andrew Birrell; Michael Burrows; Michael Isard (USENIX ATC, General Track, 2003)

Jumbo Store: Providing Efficient Incremental Upload and Versioning for a Utility Rendering Service. - Kave Eshghi; Mark Lillibridge; Lawrence Wilcock; Guillaume Belrose; Rycharde Hawkes (FAST, 2007)

Transaction Rate Limiters for Peer-to-Peer Systems. - Marcos Kawazoe Aguilera; Mark Lillibridge; Xiaozhou Li 001 (Peer-to-Peer Computing, 2008)

Sparse Indexing: Large Scale, Inline Deduplication Using Sampling and Locality. - Mark Lillibridge; Kave Eshghi; Deepavali Bhagwat; Vinay Deolalikar; Greg Trezis; Peter Camble (FAST, 2009)

Extreme Binning: Scalable, parallel deduplication for chunk-based file backup. - Deepavali Bhagwat; Kave Eshghi; Darrell D. E. Long; Mark Lillibridge (MASCOTS, 2009)

Reliability analysis of deduplicated and erasure-coded storage. - Xiaozhou Li 001; Mark Lillibridge; Mustafa Uysal (SIGMETRICS Perform. Evaluation Rev., 2010)

Improving restore speed for backup systems that use inline chunk-based deduplication. - Mark Lillibridge; Kave Eshghi; Deepavali Bhagwat (FAST, 2013)

Understanding the robustness of SSDS under power fault. - Mai Zheng; Joseph A. Tucek; Feng Qin; Mark Lillibridge (FAST, 2013)

Controlled lock violation. - Goetz Graefe; Mark Lillibridge; Harumi A. Kuno; Joseph A. Tucek; Alistair C. Veitch (SIGMOD Conference, 2013)

PLDI 2002: Extended static checking for Java. - Cormac Flanagan; K. Rustan M. Leino; Mark Lillibridge; Greg Nelson; James B. Saxe; Raymie Stata (ACM SIGPLAN Notices, 2013)

Torturing Databases for Fun and Profit. - Mai Zheng; Joseph A. Tucek; Dachuan Huang; Feng Qin; Mark Lillibridge; Elizabeth S. Yang; Bill W. Zhao; Shashank Singh 003 (OSDI, 2014)

In-Memory Performance for Big Data. - Goetz Graefe; Haris Volos 001; Hideaki Kimura 001; Harumi A. Kuno; Joseph A. Tucek; Mark Lillibridge; Alistair C. Veitch (Proc. VLDB Endow., 2014)

Reliability Analysis of SSDs Under Power Fault. - Mai Zheng; Joseph A. Tucek; Feng Qin; Mark Lillibridge; Bill W. Zhao; Elizabeth S. Yang (ACM Trans. Comput. Syst., 2017)

Memory-Oriented Distributed Computing at Rack Scale. - Haris Volos 001; Kimberly Keeton; Yupu Zhang; Milind Chabbi; Se Kwon Lee; Mark Lillibridge; Yuvraj Patel; Wei Zhang 052 (SoCC, 2018)

Controlled Lock Violation. - Goetz Graefe; Mark Lillibridge; Harumi A. Kuno; Joseph A. Tucek; Alistair C. Veitch (On Transactional Concurrency Control, 2019)