Mark Lillibridge's Publications
Refereed Journal Publications
Mark Lillibridge.
Unchecked Exceptions Can be Strictly More Powerful Than Call/CC.
(abstract)
(citeseer)
Higher-Order and Symbolic Computation, 12 (1):75-104, April 1999.
Robert Harper and Mark Lillibridge.
Operational interpretations of an extension of F-omega with
control operators.
(abstract)
(citeseer)
Journal of Functional Programming, 6(3):393-418, May 1996.
Robert Harper and Mark Lillibridge.
Polymorphic type assignment and CPS conversion.
(abstract)
(erratum)
(citeseer)
LISP and Symbolic Computation, 6(4):361-380, November 1993.
Refereed Conference and Workshop Publications
Kave Eshghi, Mark Lillibridge, Lawrence Wilcock, Guillaume Belrose, and
Rycharde Hawkes.
Jumbo Store: Providing Efficient Incremental Upload and Versioning
for a Utility Rendering Service.
(abstract)
In Proceedings of the 5nd USENIX Conference on File and Storage
Technologies (FAST'07), pp. 123-138, San Jose, California,
February 2007.
Mark Lillibridge, Sameh Elnikety, Andrew Birrell, Mike Burrows, and
Michael Isard.
A Cooperative Internet Backup Scheme.
(abstract)
In Proceedings of the 2003 Usenix Annual Technical Conference
(General Track), pp. 29-41, San Antonio, Texas, June 2003.
Marcos K. Aguilera, Minwen Ji, Mark Lillibridge, John MacCormick, Erwin
Oertli, Dave Anderson, Mike Burrows, Timothy Mann, and Chandramohan
A. Thekkath.
Block-Level Security for Network-Attached Disks.
(abstract)
In Proceedings of the 2nd USENIX Conference on File and Storage
Technologies (FAST'03), pp. 159-174, San Francisco, California,
March 2003.
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson,
James B. Saxe, and Raymie Stata.
Extended static checking for Java.
(abstract)
(citeseer)
In Proceedings of the ACM SIGPLAN 2002 Conference on Programming
Language Design and Implementation (PLDI), pp. 234-245,
Berlin, Germany, June 2002.
Philippe Golle, Kevin Leyton-Brown, Ilya Mironov, and Mark Lillibridge.
Incentives for Sharing in Peer-to-Peer Networks.
(abstract)
(citeseer)
In Proceedings of the Second International Workshop on Electronic
Commerce (WELCOM'01), volume 2232 of Springer-Verlag
lecture notes in computer science. Springer-Verlag, November 2001.
Robert Harper and Mark Lillibridge.
A type-theoretic approach to higher-order modules with sharing.
(abstract)
(citeseer)
In Proceedings of the Twenty-First ACM Symposium on
Principles of Programming Languages, pp. 123-137, Portland, OR,
January 1994.
(Also available as
CMU-CS-93-197.)
Robert Harper and Mark Lillibridge.
Explicit polymorphism and CPS conversion.
(abstract)
(citeseer)
In Proceedings of the Twentieth ACM Symposium on
Principles of Programming Languages, pp. 206-219, Charleston, SC,
January 1993.
(Also available as
CMU-CS-92-210.)
Robert Harper and Mark Lillibridge.
Polymorphic type assignment and CPS conversion.
(abstract)
(citeseer)
In Oliver Danvy and Carolyn Talcott, editors,
Proceedings of the ACM SIGPLAN Workshop on Continuations CW92,
pp. 13-22, Stanford, CA, June 1992.
(Also available as
CMU-CS-92-122.)
Unrefereed Publications
Rajan M. Lukose and Mark Lillibridge.
DataBank: An Economics Based Privacy Preserving System
for Distributing Relevant Advertising and Content.
(abstract)
Technical report HPL-2006-95, HP Labs, Hewlett-Packard Co., June 26, 2006.
Minwen Ji, Tom Rodeheffer, Marcos Aguilera, and Mark Lillibridge.
Generating Unforgeable Evidence for Secure Communications.
(abstract)
Technical report HPL-2005-71, HP Labs, Hewlett-Packard Co., April 2005.
Mark Lillibridge.
Translucent Sums: A Foundation for Higher-Order Module
Systems.
(abstract,
14 page summary,
.dvi version,
.ps version,
citeseer)
Ph.D. Thesis,
School of Computer Science,
Carnegie Mellon University,
Pittsburgh, PA, May 1997. (Also available as
CMU-CS-97-122.)
Mark Lillibridge.
Exceptions are strictly more powerful than Call/CC.
(abstract)
(citeseer)
Technical Report
CMU-CS-95-178, School of Computer Science,
Carnegie Mellon University, July 1995.
Robert Harper and Mark Lillibridge.
ML with callcc is unsound.
Announcement on
the TYPES electronic forum, July 1991.
