Keir Fraser, University of Cambridge Computer Laboratory1 Fay Chang, Google Inc.* Keir.Fraser@cl.cam.ac.uk Fay@google.com