Bigtable: A Distributed Storage System for Structured Data, Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI), November 2006. Best paper award (tied). Keir Fraser ...

DAGs and Equivalence Classes of DAGsThe algorithms that search in the space of DAGs using local methods are efficient mainly because of the decomposability property that many scoring functions exhibit ...

Abstract Photo-editing software restricts the control of objects in a photograph to the 2D image plane. We present a method that enables users to perform the full range of 3D manipulations, including ...

My research centers on the design of programming languages and languages for specifying program behavior, mathematical tools for defining the semantics of such languages, and methods for proving that ...