Mark Lillibridge

According to our database, Mark Lillibridge authored at least 23 papers between 1993 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2019

Controlled Lock Violation.

Goetz Graefe, Mark Lillibridge, Harumi A. Kuno, Joseph A. Tucek, Alistair C. Veitch

Proceedings of the On Transactional Concurrency Control, 2019

2018

Memory-Oriented Distributed Computing at Rack Scale.

Haris Volos, Kimberly Keeton, Yupu Zhang, Milind Chabbi, Se Kwon Lee, Mark Lillibridge, Yuvraj Patel, Wei Zhang

Proceedings of the ACM Symposium on Cloud Computing, 2018

2017

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

2014

In-Memory Performance for Big Data.

Goetz Graefe, Haris Volos, Hideaki Kimura, Harumi A. Kuno, Joseph A. Tucek, Mark Lillibridge, Alistair C. Veitch

Proc. VLDB Endow., 2014

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

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

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

Controlled lock violation.

Goetz Graefe, Mark Lillibridge, Harumi A. Kuno, Joseph A. Tucek, Alistair C. Veitch

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

Understanding the robustness of SSDS under power fault.

Mai Zheng, Joseph A. Tucek, Feng Qin, Mark Lillibridge

Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

Improving restore speed for backup systems that use inline chunk-based deduplication.

Mark Lillibridge, Kave Eshghi, Deepavali Bhagwat

Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

2010

Reliability analysis of deduplicated and erasure-coded storage.

Xiaozhou Li, Mark Lillibridge, Mustafa Uysal

SIGMETRICS Perform. Evaluation Rev., 2010

2009

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

Deepavali Bhagwat, Kave Eshghi, Darrell D. E. Long, Mark Lillibridge

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

Sparse Indexing: Large Scale, Inline Deduplication Using Sampling and Locality.

Mark Lillibridge, Kave Eshghi, Deepavali Bhagwat, Vinay Deolalikar, Greg Trezis, Peter Camble

Proceedings of the 7th USENIX Conference on File and Storage Technologies, 2009

2008

Transaction Rate Limiters for Peer-to-Peer Systems.

Marcos Kawazoe Aguilera, Mark Lillibridge, Xiaozhou Li

Proceedings of the Proceedings P2P'08, 2008

2007

Jumbo Store: Providing Efficient Incremental Upload and Versioning for a Utility Rendering Service.

Kave Eshghi, Mark Lillibridge, Lawrence Wilcock, Guillaume Belrose, Rycharde Hawkes

Proceedings of the 5th USENIX Conference on File and Storage Technologies, 2007

2003

A Cooperative Internet Backup Scheme.

Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Michael Burrows, Michael Isard

Proceedings of the General Track: 2003 USENIX Annual Technical Conference, 2003

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

Proceedings of the FAST '03 Conference on File and Storage Technologies, March 31, 2003

2002

Extended Static Checking for Java.

Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

2001

Incentives for Sharing in Peer-to-Peer Networks.

Philippe Golle, Kevin Leyton-Brown, Ilya Mironov, Mark Lillibridge

Proceedings of the Electronic Commerce, Second International Workshop, 2001

1999

Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC.

Mark Lillibridge

High. Order Symb. Comput., 1999

1996

Operational Interpretations of an Extension of F_omega with Control Operators.

Robert Harper, Mark Lillibridge

J. Funct. Program., 1996

1994

A Type-Theoretic Approach to Higher-Order Modules with Sharing.

Robert Harper, Mark Lillibridge

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

Polymorphic Type Assignment and CPS Conversion.

Robert Harper, Mark Lillibridge

LISP Symb. Comput., 1993

Explicit Polymorphism and CPS Conversion.

Robert Harper, Mark Lillibridge

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993