Proofs, Types and Certified Code
April 2, 1999 - Karl CraryHighly Available Distributed Storage Systems
April 1, 1999 - Lihao Xu, California Institute of TechnologyAlgorithmic Approaches towards Guaranteed Quality of Service
March 29, 1999 - Ashish Goel, Stanford UniversityThe Effect of Heavy-Tailed Job Size Distributions on System Design
March 25, 1999 - Mor Harchol-Balter, M.I.T. Laboratory for Computer ScienceTools, Query Planning and Compilers for Manipulating and Processing Very Large Datasets
March 11, 1999 - Joel Saltz, Johns Hopkins Medical Institutions