Abstract. We present a novel clock synchronization algorithm and prove tight upper and lower bounds on the worst-case clock skew that may occur betwee...

Abstract. Atemporal constraint language is a set of relations that has a ?rst-order de?nition in (Q;<), the dense linear order of the rational numbers...

Abstract. In the spirit of Landin, we present a calculus of dependent types to serve as the semantic foundation for a family of languages called data...

Abstract. The Lovasz Local Lemma discovered by Erd?os and Lovasz in 1975 is a powerful tool to non-constructively prove the existence of combinatorial...

We present a new method for upper bounding the second eigenvalue of the Laplacian of graphs. Our approach uses multi-commodity flows to deform the geo...