Computer Science Department of Stanford University, Stanford, CA 94305-9010, USA. eran@cs.stanford.edu|Computer Science Department of Stanford University, Stanford, CA 94305-9010, USA. eran@cs.stanford.edu|Computer Science Department of Stanford University, Stanford, CA 94305-9010, USA. eran@cs.stanford.edu